论文部分内容阅读
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理形式化,给出了命题LPc的计算复杂性结果和算法实现,指出LPc是NP完全问题,并给出了将LPc转化为等价的优先限制逻辑的线性问题算法,由于限制逻辑具有实用的实现算法且可用归结方法实现,因而该算法的LPc的实现提供了新的途径。