Decidability Results in First-Order Epistemic Planning

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.

[1]  Thomas Bolander,et al.  Undecidability in Epistemic Planning , 2013, IJCAI.

[2]  Arnould Bayart Review: Saul A. Kripke, The Undecidability of Monadic Modal Quantification Theory , 1966 .

[3]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[4]  Carlos Gershenson,et al.  Information and Computation , 2013, Handbook of Human Computation.

[5]  M. Pourmahdian,et al.  First-Order Modal Logic: Frame Definability and a Lindström Theorem , 2016, Studia Logica.

[6]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[7]  Quan Yu,et al.  Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions , 2013, IJCAI.

[8]  Thomas Bolander,et al.  Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic , 2014, ECSI.

[9]  Günter Asser,et al.  Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 1955 .

[10]  J.F.A.K. van Benthem,et al.  Frame correspondences in modal predicate logic , 2010 .

[11]  Saul A. Kripke The Undecidability of Monadic Modal Quantification Theory , 1962 .

[12]  A. Visser Uniform interpolation and layered bisimulation , 1996 .

[13]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[14]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[15]  Thomas Bolander,et al.  A Gentle Introduction to Epistemic Planning: The DEL Approach , 2017, M4M@ICLA.

[16]  Patrick Blackburn,et al.  Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.

[17]  David Marker,et al.  Introduction to Model Theory , 2000 .

[18]  J.F.A.K. van Benthem,et al.  Modal Logic for Open Minds , 2010 .