Integrating Planning and Scheduling
Integrace plánování a rozvrhování
dissertation thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/68945Identifiers
Study Information System: 85712
Collections
- Kvalifikační práce [11242]
Author
Advisor
Referee
Smith, David E.
Hanzálek, Zdeněk
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Theoretical Computer Science
Department
Department of Theoretical Computer Science and Mathematical Logic
Date of defense
29. 9. 2014
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Pass
Keywords (Czech)
plánování, rozvrhování, temporální podmínky, HTN, robotikaKeywords (English)
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)