Back to Basics: Belief Revision Through Direct Selection

被引:2
作者
Hansson, Sven Ove [1 ]
机构
[1] Royal Inst Technol KTH, Stockholm, Sweden
关键词
Belief change; Select-and-intersect; Recovery; Expansion property; Finiteness; Ramsey test; Direct selection; Simplicity; Choice function; Selection function; Support function; General input assimilation; Descriptor revision; THEORY CONTRACTION; RAMSEY TEST; LOGIC; RECOVERY;
D O I
10.1007/s11225-018-9807-7
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Traditionally, belief change is modelled as the construction of a belief set that satisfies a success condition. The success condition is usually that a specified sentence should be believed (revision) or not believed (contraction). Furthermore, most models of belief change employ a select-and-intersect strategy. This means that a selection is made among primary objects that satisfy the success condition, and the intersection of the selected objects is taken as outcome of the operation. However, the select-and-intersect method is difficult to justify, in particular since the primary objects (usually possible worlds or remainders) are not themselves plausible outcome candidates. Some of the most controversial features of belief change theory, such as recovery and the impossibility of Ramsey test conditionals, are closely connected with the select-and-intersect method. It is proposed that a selection mechanism should instead operate directly on the potential outcomes, and select only one of them. In this way many of the problems that are associated with the select-and-intersect method can be avoided. This model is simpler than previous models in the important Ockhamist sense of doing away with intermediate, cognitively inaccessible objects. However, the role of simplicity as a choice criterion in the direct selection among potential outcomes is left as an open issue.
引用
收藏
页码:887 / 915
页数:29
相关论文
共 50 条
[41]   The dynamics of relevance: adaptive belief revision [J].
Van de Putte, Frederik ;
Verdee, Peter .
SYNTHESE, 2012, 187 :1-42
[42]   Toward credible belief base revision [J].
Ktari, Raida ;
Boujelben, Mohamed Ayman ;
Wurbel, Eric .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 162
[43]   Filtered Belief Revision: Syntax and Semantics [J].
Giacomo Bonanno .
Journal of Logic, Language and Information, 2022, 31 (4) :645-675
[44]   Paraconsistent Belief Revision: An Algebraic Investigation [J].
Carrara, Massimiliano ;
Fazio, Davide ;
Pra Baldi, Michele .
ERKENNTNIS, 2024, 89 (02) :725-753
[45]   A framework for belief revision under restrictions [J].
Long, Zhiguo ;
Meng, Hua ;
Li, Tianrui ;
Li, Heng-Chao ;
Sioutis, Michael .
KNOWLEDGE ENGINEERING REVIEW, 2022, 37 (02)
[46]   Representing states in iterated belief revision [J].
Liberatore, Paolo .
ARTIFICIAL INTELLIGENCE, 2024, 336
[47]   Belief revision and organisational knowledge dynamics [J].
Tselekidis, G ;
Peppas, P ;
Williams, MA .
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 2003, 54 (09) :914-923
[48]   Theory-relational belief revision [J].
Theofanis Aravanis ;
Pavlos Peppas .
Annals of Mathematics and Artificial Intelligence, 2022, 90 :573-594
[49]   Truth-Tracking by Belief Revision [J].
Baltag, Alexandru ;
Gierasimczuk, Nina ;
Smets, Sonja .
STUDIA LOGICA, 2019, 107 (05) :917-947
[50]   Partitioned Linear Orders and Belief Revision [J].
Gaigne, Jerome ;
Belahcene, Khaled ;
Lagrue, Sylvain .
2024 IEEE 36TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, ICTAI, 2024, :49-56