220 likes | 377 Views
The ModPlan Workbench. Stefan Edelkamp Tilman Mehler PG 463. Overview. Design Goals System Requirements Infrastructure / Architecture Essentials Screenshots Summary. Design Goals. Interacive KE-Tool for AI Planning Accessible Domain and Plan Analysis PDDL Learning Capabilities
E N D
The ModPlan Workbench Stefan Edelkamp Tilman Mehler PG 463
Overview • Design Goals • System Requirements • Infrastructure / Architecture • Essentials • Screenshots • Summary
Design Goals • Interacive KE-Tool for AI Planning • Accessible Domain and Plan Analysis • PDDL Learning Capabilities • Extending State-of-the-Art Planning • Objective: Domain Experts assist solving hard Combinatorial Problems
Infrastructure • Plattform: Windows • Distribution: All-Included CD • Environment: CYGWIN • Components: Java, C/C++, Python • GUI: wxWidgets • XML Editing: Pollo • Geometric Visualization: VEGA
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Architecture sequential.soln parallel.soln problem.pddl domain.pddl LOAD PATTERN ADL2STRIPS SHOWSOLN grounded *.pddl TRANSLATE POLLO VEGA state-sequence sequence.run GROUND DURATIVE FF sas+ OBJECTS objects VAL PLANNER 1 pb-1.pddl SYMM LEARN GOAL ORDERING symmetries PLANNER n pb-n.pddl
Essentials • Multiple Grounding Modules (incl. SAS+ Encoding) • Object Symmetry Detection for Plans (new) • Goal Ordering and Goal Sequentializer (new) • State Sequence Generation (VAL + Inlines) • Plan Visualization/Animation (ShowSol + VEGA) • PDDL Inference (OpMaker + Durations and ADL-Fragments, approximates Init and Goal) • Optimal Planning with PatternPlan (MIPS + Pattern Selection Module) • Suboptimal Planning with DurativeFF (MetricFF + PERT + TimeWindows)
Summary • Fully Integrated Environment for Windows, available on CD • User Interaction: GUIs, Shells, Animation, XML and File Editing • Improves Accessibility and Complexity of Planning Technology • Increasing Fraction of PDDL Expressiveness • Learning: SimpleTime, Limited ADL • Precompilation: PDDL2.2 • DurativeFF: PDDL2.2 • PatternPlan: STRIPS • Symmetry: PDDL2.2 • Goal Ordering: STRIPS • Layered, Recursive Architecture