We introduce a dynamic epistemic logic that is based on what an agent can observe, including joint observation and observation of what other agents observe. This generalizes van der Hoek, Wooldridge and colleague's logics ECL-PC(PO) and LRC where it is common knowledge which propositional variables each agent observes. In our logic, facts of the world and their observability can both be modified by assignment programs. We show how epistemic operators can be interpreted in this framework and identify the conditions under which the principles of positive and negative introspection are valid. We also provide a sound and complete axiomatization and prove that the satisfiability problem is PSPAcE-complete. Finally, we show how public and private announcements can be expressed and illustrate the latter by the gossip spreading problem.
展开▼
机译:我们介绍了一种动态的认识逻辑,基于代理商可以观察到的,包括联合观察和观察其他代理商的观察。这一点概括了Van der Hoek,Wooldridge和同事的逻辑ECL-PC(PO)和LRC,其中常见的知识每个试剂所观察的命题变量。在我们的逻辑中,世界的事实及其可观察性可以通过分配计划进行修改。我们展示了认知运营商如何在本框架中解释,并确定积极和负面内省原则有效的条件。我们还提供了一种声音和完整的公理化,并证明了可满足性问题是PSPACE完整的。最后,我们展示了如何表达公共和私人公告,并通过八卦传播问题说明后者。
展开▼