Backward Planning in the Logics of Communication and Change

In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive agents that can be solved. For example, goals or plans may consist of a certain distribution of beliefs and ignorance among agents. Our results include: soundness and completeness of backward planning (breadth first search), both for deterministic and strong non-deterministic planning.

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

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

[3]  Malik Ghallab,et al.  Chapter 14 – Temporal Planning , 2004 .

[4]  C. Guarneri.  Cornell University Press , 1991 .

[5]  J. Benthem,et al.  Logics of communication and change , 2006 .

[6]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[7]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[8]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[9]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

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

[11]  Guillaume Aucher.  DEL-sequents for progression , 2011, J. Appl. Non Class. Logics.

[12]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[13]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

[14]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[16]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

[17]  John W. L. Ogilvie,et al.  Heuristics: Intelligent Search Strategies for Com- Puter Problem , 2001 .

[18]  Judea Pearl,et al.  Heuristics - intelligent search strategies for computer problem solving , 1984, Addison-Wesley series in artificial intelligence.

[19]  W. van der Hoek,et al.  An Introduction to Dynamic Epistemic Logic , 2004 .

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

[21]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[22]  Andreas Witzel,et al.  Planning based on dynamic epistemic logic , 2010 .

[23]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[24]  Barteld Kooi,et al.  Logic and the foundations of game and decision theory (LOFT 7) , 2008 .

[25]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

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

[27]  Yanjing Wang,et al.  On the Logic of Lying , 2012, Games, Actions and Social Software.