认知模型及其动态的抽象观察
摘要：意识模态逻辑研究的传统是这项工作的基础。其中一个目标是将工具和技术导入到模态逻辑的其他领域。为此，我们介绍了与抽象论证、正当性逻辑、知识逻辑和道义逻辑的重要联系，基本概念和定义概念可以用意识操作符与盒子模态相结合来表示。此外，这些概念联系指向了意识集合的有趣属性，超越了在意识逻辑中通常假定的正面和负面内省。我们展示了我们列出的属性由相应的规范公式所特征化，以获得一系列的自动化公理化。作为第二个焦点，我们通过事件模型研究了这个框架的一般动态。在这个背景下，特别感兴趣的是在满足某些属性的模型的情况下，使用事件模型进行更新是否能够保持在预期类别之内。这被称为一般动态认知逻辑中的封闭问题。作为主要贡献，我们证明了一些封闭理论，提供了保持我们属性的充分条件。同样，这些结果使我们能够通过减少公理对我们的动态逻辑进行公理化。
作者：Carlo Proietti (ILC, CNR Genova, Italy), Fernando R. Vel''azquez-Quesada (University of Bergen, Norway), Antonio Yuste-Ginel (Universidad Complutense de Madrid, Spain)
论文ID：2307.05049
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-12