%0 Journal Article
%T 超协调限制逻辑的计算复杂性分析
%A 蔡和熙？
%A 林作铨？
%A 陈沐天？
%J 软件学报
%P 839-844
%D 1998
%X 超协调限制逻辑lpc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题lpc的计算复杂性结果和算法实现，指出lpc是np完全问题，并给出了将lpc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为lpc的实现提供了新的途径.
%K 悖论逻辑
%K 限制逻辑
%K 超协调限制逻辑
%K 计算复杂性
%K 非单调性
%K 超协调性
%K np完全性.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19981108&flag=1