The Planning Domain Definition Language (PDDL) successfully encodes classical planning tasks by easily describing objects, actions, and states in many planning domains. PDDL also describes domains, but they include only predefined sets of actions that can solve problems in a finite set of states. Indeed, the PDDL structure disables the processing of single predicates and operators. As a consequence, they cannot be arbitrarily composed to model new domains. To overcome these limitations, we propose a domain-independent, general-purpose knowledge design and task planning system based on the combination of a PDDL generator and interpreter and a Knowledge Base. The former builds planning data structures, where every object is a PDDL token independent of its original domain. It also allows merging these objects to formulate new PDDL domains and problems, ensuring consistency and validity of generated definitions. Their resolution is based on a powerful object-based reasoning instead of an inefficient lexical-based one. The latter contains the necessary relationships and representations to allow data storing and reusability. Their combination enables the storage, interpretation, and reuse of planning data, resulting in integration between the planning process and description logic reasoning. The overall system guarantees a flexible adaptation of the computed planning domains to changing environmental conditions, agent capabilities, and assigned tasks, promoting effective sharing and reuse of domain knowledge across different systems and applications.

A Planning Domain Definition Language Generator, Interpreter, and Knowledge Base for Efficient Automated Planning

Tosello E.;Pagello E.;Menegatti E.
2022

Abstract

The Planning Domain Definition Language (PDDL) successfully encodes classical planning tasks by easily describing objects, actions, and states in many planning domains. PDDL also describes domains, but they include only predefined sets of actions that can solve problems in a finite set of states. Indeed, the PDDL structure disables the processing of single predicates and operators. As a consequence, they cannot be arbitrarily composed to model new domains. To overcome these limitations, we propose a domain-independent, general-purpose knowledge design and task planning system based on the combination of a PDDL generator and interpreter and a Knowledge Base. The former builds planning data structures, where every object is a PDDL token independent of its original domain. It also allows merging these objects to formulate new PDDL domains and problems, ensuring consistency and validity of generated definitions. Their resolution is based on a powerful object-based reasoning instead of an inefficient lexical-based one. The latter contains the necessary relationships and representations to allow data storing and reusability. Their combination enables the storage, interpretation, and reuse of planning data, resulting in integration between the planning process and description logic reasoning. The overall system guarantees a flexible adaptation of the computed planning domains to changing environmental conditions, agent capabilities, and assigned tasks, promoting effective sharing and reuse of domain knowledge across different systems and applications.
2022
Lecture Notes in Networks and Systems
16th International Conference on Intelligent Autonomous Systems, IAS-16 2020
978-3-030-95891-6
978-3-030-95892-3
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3448088
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
  • OpenAlex ND
social impact