# Dynamic Epistemic Logic

> 【EN】Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic Logic, Belief Revision, multi-agent and distributed systems, Artificial Intelligence, Defeasible and Non-monotonic Reasoning, and Epistemic Game Theory. This article surveys DEL, identifying along the way a number of open questions and natural directions for further research. 【中】词条综述这一领域：公开宣告逻辑、分布式知识、摩尔句、行动模型的例子、认知行动的逻辑，以及信念变化的静态与动态刻画，并指出若干开放问题与进一步研究的方向。它与形式与社会认识论、认知与信念逻辑、信念修正、多智能体与分布式系统、人工智能、可废止与非单调推理以及认知博弈论都有交叉。

- ID: m13197
- Category: structure
- Domain: 逻辑学

## Definition

动态认知逻辑（DEL）是研究“模型变化”的模态逻辑分支，用形式工具刻画公开宣告、私下告知等认知行动如何改变主体的知识与信念状态，是一个高度活跃的应用逻辑领域。 脚手架作用：- 信息流建模：把一次宣告看成删去冲突的可能世界，追踪各方知情状态如何改变。 - 多方视角推演：区分谁看见、谁没看见同一事件，预判同一消息对各方的不同效果。

## How it works

把信息事件建模为对认知模型的变换：模型由若干可能世界加上主体间不可区分的关系构成，一次公开宣告相当于删去所有与宣告内容相冲突的世界，认知格局随即收缩。不同主体对同一事件的可见性不同，故同一宣告可产生不同的更新效果。

## Practice

1) 列出相关主体与需要考虑的可能世界；2) 标明谁分不清哪些世界；3) 把新信息写成对模型的变换而非单纯的命题加入；4) 检验变换后目标命题在哪些世界上成立；5) 对连续信息逐次迭代，并区分知识更新与信念修正。

## Use

- 信息流建模：把一次宣告看成删去冲突的可能世界，追踪各方知情状态如何改变。 - 多方视角推演：区分谁看见、谁没看见同一事件，预判同一消息对各方的不同效果。

[Read the web page](https://thinkingmodels.site/en/entries/detail/m13197)