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 条
  • [41] The paradox of belief instability and a revision theory of belief
    Lee, BD
    PACIFIC PHILOSOPHICAL QUARTERLY, 1998, 79 (04): : 314 - 328
  • [42] Belief revision in a deductively open belief space
    Johnson, FL
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 1106 - 1106
  • [43] Initial belief state as a predictor of belief revision
    Dieussaert, K
    Schaeken, W
    De Neys, W
    d'Ydewalle, G
    CAHIERS DE PSYCHOLOGIE COGNITIVE-CURRENT PSYCHOLOGY OF COGNITION, 2000, 19 (03): : 277 - 288A
  • [44] Ontology revision using the concept of belief revision
    Kang, SH
    Lau, SK
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 261 - 267
  • [45] Controlled revision - An algorithmic approach for belief revision
    Gabbay, D
    Pigozzi, G
    Woods, J
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (01) : 15 - 35
  • [46] Ontology revision using the concept of belief revision
    Kang, SH
    Lau, SK
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2004, 3215 : 8 - 15
  • [47] An inconsistency tolerant model for belief representation and belief revision
    Chopra, S
    Parikh, R
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 192 - 197
  • [48] Two Approaches to Belief Revision
    Shear, Ted
    Fitelson, Branden
    ERKENNTNIS, 2019, 84 (03) : 487 - 518
  • [49] Automating belief revision for AgentSpeak
    Alechina, Natasha
    Bordini, Rafael H.
    Hubner, Jomi F.
    Jago, Mark
    Logan, Brian
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 61 - +
  • [50] SEMANTIC ACCOUNTS OF BELIEF REVISION
    JACKSON, P
    PAIS, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 515 : 155 - 177