TitleA dynamic epistemic framework for reasoning about conformant probabilistic plans
AuthorsLi, Yanjun
Kooi, Barteld
Wang, Yanjing
AffiliationNankai Univ, Coll Philosophy, Tianjin 300350, Peoples R China
Univ Groningen, Fac Philosophy, NL-9712 GL Groningen, Netherlands
Peking Univ, Dept Philosophy, Beijing 100871, Peoples R China
KeywordsConformant probabilistic planning
Dynamic epistemic logic
Issue Date2019
AbstractIn this paper, we introduce a probabilistic dynamic epistemic logical framework that can be applied for reasoning and verifying conformant probabilistic plans in a single agent setting. In conformant probabilistic planning (CPP), we are looking for a linear plan such that the probability of achieving the goal after executing the plan is no less than a given threshold probability delta. Our logical framework can trace the change of the belief state of the agent during the execution of the plan and verify the conformant plans. Moreover, with this logic, we can enrich the CPP framework by formulating the goal as a formula in our language with action modalities and probabilistic beliefs. As for the main technical results, we provide a complete axiomatization of the logic and show the decidability of its validity problem. (C) 2018 Elsevier B.V. All rights reserved.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time


Checked on Current Time

Google Scholar™

License: See PKU IR operational policies.