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
EditorsMagdalena Ortiz, Renata Wassermann, Torsten Schaub
PublisherIJCAI Organization
Pages751-761
Number of pages11
ISBN (electronic)978-1-956792-08-9
Publication statusPublished - May 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
Scopus 105034255024

Keywords

ASJC Scopus subject areas