Automated Planning with Ontologies Under Coherence Update Semantics
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Standard automated planning employs first-order formulas under closed-world semantics to achieve a goal with a given set of actions from an initial state. We follow a line of research that aims to incorporate background knowledge into automated planning problems, for example by means of ontologies, which are usually interpreted under open-world semantics. We present a new approach for planning with DL-Lite ontologies that combines the advantages of ontology-based action conditions provided by explicit-input knowledge and action bases (eKABs) and ontology-aware action effects under the coherence update semantics. We show that the complexity of the resulting formalism is not higher than that of previous approaches, and provide an implementation via a polynomial compilation into classical planning. An evaluation on existing and new benchmarks examines the performance of a planning system on different variants of our compilation.
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |
| Publisher | IJCAI Organization |
| Pages | 751-761 |
| Number of pages | 11 |
| ISBN (electronic) | 978-1-956792-08-9 |
| Publication status | Published - 11 Nov 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning |
|---|---|
| ISSN | 2334-1025 |
External IDs
| Mendeley | 4486b49d-9c62-36b5-a372-2dcb68496f26 |
|---|---|
| unpaywall | 10.24963/kr.2025/72 |