A Logic for Multi-Agent Conformant Planning Over Transition Systems

Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of artificial intelligence. We introduce a semantic-driven formalism to capture the information change during the execution of actions. We then propose a dynamic epistemic logic for multi-agent conformant planning. Moreover, we give an alternative Kripke semantics and provide a complete axiomatization.

[1]  A. R. D. Mathias,et al.  NON‐WELL‐FOUNDED SETS (CSLI Lecture Notes 14) , 1991 .

[2]  Yanjing Wang,et al.  Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints , 2016, ICLA.

[3]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[4]  Guillaume Aucher,et al.  DEL-sequents for regression and epistemic planning , 2012, J. Appl. Non Class. Logics.

[5]  Thomas Bolander,et al.  Epistemic and Doxastic Planning , 2014 .

[6]  Yanjing Wang,et al.  A Dynamic Epistemic Framework for Conformant Planning , 2016, TARK.

[7]  Yanjing Wang,et al.  More for free: a dynamic epistemic framework for conformant planning over transition systems , 2017, J. Log. Comput..

[8]  Yanjing Wang.  A logic of goal-directed knowing how , 2016, Synthese.

[9]  Yanjun Li,et al.  Reasoning in Multi-Agent Conformant Planning over Transition Systems , 2020, OVERLAY.

[10]  Agostino Dovier,et al.  EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations , 2020, ICAPS.

[11]  Yanjing Wang,et al.  Strategically knowing how , 2017, IJCAI.

[12]  Willem Groeneveld,et al.  Logical Investigations into Dynamic Semantics , 1995 .

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

[14]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

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

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

[17]  Yanjing Wang,et al.  A Logic of Knowing How , 2015, LORI.

[18]  David E. Smith,et al.  Conformant Graphplan , 1998, AAAI/IAAI.

[19]  Andreas Witzel,et al.  DEL Planning and Some Tractable Cases , 2011, LORI.

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

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

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

[23]  Yanjun Li,et al.  Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach , 2019, LORI.