Plánovací algoritmy a simulace plánu v logistické doméně
Planning algorithms and plan simulation in logistics domain
bakalářská práce (OBHÁJENO)
![Náhled dokumentu](/bitstream/handle/20.500.11956/40408/thumbnail.png?sequence=8&isAllowed=y)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/40408Identifikátory
SIS: 123999
Kolekce
- Kvalifikační práce [11266]
Autor
Vedoucí práce
Oponent práce
Valla, Tomáš
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
18. 6. 2012
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Velmi dobře
Klíčová slova (česky)
plánování, modelování domény, SAT, CSP, logistická doménaKlíčová slova (anglicky)
planning, domain modeling, SAT, CSP, logistics domainBakalářská práce se zabývá porovnáním některých technik pro řešení plánování v logistické doméně. Její cílem je porovnání schopností těchto technik z umělé inteligence řešit zadaný problém z hlediska optimality nejen mezi sebou, ale i s plány navrženými lidmi. Protože ne všechny plánovače vrací paralelní plány, je potřeba tyto plány paralelizovat. Práce ukazuje, že některé algoritmy dosahují dobré výsledky ve srovnání s lidskými plány, bohužel však kvůli časové a paměťové náročnosti nemůžou být v dnešní době běžně používány pro řešení náročnějších úkolů.
The goal of this thesis is to compare some means of planning in the logistics domain.The aim was to compare the capabilities of those techniques among each other and against plans designed by humans.Because some planners do not return parallel plans,it is necessary to parallelize them.It is shown that some algorithms achieve good results in comparison to plans designed by hu- mans. However, due to their high time and memory consumptions they cannot be nowadays commonly used to solve more difficult tasks.