Filtered Belief Revision: Syntax and Semantics

被引:0
作者
Giacomo Bonanno
机构
[1] University of California,
关键词
Credible information; Allowable information; AGM belief revision; Choice function; Plausibility order;
D O I
暂无
中图分类号
学科分类号
摘要
In an earlier paper [Rational choice and AGM belief revision, Artificial Intelligence, 2009] a correspondence was established between the set-theoretic structures of revealed-preference theory (developed in economics) and the syntactic belief revision functions of the AGM theory (developed in philosophy and computer science). In this paper we extend the re-interpretation of those structures in terms of one-shot belief revision by relating them to the trichotomous attitude towards information studied in Garapa (Rev Symb Logic, 1–21, 2020) where information may be either (1) fully accepted or (2) rejected or (3) taken seriously but not fully accepted. We begin by introducing the syntactic notion of filtered belief revision and providing a characterization of it in terms of a mixture of both AGM revision and contraction. We then establish a correspondence between the proposed notion of filtered belief revision and the above-mentioned set-theoretic structures, interpreted as semantic partial belief revision structures. We also provide an interpretation of the trichotomous attitude towards information in terms of the degree of implausibility of the information.
引用
收藏
页码:645 / 675
页数:30
相关论文
共 46 条
[1]  
Alchourrón C(1985)On the logic of theory change: Partial meet contraction and revision functions The Journal of Symbolic Logic 50 510-530
[2]  
Gärdenfors P(2009)Rational choice and AGM belief revision Artificial Intelligence 173 1194-1203
[3]  
Makinson D(2018)Trust as a precursor to belief revision Journal of Artificial Intelligence Research 61 699-722
[4]  
Bonanno G(1997)On the logic of iterated belief revision Artificial Intelligence 89 1-29
[5]  
Booth R(2018)General belief revision Journal of the ACM 65 1-42
[6]  
Hunter A(1998)On the logic of theory change: Contraction without recovery Journal of Logic, Language and Information 7 127-137
[7]  
Darwiche A(1999)Selective revision Studia Logica 63 331-342
[8]  
Pearl J(2011)AGM 25 years Journal of Philosophical Logic 40 295-331
[9]  
Delgrande J(2003)Credibility-limited functions for belief bases Journal of Logic and Computation 13 99-110
[10]  
Peppas P(1998)Semi-contraction: Axioms and construction Notre Dame Journal of Formal Logic 39 332-345