非单调推理的研究现状

被引:2
作者
刘瑞胜
刘叙华
机构
[1] 吉林大学计算机科学系
[2] 吉林大学计算机科学系 长春
[3] 长春
关键词
Nonmonotonic reasoning; Default reasoning; Circumscription; Autoepistemic logic; Open logic;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
<正>一、引言 早在1959年,McCart[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。
引用
收藏
页码:14 / 17
页数:4
相关论文
empty
未找到相关数据