| A Practical Propositional Knowledge Base Revision Algorithm |
| |
| 引用本文： | Tao Xuehong,Sun Wei,Ma Shaohan. A Practical Propositional Knowledge Base Revision Algorithm[J]. 计算机科学技术学报, 1997, 12(2): 154-159. DOI: 10.1007/BF02951334 |
| |
| 作者姓名： | Tao Xuehong Sun Wei Ma Shaohan |
| |
| 作者单位： | [1]DepartmentofComputerScience,ShandongUniversity,Jinan250100 [2]DepartmentofComputerScience,ShandongUniver |
| |
| 摘 要： | This paper gives an outline of knowledge base revision and some recently presented complexity results about propostitional knowledge base revision.Different methods for revising propositional knowledge base have been proposed recently by several researchers,but all methods are intractable in the general case.For practical application,this paper presents a revision method for special case,and gives its corresponding polynomial algorithm.
|
| 关 键 词： | 命题知识库 重复算法 多项式算法 可满足性问题 |
A practical propositional knowledge base revision algorithm |
| |
| Xuehong Tao,Wei Sun,Shaohan Ma. A practical propositional knowledge base revision algorithm[J]. Journal of Computer Science and Technology, 1997, 12(2): 154-159. DOI: 10.1007/BF02951334 |
| |
| Authors: | Xuehong Tao Wei Sun Shaohan Ma |
| |
| Affiliation: | Department of Computer Science; Shandong University; Jinan 250100; |
| |
| Abstract: | This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision. Different methods for revising propositional knowledge baize have been proposed recently by several researchers, but all methods are intractable in the general case. For practical application, this paper presents a revision method for special case, and gives its corresponding polynomial algorithm. |
| |
| Keywords: | Propositional knowledge base revision satisfiability problem |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
