Filtered Belief Revision: Syntax and Semantics

被引:3
作者
Bonanno, Giacomo [1 ]
机构
[1] Univ Calif Davis, Davis, CA 95616 USA
关键词
Credible information; Allowable information; AGM belief revision; Choice function; Plausibility order; LOGIC; CONTRACTION;
D O I
10.1007/s10849-022-09374-x
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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
页数:31
相关论文
共 45 条
[1]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[2]   Rational choice and AGM belief revision [J].
Bonanno, Giacomo .
ARTIFICIAL INTELLIGENCE, 2009, 173 (12-13) :1194-1203
[3]  
Bonanno Giacomo, 2019, EPTCS, V297, P82
[4]   Trust as a Precursor to Belief Revision [J].
Booth, Richard ;
Hunter, Aaron .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 61 :699-722
[5]   Credibility-Limited Improvement Operators [J].
Booth, Richard ;
Ferme, Eduardo ;
Konieczny, Sebastien ;
Perez, Ramon Pino .
21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 :123-+
[6]  
Booth Richard., 2012, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), P116
[7]  
Boutilier C, 1998, FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, P127
[8]   On the logic of iterated belief revision [J].
Darwiche, A ;
Pearl, J .
ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) :1-29
[9]   General Belief Revision [J].
Delgrande, James P. ;
Peppas, Pavlos ;
Woltran, Stefan .
JOURNAL OF THE ACM, 2018, 65 (05)
[10]   Revision by comparison [J].
Fermé, E ;
Rott, H .
ARTIFICIAL INTELLIGENCE, 2004, 157 (1-2) :5-47