觉知逻辑的个体信念更新

摘要：

本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性.进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系.

关键词：觉知;个体信念更新;信念库;互模拟

所属期刊栏目：14

分类号：B81(逻辑学(论理学))

在线出版日期：2021-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共22页

页码：1-22