计算机应用研究Issue(9)：2578-2580,3.DOI:10.3969/j.issn.1001-3695.2015.09.004
2-CN F理论的逻辑差
Logical difference of 2-CNF theories
摘要
Abstract
It is important to capture the difference between different versions of a knowledge base,in the view of dynamical change.First of all,this paper introduced the notion of logical difference for propositional knowledge bases.However,computing the difference was generally intractable.The logical difference of a class of knowledge base was possibly not categorical,i.e., the difference couldn’t be presented in the same domain.Due to the tractability for the satisfiability of 2-CNF theories,it was proved that the logical difference of 2-CNF theories was categorical,and developed a polynomial-time algorithm to compute the logical difference between two 2-CNF theories.关键词
知识工程/2-CNF理论/算法/逻辑差/归结Key words
knowledge engineering/2-conjunctive normal form/algorithm/logical difference/resolution分类
信息技术与安全科学引用本文复制引用
刘蕻,原国伟,梅俊杰,王以松..2-CN F理论的逻辑差[J].计算机应用研究,2015,(9):2578-2580,3.基金项目
国家自然科学基金资助项目 （）
