Automated Planning with Ontologies Under Coherence Update Semantics

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning
PublisherIJCAI Organization
Pages751-761
Number of pages11
ISBN (electronic)978-1-956792-08-9
Publication statusPublished - 11 Nov 2025
Peer-reviewedYes

Publication series

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

External IDs

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

Keywords