TitleRepresenting imperfect information of procedures with hyper models
AuthorsWang, Yanjing
AffiliationDepartment of Philosophy, Peking University, Beijing, China
Issue Date2015
Citation6th Indian Conference on Logic and Its Applications, ICLA 2015.Mumbai, India,8923(218-231).
AbstractWhen reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5like models of standard epistemic logic. To overcome this drawback, in this paper, we propose a new logical framework based on compact models without epistemic accessibility relations for reasoning about knowledge of procedures. Inspired by the 3-valued abstraction method in model checking, we introduce hyper models which encode the imperfect procedural information. We give a highly non-trivial 2-valued semantics of epistemic dynamic logic on such models while validating all the usual S5 axioms. Our approach is suitable for applications where procedural information is ??learned?? incrementally, as demonstrated by various examples.
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

License: See PKU IR operational policies.