A Gentle Introduction to Epistemic Planning: The DEL Approach

Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. In this paper, we aim to give an accessible introduction to DEL-based epistemic planning. The paper starts with the most classical framework for planning, STRIPS, and then moves towards epistemic planning in a number of smaller steps, where each step is motivated by the need to be able to model more complex planning scenarios.

[1]  Christian J. Muise,et al.  Planning Over Multi-Agent Epistemic States: A Classical Planning Approach , 2015, AAAI.

[2]  Hans van Ditmarsch,et al.  Semantic results for ontic and epistemic change , 2006, ArXiv.

[3]  Wojciech Jamroga,et al.  Constructive knowledge: what agents can achieve under imperfect information , 2007, J. Appl. Non Class. Logics.

[4]  Thomas J. Walsh,et al.  Efficient Learning of Action Schemas and Web-Service Descriptions , 2008, AAAI.

[5]  Bernhard Nebel,et al.  Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination , 2018, KR.

[6]  Fahiem Bacchus,et al.  A Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2002, AIPS.

[7]  Jérôme Lang,et al.  Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence , 2013, TARK.

[8]  Barteld P. Kooi,et al.  Generalized arrow update logic , 2011, TARK XIII.

[9]  Thomas Bolander,et al.  Epistemic planning for single- and multi-agent systems , 2011, J. Appl. Non Class. Logics.

[10]  François Schwarzentruber,et al.  Complexity Results in Epistemic Planning , 2015, IJCAI.

[11]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[12]  Bernhard Nebel,et al.  Cooperative Epistemic Multi-Agent Planning for Implicit Coordination , 2017, M4M@ICLA.

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

[14]  Emiliano Lorini,et al.  A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation , 2015, LORI.

[15]  References , 1971 .

[16]  Bernhard Nebel,et al.  Continual planning and acting in dynamic multiagent environments , 2006, PCAR '06.

[17]  Emiliano Lorini,et al.  Announcements to Attentive Agents , 2016, J. Log. Lang. Inf..

[18]  Michael Wooldridge,et al.  Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.

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

[20]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[21]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

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

[24]  Fahiem Bacchus,et al.  PKS: Knowledge-Based Planning with Incomplete Information and Sensing , 2004 .

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

[26]  François Schwarzentruber,et al.  On the Impact of Modal Depth in Epistemic Planning , 2016, IJCAI.

[27]  Mark Steedman,et al.  Learning STRIPS Operators from Noisy and Incomplete Observations , 2012, UAI.

[28]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

[29]  Hector Geffner,et al.  Beliefs In Multiagent Planning: From One Agent to Many , 2015, ICAPS.

[30]  Thomas Bolander,et al.  Conditional Epistemic Planning , 2012, JELIA.

[31]  Jan van Eijck,et al.  Dynamic Epistemic Logics , 2014, Johan van Benthem on Logic and Information Dynamics.