Automated Planning with Ontologies Under Coherence Update Semantics

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning
Herausgeber (Verlag)IJCAI Organization
Seiten751-761
Seitenumfang11
ISBN (elektronisch)978-1-956792-08-9
PublikationsstatusVeröffentlicht - 11 Nov. 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheProceedings of the International Conference on Principles of Knowledge Representation and Reasoning
ISSN2334-1025

Externe IDs

Mendeley 4486b49d-9c62-36b5-a372-2dcb68496f26
unpaywall 10.24963/kr.2025/72

Schlagworte