PROPOSITIONAL KNOWLEDGE BASE REVISION AND MINIMAL CHANGE

被引：410

作者：

KATSUNO, H ^{[1
]}

MENDELZON, AO ^{[1
]}

机构：

[1] UNIV TORONTO, DEPT COMP SCI, TORONTO M5S 1A4, ONTARIO, CANADA

来源：

ARTIFICIAL INTELLIGENCE | 1991年 / 52卷 / 03期

关键词：

D O I：

10.1016/0004-3702(91)90069-V

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view. A characterization of all revision schemes that satisfy the Gardenfors rationality postulates is given in terms of minimal change with respect to an ordering among interpretations. Revision methods proposed by various authors are surveyed and analyzed in this framework. The correspondences between Gardenfors-like rationality postulates and minimal changes with respect to other orderings are also investigated.

引用

页码：263 / 294

页数：32

共 50 条

[1] Practical propositional knowledge base revision algorithm
Tao Xuehong
Sun Wei
Ma Shaohan
[J]. Journal of Computer Science and Technology, 1997, 12 (2) : 154 - 159
[2] A Practical Propositional Knowledge Base Revision Algorithm
陶雪红
孙伟
马绍汉
[J]. Journal of Computer Science & Technology, 1997, (02) : 154 - 159
[3] Algorithm and complexity of propositional knowledge base revision
Tao, Xuehong
Sun, Wei
Ma, Shaohan
[J]. Ruan Jian Xue Bao/Journal of Software, 1996, 7 (05): : 300 - 305
[4] Parallel propositional knowledge base revision algorithm
Ma, Shaohan
Sun, Wei
Tao, Xuehong
[J]. Jisuanji Xuebao/Chinese Journal of Computers, 1996, 19 (10): : 741 - 746
[5] Propositional belief base update and minimal change
Herzig, A
Rifi, O
[J]. ARTIFICIAL INTELLIGENCE, 1999, 115 (01) : 107 - 138
[6] A Practical Parallel Algorithm for Propositional Knowledge Base Revision
SUN WEI
TAO XUEHONG and MA SHAOHAO(Dept. of Computer Science
[J]. Wuhan University Journal of Natural Sciences, 1996, (Z1) : 473 - 477
[7] ON THE COMPLEXITY OF PROPOSITIONAL KNOWLEDGE BASE REVISION, UPDATES, AND COUNTERFACTUALS
EITER, T
GOTTLOB, G
[J]. ARTIFICIAL INTELLIGENCE, 1992, 57 (2-3) : 227 - 270
[8] A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models
Kudo, Yasuo
Murai, Tetsuya
[J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1568 - 1569
[9] Unified view of propositional knowledge base updates
[J]. 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
[10] Object knowledge base revision
Crampé, I
Euzenat, J
[J]. ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 3 - 7

← 1 2 3 4 5 →