Representing states in iterated belief revision

被引:0
|
作者
Liberatore, Paolo [1 ]
机构
[1] Sapienza Univ Rome, DIAG, Rome, Italy
关键词
MINIMIZATION; LOGIC;
D O I
10.1016/j.artint.2024.104200
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Iterated belief revision requires information about the current beliefs. This information is represented by mathematical structures called doxastic states. Most literature concentrates on how to revise a doxastic state and neglects that it may exponentially grow. This problem is studied for the most common ways of storing a doxastic state. All four of them are able to store every doxastic state, but some do it in less space than others. In particular, the explicit representation (an enumeration of the current beliefs) is the more wasteful on space. The level representation (a sequence of propositional formulae) and the natural representation (a history of natural revisions) are more succinct than it. The lexicographic representation (a history of lexicographic revision) is even more succinct than them.
引用
收藏
页数:18
相关论文
共 50 条
  • [31] Iterated Belief Change: A Transition System Approach
    Hunter, Aaron
    Delgrande, James P.
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 460 - 465
  • [32] Two Approaches to Belief Revision
    Shear, Ted
    Fitelson, Branden
    ERKENNTNIS, 2019, 84 (03) : 487 - 518
  • [33] Belief Revision with Bounded Treewidth
    Pichler, Reinhard
    Ruemmele, Stefan
    Woltran, Stefan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 250 - 263
  • [34] Simple Hyperintensional Belief Revision
    Berto, F.
    ERKENNTNIS, 2019, 84 (03) : 559 - 575
  • [35] DYNAMIC HYPERINTENSIONAL BELIEF REVISION
    Ozgun, Aybuke
    Berto, Francesco
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (03): : 766 - 811
  • [36] An approximate approach to belief revision
    Luan, Shangmin
    Dai, Guozhong
    Magnani, Lorenzo
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (02) : 486 - 496
  • [37] Elementary Belief Revision Operators
    Chandler, Jake
    Booth, Richard
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (01) : 267 - 311
  • [38] Belief Revision from Probability
    Goodman, Jeremy
    Salow, Bernhard
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 308 - 317
  • [39] Rational evaluation in belief revision
    Yuan, Yongfeng
    Ju, Shier
    SYNTHESE, 2015, 192 (07) : 2311 - 2336
  • [40] Belief revision in Horn theories
    Delgrande, James P.
    Peppas, Pavlos
    ARTIFICIAL INTELLIGENCE, 2015, 218 : 1 - 22