Automated Planning with Ontologies Under Coherence Update Semantics
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |
| Herausgeber (Verlag) | IJCAI Organization |
| Seiten | 751-761 |
| Seitenumfang | 11 |
| ISBN (elektronisch) | 978-1-956792-08-9 |
| Publikationsstatus | Veröffentlicht - 11 Nov. 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning |
|---|---|
| ISSN | 2334-1025 |
Externe IDs
| Mendeley | 4486b49d-9c62-36b5-a372-2dcb68496f26 |
|---|---|
| unpaywall | 10.24963/kr.2025/72 |