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] Theory-relational belief revision
    Aravanis, Theofanis
    Peppas, Pavlos
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022, 90 (06) : 573 - 594
  • [2] Simple Hyperintensional Belief Revision
    Berto, F.
    ERKENNTNIS, 2019, 84 (03) : 559 - 575
  • [3] Belief revision in Horn theories
    Delgrande, James P.
    Peppas, Pavlos
    ARTIFICIAL INTELLIGENCE, 2015, 218 : 1 - 22
  • [4] Prime implicates and relevant belief revision
    Van De Putte, Frederik
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (01) : 109 - 119
  • [5] The dynamics of relevance: adaptive belief revision
    Van de Putte, Frederik
    Verdee, Peter
    SYNTHESE, 2012, 187 : 1 - 42
  • [6] Theory-relational belief revision
    Theofanis Aravanis
    Pavlos Peppas
    Annals of Mathematics and Artificial Intelligence, 2022, 90 : 573 - 594
  • [7] Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision
    Aravanis, Theofanis
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
  • [8] Accommodative Belief Revision
    Eloranta, Satu
    Hakli, Raul
    Niinivaara, Olli
    Nykanen, Matti
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 180 - +
  • [9] General Belief Revision
    Delgrande, James P.
    Peppas, Pavlos
    Woltran, Stefan
    JOURNAL OF THE ACM, 2018, 65 (05)
  • [10] Iterated Belief Revision and Dalal's Operator
    Aravanis, Theofanis I.
    Peppas, Pavlos
    Williams, Mary-Anne
    10TH HELLENIC CONFERENCE ON ARTIFICIAL INTELLIGENCE (SETN 2018), 2018,