Decidability Results in First-Order Epistemic Planning

Andrés Occhipinti Liberman, Rasmus Kræmmer Rendsvig

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

34 Downloads (Pure)

Abstract

Propositional Dynamic Epistemic Logic (DEL) provides an expressive framework for epistemic planning, but lacks desirable features that are standard in first-order planning languages (such as problem-independent action representations via action schemas). A recent epistemic planning formalism based on First-Order Dynamic Epistemic Logic (FODEL) combines the strengths of DEL (higher-order epistemics) with those of first-order languages (lifted representation), yielding benefits in terms of expressiveness and representational succinctness. This paper studies the plan existence problem for FODEL planning, showing that while the problem is generally undecidable, the cases of single-agent planning and multi-agent planning with non-modal preconditions are decidable.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
PublisherInternational Joint Conference on Artificial Intelligence Organization
Publication date2020
Pages4161-4167
ISBN (Print)978-0-9992411-6-5
DOIs
Publication statusPublished - 2020
EventTwenty-Ninth International Joint Conference on Artificial Intelligence - Scheduled for July 2020, postponed due to the Corona pandemic, Yokohama, Japan
Duration: 7 Jan 202115 Jan 2021
https://ijcai20.org/

Conference

ConferenceTwenty-Ninth International Joint Conference on Artificial Intelligence
LocationScheduled for July 2020, postponed due to the Corona pandemic
Country/TerritoryJapan
CityYokohama
Period07/01/202115/01/2021
Internet address

Fingerprint

Dive into the research topics of 'Decidability Results in First-Order Epistemic Planning'. Together they form a unique fingerprint.

Cite this