Automated planning with ontologies under coherence update semantics (Extended Version)
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
Thanks to recent advances, AI Planning has become the underlying technique for several applications. Figuring prominently among these is automated Web Service Composition (WSC) at the "capability" level, where services a…
Service CompositionA context-aware knowledge acquisition for planning applications using ontologies
Automated planning technology has developed significantly. Designing a planning model that allows an automated agent to be capable of reacting intelligently to unexpected events in a real execution environment yet remain…
Planning with OWL-DL Ontologies (Extended Version)
We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing plannin…
A Survey on Knowledge Graph-based Methods for Automated Driving
Automated driving is one of the most active research areas in computer science. Deep learning methods have made remarkable breakthroughs in machine learning in general and in automated driving (AD)in particular. However,…
Knowledge Graph EmbeddingsKnowledge GraphsMotion PlanningScene Understanding+1Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics.…