超协调限制逻辑的计算复杂性分析
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现,指出LPc是NP完全问题,并给出了将LPc转化为等价的优先限制逻辑的线性时间算法,由于限制逻辑具有实用的实现算法且可用归结方法实现,因而该算法为LPc的实现提供了新的途径.
悖论逻辑、限制逻辑、超协调限制逻辑、计算复杂性、非单调性、超协调性、NP完全性
9
TP18(自动化基础理论)
中国科学院资助项目;新材料领域项目;广东省博士启动基金
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
0