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 条
  • [21] PROPOSITIONAL KNOWLEDGE
    MOSER, PK
    PHILOSOPHICAL STUDIES, 1987, 52 (01) : 91 - 114
  • [22] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [23] PROPOSITIONAL KNOWLEDGE
    SOSA, E
    JOURNAL OF PHILOSOPHY, 1966, 63 (21): : 702 - 702
  • [24] Characterization of logic program revision as an extension of propositional revision
    Schwind, Nicolas
    Inoue, Katsumi
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 111 - 138
  • [25] On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
    Coste-Marquis, Sylvie
    Konieczny, Sebastien
    Mailly, Jean-Guy
    Marquis, Pierre
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 52 - 61
  • [26] An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base
    Bello, P.
    De Ita, G.
    IEEE LATIN AMERICA TRANSACTIONS, 2021, 19 (11) : 1867 - 1874
  • [27] Does Propositional Seeing Entail Propositional Knowledge?
    French, Craig
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2012, 78 (02): : 115 - 127
  • [28] Minimal Distance of Propositional Models
    Behrisch, Mike
    Hermann, Miki
    Mengel, Stefan
    Salzer, Gernot
    THEORY OF COMPUTING SYSTEMS, 2019, 63 (06) : 1131 - 1184
  • [29] Minimal Distance of Propositional Models
    Mike Behrisch
    Miki Hermann
    Stefan Mengel
    Gernot Salzer
    Theory of Computing Systems, 2019, 63 : 1131 - 1184
  • [30] PROPOSITIONAL KNOWLEDGE REPRESENTATION
    SHAPIRO, SC
    CHALUPSKY, H
    KUMAR, D
    AI MAGAZINE, 1992, 13 (03) : 27 - 27
12345