Knowledge Compilation for Nondeterministic Action Languages
| knowledge compilation action languages succinctness propositional planning planning domain definition language STRIPS |
PaperID: 130
pdf
poster
|
| We study different languages for representing nondeterministic actions in planning from the point of view of knowledge compilation. Precisely, we consider succintness issues (how succinct is the description of an action in each language?) and complexity issues (tractability or hardness of several queries which arise naturally in planning and belief tracking). We study an abstract, nondeterministic version of PDDL, nondeterministic conditional STRIPS, the language NNFAT of NNF action theories, and the language NPDDLseq obtained by adding a sequence operator to nondeterministic PDDL. We show that these languages have different succinctness and different complexity even for the most natural queries. | |
Session 21: Representation | Generalized Planning
Autonomous Building of Structures in Unstructured Environments via AI Planning
Authors: Jamie Roberts, Santiago Franco, Adam Stokes and Sara Bernardini
Keywords:
Task Planning3DPDDLRobotics
Knowledge Compilation for Nondeterministic Action Languages
Authors: Sergej Scheck, Alexandre Niveau and Bruno Zanuttini
Keywords:
knowledge compilationaction languagessuccinctnesspropositional planningplanning domain definition languageSTRIPS
Generalized Planning as Heuristic Search
Authors: Javier Segovia-Aguas, Sergio Jimenez Celorrio and Anders Jonsson
Keywords:
Learning and deriving generalized plansHeuristics for plan generalizationGeneralized planningPlanning and learning
What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Authors: Mohan Sridharan, Rocio Gomez and Heather Riley