Semantic results for ontic and epistemic change
Semantic results for ontic and epistemic change
复制标题
DOI：
--
复制
发表时间：
2006-10
期刊：
影响因子：
--
通讯作者：
H. V. Ditmarsch;Barteld P. Kooi
中科院分区：
文献类型：
--
作者：
H. V. Ditmarsch;Barteld P. Kooi
我们提出了一个认知逻辑结合动态运营商来描述信息变化的事件。这些事件包括认知变化，其中代理人变得更加了解世界的不变状态，以及本体变化，其中世界发生变化。事件在建模为指向Kripke模型的信息状态中执行。我们的贡献包括三个语义结果。(i)通过事件的执行，每个一致的公式都可以在每个信息状态中为真。(ii)每个事件都对应于一个仅赋值为true和false的事件。(iii)每个事件都对应于一个事件序列，只分配了一个原子。我们应用的逻辑模型动态在多代理设置涉及卡玩家。
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing state of the world, and ontic changes, wherein the world changes. The events are executed in information states that are modelled as pointed Kripke models. Our contribution consists of three semantic results. (i) Every consistent formula can be made true in every information state by the execution of an event. (ii) Every event corresponds to an event with assignments to true and false only. (iii) Every event corresponds to a sequence of events with assignments of a single atom only. We apply the logic to model dynamics in a multi-agent setting involving card players.