-
题名一阶模态逻辑归结推理
- 1
-
-
作者
孙吉贵
刘叙华
李爱中
-
机构
吉林大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
1993年第5期7-10,共4页
-
基金
国家自然科学基金
国家教委博士点基金
863计划资助课题
-
文摘
1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,由于模态算子与量词之间存在着相互作用,因而使得模态公式的Skolem化、模态替换更为复杂。1986年,Cialdea和Farinas-del-Cerro将经典逻辑的Herbrand定理推广到一阶模态逻辑,并在此基础上,Cialdea于1991年建立起了一阶模态逻辑的归结推理方法,有效地克服了模态算子与量词之间复杂的相互作用。
-
关键词
模态逻辑
一阶模态逻辑
推理
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于认知反映的信念逻辑
- 2
-
-
作者
李惠涛
江峰
眭跃飞
曹存根
-
机构
中国科学院计算技术研究所中国科学院研究生院
-
出处
《计算机科学》
CSCD
北大核心
2008年第2期157-159,共3页
-
基金
自然科学基金的资助(#60273019
60573064
+1 种基金
60573063和60496326)
国家重点基础研究发展计划2003CB317008和G1999032701的资助
-
文摘
Quine[9]提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义。目前的一阶模态逻辑普遍给予Quine难题以de re/de dicto解读。本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系。在此观念下,本文提出了一个新的一阶模态逻辑系统---基于认知反映的信念逻辑。
-
关键词
信念
认知反映
一阶模态逻辑
-
Keywords
Belief, Cognitive reflection, First-order modal logic
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
