超协调限制逻辑  

PARACONSISTENT CIRCUMSCRIPTIVE LOGIC

作　　者：林作铨[1] 

机构地区：[1]汕头大学计算机科学系

出　　处：《计算机学报》1995年第9期665-670,共6页Chinese Journal of Computers

基　　金：国家自然科学基金;国家高技术"863"计划资助;国家基础研究攀登计划资助

摘　　要：本文给出了一阶超协调限制逻辑ＬＰｃ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰｃ作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点，而且能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它在知识表示中具有广泛的应用．The definition of first-order paraconsistent circumscription LPc is provided. Its relations to the logics of paradox (LP and LPm) and circumscription (CIRC) are proved. LPc has the advantages of nonmonotonic logic and paraconsistent logic, and can overcome the problem existed in nonmonotonic logic and paraconsistent logic. Therefore it has wide applications in knowledge representation.

关 键 词：超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]