Planning-based knowing how: A unified approach

Abstract Various logical notions of know-how have been recently proposed and studied in the literature based on different types of epistemic planning in different frameworks. This paper proposes a unified logical framework to incorporate the existing and some new notions of know-how. We define the semantics of the know-how operator using a unified notion of epistemic planning with parameters of different types of plans specified by a programming language. Surprisingly, via a highly unified completeness proof, we show that all the ten intuitive notions of plans discussed in this paper lead to exactly the same know-how logic, which is proven to be decidable. We also show that over finite models, the know-how logic based on knowledge-based plans requires an extension with an axiom capturing the compositionality of the plans. In the context of epistemic planning, our axiomatization results reveal the core principles behind the very idea of epistemic planning, independent of the particular notion of plans. Moreover, since epistemic planning can be expressed by the know-how modality in our object language, we can greatly generalize the planning problems that can be solved formally by model checking various formulas in our language.

[1]  Yanjing Wang,et al.  Conditionally Knowing What , 2014, Advances in Modal Logic.

[2]  Ronald Fagin,et al.  Knowledge-based programs , 1997, Distributed Computing.

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

[4]  Jérôme Lang,et al.  Knowledge-Based Programs as Plans - The Complexity of Plan Verification , 2012, ECAI.

[5]  Yanjing Wang,et al.  Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation , 2012, Advances in Modal Logic.

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

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

[8]  Yanjing Wang,et al.  Representing Imperfect Information of Procedures with Hyper Models , 2015, ICLA.

[9]  H. V. Ditmarsch,et al.  CONTINGENCY AND KNOWING WHETHER , 2015, The Review of Symbolic Logic.

[10]  Yanjing Wang,et al.  Beyond knowing that: a new generation of epistemic logics , 2016, ArXiv.

[11]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[12]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[13]  Thomas Bolander,et al.  Don't Plan for the Unexpected: Planning Based on Plausibility Models , 2015 .

[14]  J. McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[15]  Andreas Herzig,et al.  Logics of knowledge and action: critical analysis and challenges , 2014, Autonomous Agents and Multi-Agent Systems.

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

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

[18]  Pavel Naumov,et al.  Second-Order Know-How Strategies , 2018, AAMAS.

[19]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[20]  Peipei Wu,et al.  A Logic for Multi-Agent Conformant Planning Over Transition Systems , 2020, IEEE Access.

[21]  Blai Bonet,et al.  A Concise Introduction to Models and Methods for Automated Planning , 2013, A Concise Introduction to Models and Methods for Automated Planning.

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

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

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

[25]  Steven E. Boër,et al.  Knowing Who , 1985 .

[26]  Vaishak Belle,et al.  Probabilistic Planning by Probabilistic Programming , 2018, AAAI Workshops.

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

[28]  Jeremy Fantl.  Knowing‐How and Knowing‐That , 2008 .

[29]  Xun Wang,et al.  A Logic of Knowing How with Skippable Plans , 2019, LORI.

[30]  Marco Pistore,et al.  Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..

[31]  Yanjing Wang,et al.  BISIMULATIONS FOR KNOWING HOW LOGICS , 2021, The Review of Symbolic Logic.

[32]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

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

[34]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[35]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

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

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

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

[39]  Jérôme Lang,et al.  Probabilistic Knowledge-Based Programs , 2015, IJCAI.

[40]  Yanjing Wang,et al.  Knowing Your Ability , 2016 .

[41]  Hector J. Levesque,et al.  Planning with Loops , 2005, IJCAI.

[42]  Yanjing Wang,et al.  An Alternative Axiomatization of DEL and Its Applications , 2013, IJCAI.

[43]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[44]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[45]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

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

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

[48]  Flemming Nielson,et al.  Semantics with Applications: An Appetizer , 2007, Undergraduate Topics in Computer Science.

[49]  Chao Xu,et al.  A logic of knowing why , 2016, Synthese.

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

[51]  Yanjing Wang,et al.  A dynamic epistemic framework for reasoning about conformant probabilistic plans , 2019, Artif. Intell..

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

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

[54]  Pavel Naumov,et al.  Knowing-how under uncertainty , 2019, Artif. Intell..

[55]  Pavel Naumov,et al.  Together We Know How to Achieve: An Epistemic Logic of Know-How , 2017, TARK.

[56]  Natasha Alechina,et al.  Coalition logic with individual, distributed and common knowledge1 , 2018, J. Log. Comput..