超协调限制逻辑的计算复杂性分析
, PP. 839-844
Keywords: 悖论逻辑,限制逻辑,超协调限制逻辑,计算复杂性,非单调性,超协调性,np完全性.
Abstract:
超协调限制逻辑lpc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题lpc的计算复杂性结果和算法实现，指出lpc是np完全问题，并给出了将lpc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为lpc的实现提供了新的途径.
Full-Text
