Automated planning with ontologies under coherence update semantics (Extended Version)
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 of existing and new benchmarks examines the performance of a planning system on different variants of our compilation.
Cite
@article{arxiv.2507.15120,
title = {Automated planning with ontologies under coherence update semantics (Extended Version)},
author = {Stefan Borgwardt and Duy Nhu and Gabriele Röger},
journal= {arXiv preprint arXiv:2507.15120},
year = {2025}
}
Comments
Extended version of a paper accepted at 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)