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 条
  • [1] Revocable Belief Revision
    van Ditmarsch, Hans
    STUDIA LOGICA, 2013, 101 (06) : 1185 - 1214
  • [2] Jokes and Belief Revision
    de Saint-Cyr, Florence Dupin
    Prade, Henri
    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 336 - 340
  • [3] Iterated Belief Revision
    Robert Stalnaker
    Erkenntnis, 2009, 70 : 189 - 209
  • [4] Iterated Belief Revision
    Stalnaker, Robert
    ERKENNTNIS, 2009, 70 (02) : 189 - 209
  • [5] Multiagent belief revision
    Billot, Antoine
    Vergnaud, Jean-Christophe
    Walliser, Bernard
    JOURNAL OF MATHEMATICAL ECONOMICS, 2015, 59 : 47 - 57
  • [6] ABDUCTION AS BELIEF REVISION
    BOUTILIER, C
    BECHER, V
    ARTIFICIAL INTELLIGENCE, 1995, 77 (01) : 43 - 94
  • [7] Review of Belief Revision
    Gardenfors, Peter
    1996, (06)
  • [8] DFT AND BELIEF REVISION
    Ferme, Eduardo
    Rodriguez, Ricardo
    ANALISIS FILOSOFICO, 2006, 26 (02): : 373 - 393
  • [9] Distributed Belief Revision
    Aldo Franco Dragoni
    Paolo Giorgini
    Autonomous Agents and Multi-Agent Systems, 2003, 6 : 115 - 143
  • [10] Revocable Belief Revision
    Hans van Ditmarsch
    Studia Logica, 2013, 101 : 1185 - 1214