In dynamic epistemic logic (Van Ditmarsch et al., 2008) it is customary to use an action frame (Baltag and Moss, 2004; Baltag et al., 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 et al. (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. A sublanguage is shown to have polynomial space algorithms.
翻译:在动态缩写逻辑(Van Ditmarsch等人,2008年)中,通常使用一个行动框架(Baltag和Moss,2004年;Baltag等人,1998年)来描述对单一行动的不同观点。在本条中,扩展了行动框架以添加或删除代理人,我们称之为这些代理更新框架。这可以有选择地做到,只有某些指定的代理方才能获得更新信息,从而可以用来模拟几个有趣的例子,如Baltag和Moss(2004年)早先研究的私人更新和欺骗;Sakama(2015年);Van Ditmarsch等人(2012年)。一个行动框架对Kripke模型的产品进行更新,是一种缩略方式,用来描述作为执行行动结果的已转变的 Kripke模型。这在很大程度上扩展到Kripke模型的总产品更新,由代理方更新框架在新的环境中进行。这些想法被用于模拟故事的AI问题。我们展示了动态的缩写逻辑,其更新模式以代理更新框架为基础,继续有完善和完整的证据系统。