Intelligent agents solving problems in the real world require domain models containing widespread knowledge of the world. AI Planning requires domain models. Synthesising operator descriptions and domain specific constraints by hand for AI planning domain models is time intense, error-prone and challenging. To alleviate this, automatic domain model acquisition techniques have been introduced. Amongst others, the LOCM and LOCM2 systems require as input some plan traces only, and are effectively able to automatically encode a large part of the domain knowledge. In particular, LOCM effectively determines the dynamic part of the domain model. On the other hand, the static part of the domain – i.e., the underlying structure of the domain that can not be dynamically changed, but that affects the way in which actions can be performed – is usually missed, since it can hardly be derived by observing transitions only. In this paper we introduce ASCoL, a tool that exploits graph analysis for automatically identifying static relations, in order to enhance planning domain models. ASCoL has been evaluated on domain models generated by LOCM for international planning competition domains, and has been shown to be effective.
|Title of host publication||AIIA 2015 - Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Proceedings|
|Number of pages||14|
|Publication status||Published - 2015|
|Event||14th International Conference of the Italian Association for Artificial Intelligence - Ferrara, Italy|
Duration: 23 Sep 2015 → 25 Sep 2015
Conference number: 14
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||14th International Conference of the Italian Association for Artificial Intelligence|
|Period||23/09/15 → 25/09/15|
FingerprintDive into the research topics of 'Ascol: A tool for improving automatic planning domain model acquisition'. Together they form a unique fingerprint.
- Department of Computer Science - Lecturer in Software Engineering
- School of Computing and Engineering
- Centre for Planning, Autonomy and Representation of Knowledge - Member