觉知逻辑的个体信念更新
发布人：网站编辑
发布日期：2022-10-14
逻辑学研究 2021 年第 5 期，1–22 文章编号：1674-3202(2021)-05-0001-22
作者：宋鹏飞 熊卫
摘 要：本文以包含觉知算子的信念态度逻辑为基础，研究该逻辑在增加个体信念更新算子后的扩充，在给出这一扩充的公理系统后，证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步，我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程，并且证明了这两种动态过程产生的模型具有互模拟关系。
关键词：觉知；个体信念更新；信念库；互模拟
中图分类号：B81
文献标识码：A