A Dynamic Epistemic Framework for Conformant Planning

A Dynamic Epistemic Framework for Conformant Planning

Quan Yu \IfArrayPackageLoaded
Department of Computer Science, Sun Yat-sen University, China
Department of Computer Science, Sun Yat-sen University, China \IfArrayPackageLoaded
Qiannan Normal College for Nationalities, China
Qiannan Normal College for Nationalities, China
   Yanjun Li \IfArrayPackageLoaded
Department of Philosophy, Peking University, China
Department of Philosophy, Peking University, China \IfArrayPackageLoaded
Faculty of Philosophy, University of Groningen, The Netherlands
Faculty of Philosophy, University of Groningen, The Netherlands
   Yanjing Wang \IfArrayPackageLoaded
Department of Philosophy, Peking University, China
Department of Philosophy, Peking University, China
Corresponding author
Abstract

In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking algorithms to the full language and the iteration-free language.

R. Ramanujam (Ed.): TARK 2015 EPTCS 215, 2016, pp. A Dynamic Epistemic Framework for Conformant PlanningLABEL:LastPage, doi:10.4204/EPTCS.215.21

A Dynamic Epistemic Framework for Conformant Planning

Quan Yu \IfArrayPackageLoaded
Department of Computer Science, Sun Yat-sen University, China
Department of Computer Science, Sun Yat-sen University, China
\IfArrayPackageLoaded
Qiannan Normal College for Nationalities, China
Qiannan Normal College for Nationalities, China
and Yanjun Li \IfArrayPackageLoaded
Department of Philosophy, Peking University, China
Department of Philosophy, Peking University, China
\IfArrayPackageLoaded
Faculty of Philosophy, University of Groningen, The Netherlands
Faculty of Philosophy, University of Groningen, The Netherlands
and Yanjing Wangthanks: Corresponding author \IfArrayPackageLoaded
Department of Philosophy, Peking University, China
Department of Philosophy, Peking University, China

1 Introduction

Conformant planning is the problem of finding a linear plan (a sequence of action) to achieve a goal in presence of uncertainty about the initial state (cf. [SW98]). For example, suppose that you are a rookie spy trapped in a foreign hotel with the following map at hand:111It is a variant of the running example in [wang2012].

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
49862
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description