文献类型：期刊文章

作　　者：蔡和熙[1] 林作铨[1]

机构地区：[1]汕头大学计算机科学研究所

出　　处：《软件学报》

基　　金：国家自然科学基金;国家863高科技项目基金;广东省自然科学基金

年　　份：1998

卷　　号：9

期　　号：11

起止页码：839-844

语　　种：中文

收录情况：AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：超协调限制逻辑ＬＰｃ是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化．给出了命题ＬＰｃ的计算复杂性结果和算法实现，指出ＬＰｃ是ＮＰ完全问题，并给出了将ＬＰｃ转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为ＬＰｃ的实现提供了新的途径．

关 键 词：悖论逻辑  限制逻辑  计算复杂性  非单调性  

分 类 号：TP301.5] TP18[计算机类]