超协调逻辑(Ⅳ)——非单调超协调逻辑研究

被引：2

作者：

林作铨

李未

机构：

[1] 北京航空航天大学计算机系北京航空航天大学计算机系

[2] 汕头大学计算机科学系

[3] 汕头大学计算机科学研究所

来源：

关键词：

非单调逻辑; 协调性; 计算机科学; 形式化; 超协调逻辑; 次协调逻辑; 经典逻辑; 标准逻辑; 逻辑程序设计; 逻辑式程序设计; 常识推理;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。

引用

页码：4 / 9

页数：6