On uniform belief revision

被引:7
作者
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
相关论文
共 33 条
[1]  
Alchourron C., 1985, Studia Logica, V44, P405, DOI [10.1007/BF00370430, DOI 10.1007/BF00370430]
[2]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[3]  
[Anonymous], 1995, P 14 INT JOINT C ART
[4]  
[Anonymous], 1988, P INT C 5 GEN COMP S
[5]  
[Anonymous], 1988, P 7 NATL C AM ASS AR
[6]  
[Anonymous], 1986, P 1 C EXPERT DATABAS
[7]  
Aravanis T. I., 2019, THESIS
[8]   An investigation of parametrized difference revision operators [J].
Aravanis, Theofanis ;
Peppas, Pavlos ;
Williams, Mary-Anne .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (1-2) :7-28
[9]   Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision [J].
Aravanis, Theofanis, I ;
Peppas, Pavlos ;
Williams, Mary-Anne .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019, 66 :765-792
[10]  
Areces Carlos., 2001, Frontiers in Belief Revision, Applied Logic Series, P261