动态认识论逻辑

动态认识论逻辑（DEL）是一个处理知识和信息变化的逻辑框架。通常情况下，DEL侧重于涉及多个代 理 人的情况，研究事件发生时他们的知识如何变化。

这些事件可以改变实际世界的事实属性（它们被称为本体事件）：例如，一张红牌被涂成蓝色。它们也可以带来知识的变化，而不改变世界的事实属性（它们被称为认识论事件）：例如，一张牌被公开（或私下）揭示为红色。

最初，DEL专注于认识论的事件。我们只介绍了原始DEL框架的一些基本思想；关于DEL的更多细节可以在参考文献中找到。

由于其研究对象的性质和抽象的方法，DEL与许多研究领域相关并有应用，如计算机科学（人工智能）、哲学（形式认识论）、经济学（博弈论）和认知科学。

在计算机科学中，例如，DEL与多代理系统有很大关系，多代理系统是指多个智能代理相互作用并交换信息的系统。作为动态逻辑和认识论逻辑的结合，动态认识论逻辑是一个年轻的研究领域。

它真正开始于1989年Plaza的公示逻辑。Gerbrandy和Groeneveld独立地提出了一个处理私人公告的系统，这是受Veltman的工作启发。

另一个系统由vanDitmarsch提出，其主要灵感来自于Cluedo游戏。但最有影响力的原创系统是由Baltag、Moss和Solecki提出的系统。这个系统可以处理上述作品中研究的所有类型的情况，其基本方法在概念上是有依据的。

我们将介绍它的一些基本思想。从形式上看，DEL扩展了普通的认识论逻辑，加入了描述行动的事件模型和一个产品更新算子，该算子定义了认识论模型如何作为执行事件模型描述的行动的结果而被更新。

首先将回顾认识论逻辑。然后，行动和事件将进入画面，我们将介绍DEL框架。

表观逻辑是一种处理知识和信仰概念的模态逻辑。作为一种逻辑，它关注的是对知识和信仰的推理过程的理解：哪些与知识和信仰的概念相关的原则在直觉上是可信的？与认识论一样，它源于希腊语ϵπιστημη{displaystyle{epsilon{pi{iota{sigma{tau{mu{eta}或"episteme"，意思是知识和信仰。或"episteme"，意思是知识。

然而，认识论更关注分析知识的本质和范围，解决诸如"知识的定义是什么？"或"知识是如何获得的？"等问题。事实上，由于伯利和奥卡姆的努力，认识论逻辑在中世纪从认识论中发展出来。

基于模态逻辑的形式化工作，开启了当代认识论逻辑的研究，它可以追溯到1962年，是由Hintikka完成的。随后，它在1960年代引发了关于知识和信仰原则的讨论，并为这些概念提出和讨论了许多公理，例如，互动公理。

最近，这类哲学理论被经济学、人工智能和理论计算机科学的研究人员所采纳，其中关于知识的推理是一个核心话题。由于认识论逻辑被用于新的环境，新的视角和新的特征，比如可计算性问题，随后被添加到认识论逻辑的研究议程中。

在续篇中。AGTS={1,...,n}{displaystyleAGTS={1,ldots,n}}是一个有限集合，它的元素是{1,ldots,n}。是一个有限集合，其元素被称为xxx和PROP{displaystylePROP}是一个有限集合，其元素称为代理，PROP是一个命题字母的集合。