论文标题
改变代理商和归因于动态认知逻辑的信念
Changing agents and ascribing beliefs in dynamic epistemic logic
论文作者
论文摘要
在动态认知逻辑（van Ditmarsch，van der Hoek和Kooi，2008年）中，习惯使用动作框架（Baltag＆Moss，2004; Baltag，Moss和Solecki，＆Solecki，1998）描述单一动作的不同观点。在本文中，扩展了动作帧以添加或删除代理，我们将这些代理更高的框架称为。可以选择性地完成此操作，以便只有一些指定的代理才能获得更新的信息，该信息可用于建模一些有趣的示例，例如私人更新和欺骗，由Baltag和Moss（2004）研究； Sakama（2015）; Van Ditmarsch，Van Eijck，Sietsma和Wang（2012）。通过动作框架对Kripke模型的产品更新是描述转换后的Kripke模型的缩写方法，这是执行动作的结果。这基本上扩展到了新环境中的代理更新框架对Kripke模型的总和更新。这些想法应用于建模故事的AI问题。我们表明，动态认识论逻辑，现在基于代理更新帧的更新方式继续具有声音和完整的证明系统。模型检查和满意度的决策程序预期的复杂性。对于跨语言，有多项式空间算法。
In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe different views of a single action. In this article, action frames are extended to add or remove agents, we call these agent-update frames. This can be done selectively so that only some specified agents get information of the update, which can be used to model several interesting examples such as private update and deception, studied earlier by Baltag and Moss (2004); Sakama (2015); Van Ditmarsch, Van Eijck, Sietsma, and Wang (2012). The product update of a Kripke model by an action frame is an abbreviated way of describing the transformed Kripke model which is the result of performing the action. This is substantially extended to a sum-product update of a Kripke model by an agent-update frame in the new setting. These ideas are applied to an AI problem of modelling a story. We show that dynamic epistemic logics, with update modalities now based on agent-update frames, continue to have sound and complete proof systems. Decision procedures for model checking and satisfiability have expected complexity. For a sublanguage, there are polynomial space algorithms.
