On uniform belief revision

被引:6
|
作者
Aravanis, Theofanis [1 ]
机构
[1] Univ Patras, Sch Econ & Business, Dept Business Adm, Patras 26500, Greece
关键词
Belief change; parametrized-difference revision; total preorders; iteration; relevance; kinetic consistency; knowledge representation; KNOWLEDGE-BASE REVISION; RELEVANCE; LOGIC;
D O I
10.1093/logcom/exaa058
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Rational belief-change policies are encoded in the so-called AGM revision functions, defined in the prominent work of AlchourrOn, Gardenfors and Makinson. The present article studies an interesting class of well-behaved AGM revision functions, called herein uniform-revision operators (or UR operators, for short). Each UR operator is uniquely defined by means of a single total preorder over all possible worlds, a fact that in turn entails a significantly lower representational cost, relative to an arbitrary AGM revision function, and an embedded solution to the iterated-revision problem, at no extra representational cost. Herein, we first demonstrate how weaker, more expressive-yet, more representationally expensive types of uniform revision can be defined. Furthermore, we prove that UR operators, essentially, generalize a significant type of belief change, namely, parametrized-difference revision. Lastly, we show that they are (to some extent) relevance-sensitive, as well as that they respect the so-called principle of kinetic consistency.
引用
收藏
页码:1357 / 1376
页数:20
相关论文
共 50 条
  • [21] Symmetry and Belief Revision
    Stephen Murray Glaister
    Erkenntnis, 1998, 49 (1) : 21 - 56
  • [22] Belief revision revisited
    Madalinska-Bugaj, E
    Lukaszewicz, W
    MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3789 : 31 - 40
  • [23] Belief Revision Normalized
    Goodman, Jeremy
    Salow, Bernhard
    JOURNAL OF PHILOSOPHICAL LOGIC, 2025, 54 (01) : 1 - 49
  • [24] Mighty Belief Revision
    Kraemer, Stephan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (05) : 1175 - 1213
  • [25] Parallel belief revision: Revising by sets of formulas
    Delgrande, James
    Jin, Yi
    ARTIFICIAL INTELLIGENCE, 2012, 176 (01) : 2223 - 2245
  • [26] Belief Re-Revision in Chivalry Case
    Jirakunkanok, Pimolluck
    Hirose, Shinya
    Sano, Katsuhiko
    Tojo, Satoshi
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2013), 2014, 8417 : 230 - 245
  • [27] Belief Revision for Physical Robots: Opportunities and Challenges
    Hunter, Aaron
    Daon, Dustin
    2024 IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CCECE 2024, 2024, : 806 - 810
  • [28] Belief revision and projection in the epistemic situation calculus
    Schwering, Christoph
    Lakemeyer, Gerhard
    Pagnucco, Maurice
    ARTIFICIAL INTELLIGENCE, 2017, 251 : 62 - 97
  • [29] Belief Revision and Computational Argumentation: A Critical Comparison
    Baroni, Pietro
    Ferme, Eduardo
    Giacomin, Massimiliano
    Ricardo Simari, Guillermo
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022, 31 (04) : 555 - 589
  • [30] A study of possible-worlds semantics of relevance-sensitive belief revision
    Aravanis, Theofanis
    Peppas, Pavlos
    Williams, Mary-Anne
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (05) : 1125 - 1142