A programmable approach to revising knowledge bases

被引：1

作者：

Shangmin Luan

Guozhong Dai

Wei Li

机构：

[1] Chinese Academy of Sciences,Institute of Software

[2] Beijing University of Aeronautics and Astronautics,Department of Computer Science and Technology

来源：

Science in China Series F: Information Sciences | 2005年 / 48卷

关键词：

knowledge base; knowledge base revision; rules; predicate logic; propositional logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.

引用

页码：681 / 692

页数：11

共 24 条

[1]

Doyle J.(1979)A truth maintenance system Artificial Intelligence 12 231-272

[2]

Kleer J. D.(1986)An assumption-based TMS Artificial Intelligence 28 127-162

[3]

Ginsberg M. L.(1988)Reasoning about Action I:a Possible Worlds Approach Artificial Intelligence 35 165-195

[4]

Smith D. E.(1985)On the logic of theory change: Partial meet contraction and revision functions Journal of Symbolic Logic 50 510-530

[5]

Alchourron C. E.(1999)Modeling belief in dynamic systems Part II: Revision and update Journal of Artificial Intelligence Research 10 117-167

[6]

Gärdenfors P.(1991)Propositional knowledge base revision and minimal change Artificial Intelligence 52 263-294

[7]

Markinson D.(1989)New operators for theory change Theoria 50 114-132

[8]

Friedman N.(1991)Theory contraction through base contraction Journal of Philosophical Logic 20 175-203

[9]

Halpern J. Y.(1993)An open logic system Science in China, Ser. A (in Chinese) 22 1103-1113

[10]

Katsuno H.(2003)A development calculus for specifications Science in China, Ser. F 46 390-400

← 1 2 3 →