PROPOSITIONAL KNOWLEDGE BASE REVISION AND MINIMAL CHANGE

被引：422

作者：

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

共 22 条

[1] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].

ALCHOURRON, CE ;

GARDENFORS, P ;

MAKINSON, D .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530

[2]

BELL J, 1990, ARTIF INTELL, V41, P35

[3]

BORGIDA A, 1985, ACM T DATABASE SYST, V10, P563

[4]

Dalal M., 1988, P 7 NAT C ART INT AA, P475

[5]

DALAL M, 1988, DCSTR222 RUTG U DEP

[6]

FAGIN R, 1983, 2ND P ACM S PRINC DA, P352

[7] EPISTEMIC IMPORTANCE AND MINIMAL CHANGES OF BELIEF [J].

GARDENFORS, P .

AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1984, 62 (02) :136-157

[8]

GARDENFORS P, IN PRESS REV INT PHI

[9]

GARDENFORS P, 1978, ACTA PHILOS FENN, V30, P381

[10]

Gardenfors P., 1988, KNOWLEDGE FLUX MODEL

← 1 2 3 →