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 Topology of Belief, Belief Revision and Defeasible Knowledge
    Baltag, Alexandru
    Bezhanishvili, Nick
    Ozgun, Aybuke
    Smets, Sonja
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 27 - 40
  • [42] The paradox of belief instability and a revision theory of belief
    Lee, BD
    PACIFIC PHILOSOPHICAL QUARTERLY, 1998, 79 (04): : 314 - 328
  • [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] 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
  • [45] 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
  • [46] Controlled revision - An algorithmic approach for belief revision
    Gabbay, D
    Pigozzi, G
    Woods, J
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (01) : 15 - 35
  • [47] 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
  • [48] 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
  • [49] Two Approaches to Belief Revision
    Shear, Ted
    Fitelson, Branden
    ERKENNTNIS, 2019, 84 (03) : 487 - 518
  • [50] Belief revision for AgentSpeak agents
    University of Nottingham, School of Computer Science, Nottingham, United Kingdom
    不详
    不详
    The International Foundation for Multiagent Systems; The Int. Workshop on Agent Theories, Arch., and Languages; ACM Special Interest Group on Artificial Intelligence, 1600, 1288-1290 (2006):