2-CN F理论的逻辑差

• 作者: 刘蕻 原国伟 梅俊杰 王以松
• 来源期刊: 计算机应用研究
• 关键词: 知识工程 2-CNF理论 算法 逻辑差 归结
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2578-2580
• 页数: 3页
• 分类号: TP182
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.09.004

摘要

如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念（称为逻辑差）。然而，一般知识库之间逻辑差的计算是不易处理的，而且不满足范畴性，即不能保证其结果仍然可以用同类型的知识库来表达；由于2-CNF理论的可满足问题的易处理性，证明了2-CNF理论的逻辑差具有范畴性，并设计了一个多项式时间算法计算它们的逻辑差。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以松	贵州大学计算机科学与技术学院	23	51	4.0	5.0
2	梅俊杰	贵州大学计算机科学与技术学院	4	6	1.0	2.0
3	刘蕻	贵州大学计算机科学与技术学院	4	6	1.0	2.0
4	原国伟	贵州大学计算机科学与技术学院	3	3	1.0	1.0