超协调限制逻辑的计算复杂性分析

• 作者: 林作铨 蔡和熙 陈沐天
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 悖论逻辑 限制逻辑 超协调限制逻辑 计算复杂性 非单调性 超协调性 NP完全性
• 年，卷（期）: 1998,（11）
• 页码范围: 0
• 分类号: TP18
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈沐天	汕头大学计算机科学研究所	2	2	1.0	1.0
2	蔡和熙	汕头大学计算机科学研究所	1	0	0.0	0.0
3	林作铨	汕头大学计算机科学研究所	1	0	0.0	0.0