基于认知反映的信念逻辑

• 作者: 曹存根 李惠涛 江峰 眭跃飞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 信念 认知反映 一阶模态逻辑
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 人工智能及图像处理技术
• 页码范围: 157-159
• 页数: 3页
• 分类号: TP3
• 字数: 4505字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.02.044

摘要

Quine[9]提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义.目前的一阶模态逻辑普遍给予Quine难题以de re/de dicto解读.本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系.在此观念下,本文提出了一个新的一阶模态逻辑系统--基于认知反映的信念逻辑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所中国科学院研究生院	91	991	17.0	27.0
2	江峰	中国科学院计算技术研究所中国科学院研究生院	32	455	14.0	20.0
3	眭跃飞	中国科学院计算技术研究所中国科学院研究生院	35	313	9.0	17.0
4	李惠涛	中国科学院计算技术研究所中国科学院研究生院	1	0	0.0	0.0