Knowing How to Plan

Yanjun Li
(Nankai University)
Yanjing Wang
(Peking University)

Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. In particular, we can handle the higher-order epistemic planning involving know-how formulas as the goal, e.g., find a plan to make sure p such that the adversary does not know how to make p false in the future. We give a PTIME algorithm for the model checking problem over finite epistemic transition systems and axiomatize the logic under the assumption of perfect recall.

In Joseph Halpern and Andrés Perea: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China, June 25-27, 2021, Electronic Proceedings in Theoretical Computer Science 335, pp. 233–247.
Published: 22nd June 2021.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: