Abstract
Automated planning is a prominent Artificial Intelligence challenge, as well as being a common capability requirement for intelligent autonomous agents. A critical aspect of what is called domain-independent planning, is the application knowledge that must be added to the planner to create a complete planning application. This is made explicit in (i) a domain model, which is a formal representation of the persistent domain knowledge, and (ii) an associated problem instance, containing the details of the particular problem to be solved. Both these components are used by automated planning engines for reasoning, in order to synthesize a solution plan.
Formulating knowledge for use in planning engines is currently something of an ad-hoc process, where the skills of knowledge engineers significantly influence the quality of the resulting planning application. On top of that, a notion of quality of the knowledge captured within a domain model is missing; it is therefore hard to provide useful guidelines to knowledge engineers.
This paper raises some issues relating to the engineering of application knowledge for automated planning, focusing on the domain model. It uses the idea of a domain model as a formal specification of a domain, and considers what it means to measure the quality of such a specification. To do this it proposes definitions of the attributes of a domain model and its encoding language, which are needed by the automated planning community in order to improve tools for supporting the engineering of planning knowledge, and to advance toward a shared and inclusive definition of quality of domain models.
Formulating knowledge for use in planning engines is currently something of an ad-hoc process, where the skills of knowledge engineers significantly influence the quality of the resulting planning application. On top of that, a notion of quality of the knowledge captured within a domain model is missing; it is therefore hard to provide useful guidelines to knowledge engineers.
This paper raises some issues relating to the engineering of application knowledge for automated planning, focusing on the domain model. It uses the idea of a domain model as a formal specification of a domain, and considers what it means to measure the quality of such a specification. To do this it proposes definitions of the attributes of a domain model and its encoding language, which are needed by the automated planning community in order to improve tools for supporting the engineering of planning knowledge, and to advance toward a shared and inclusive definition of quality of domain models.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 9th International Conference on Knowledge Capture (K-CAP), (Austin, TX: 4-6 December 2017) |
| Publisher | Association for Computing Machinery (ACM) |
| Number of pages | 8 |
| ISBN (Print) | 9781450355537 |
| DOIs | |
| Publication status | Published - 4 Dec 2017 |
| Event | 9th International Conference on Knowledge Capture - Hilton Garden Inn Convention Center, Austin, United States Duration: 4 Dec 2017 → 6 Dec 2017 Conference number: 9 https://k-cap2017.org/ (Link to Conference Website) |
Conference
| Conference | 9th International Conference on Knowledge Capture |
|---|---|
| Abbreviated title | K-CAP 2017 |
| Country/Territory | United States |
| City | Austin |
| Period | 4/12/17 → 6/12/17 |
| Internet address |
|
