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 条
  • [31] Empathy and propositional knowledge
    Straver, Elske
    JOURNAL OF CONSCIOUSNESS STUDIES, 2007, 14 (11) : 43 - 60
  • [32] Minimal Change in AGM Revision for Non-Classical Logics
    Ribeiro, Marcio M.
    Wassermann, Renata
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 657 - 660
  • [33] Building a Network Knowledge Base Based on a Belief Revision Operator
    Osuna-Gonzalez, Reynold
    De Ita-Luna, Guillermo
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS-ICCSA 2023 WORKSHOPS, PT I, 2023, 14104 : 3 - 14
  • [34] A New Approach to Knowledge Base Revision in DL-Lite
    Wang, Zhe
    Wang, Kewen
    Topor, Rodney
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 369 - 374
  • [35] From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening
    Schwind, Camilla
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, 2010, 6433 : 120 - 132
  • [36] Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning
    Prendinger, H
    Ishizuka, M
    Schurz, G
    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2000, 14 (01) : 35 - 57
  • [37] Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning
    Prendinger, Helmut, 2000, World Scientific Publ Co, Singapore, Singapore (14)
  • [38] MINIMAL INJECTIVE RESOLUTIONS UNDER FLAT BASE CHANGE
    FOXBY, HB
    THORUP, A
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 67 (01) : 27 - 31
  • [39] Propositional dynamic logic as a logic of belief revision
    van Eijck, Jan
    Wang, Yanjing
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 136 - 148
  • [40] Belief Revision in the Propositional Closure of a Qualitative Algebra
    Dufour-Lussier, Valmi
    Hermann, Alice
    Le Ber, Florence
    Lieber, Jean
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 622 - 625
12345