Integrating Planning and Scheduling
Integrace plánování a rozvrhování
dizertační práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/68945Identifikátory
SIS: 85712
Katalog UK: 990018880740106986
Kolekce
- Kvalifikační práce [11978]
Autor
Vedoucí práce
Oponent práce
Smith, David E.
Hanzálek, Zdeněk
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
29. 9. 2014
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Prospěl/a
Klíčová slova (česky)
plánování, rozvrhování, temporální podmínky, HTN, robotikaKlíčová slova (anglicky)
planning, scheduling, temporal constraints, HTN, roboticsHlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, který akceptuje jazyk ANML a podporuje většinu jeho hlavních vlastností. V~práci se zabýváme různými aspekty integrace zmíněných konceptů, také navrhneme novou techniku pro reformulaci plánovacích problémů do reprezentace pomocí stavových proměnných a identifikujeme přechod výkonosti mezi používaním řídkých a minimálních časových sítí. FAPE dále rozšíříme o schopnosti konání a experimentálně vyhodnotíme výkonnost a výhody jeho vysoké expresivity. Na závěr předvedeme FAPE jako systém, který umí plánovat i konat v experimentech v realném světě, kdy FAPE ovládá robota PR2. Powered by TCPDF (www.tcpdf.org)
The main topic of the work is the design and development of a plan-space planning system FAPE that integrates explicit time reasoning, resource reasoning with discrete resources and reservoirs and hierarchical decompositions. FAPE is the first planning system that accepts the language ANML, supporting most of its major features. We investigate different aspects of the integration, also proposing a new problem reformulation technique for the state-variable representation and discovering a transition of performance between sparse and minimal temporal networks. We further extend FAPE with acting capabilities and evaluate the runtime properties and benefits of its expressiveness. Finally, we present FAPE as a planning and acting system in real world experiments, where FAPE operates a PR2 robot. Powered by TCPDF (www.tcpdf.org)
