Evaluative multiple revision based on core beliefs

被引:6
作者
Yuan, Yongfeng [1 ]
Ju, Shier [1 ]
Wen, Xuefeng [1 ]
机构
[1] Sun Yat Sen Univ, Dept Philosophy, Inst Log & Cognit, Guangzhou 510275, Guangdong, Peoples R China
关键词
Belief revision; evaluative multiple revision; non-prioritized multiple revision; core beliefs; CONTRACTION; LOGIC;
D O I
10.1093/logcom/exu050
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce a new belief revision operator called evaluative multiple revision. Belief states in the revision are belief bases with core beliefs. New information that triggers the revision is evaluated beliefs, some of which are evaluated by the core beliefs as plausible and the others implausible. We characterize this operator by axiomatic postulates in the AGM (named after the three authors, i.e. C.E. Alchourron, P. Gardenfors, and D. Makinson, in literature of belief revision) style. Two functional constructions are given for the operator based on evaluative kernel sets and evaluative remainder sets, respectively, with representation theorems proved. We also compare some related works with ours and show the generality of the operator.
引用
收藏
页码:781 / 804
页数:24
相关论文
共 32 条
[1]  
Alchourron Carlos, 1981, NEW STUDIES DEONTIC, P125
[2]   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
[3]  
[Anonymous], 1988, J PHILOS LOGIC, V17, P157
[4]  
[Anonymous], 1985, Studia Logica, DOI [DOI 10.1007/BF00370430, 10.1007/BF00370430]
[5]  
[Anonymous], 1999, A Textbook of Belief Dynamics: Theory Change and Database Updating
[6]   On the logic of iterated belief revision [J].
Darwiche, A ;
Pearl, J .
ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) :1-29
[7]   Prioritized and Non-prioritized Multiple Change on Belief Bases [J].
Falappa, Marcelo A. ;
Kern-Isberner, Gabriele ;
Reis, Mauricio D. L. ;
Simari, Guillermo R. .
JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (01) :77-113
[8]   Multiple Kernel Contraction [J].
Eduardo Fermé ;
Karina Saez ;
Pablo Sanz .
Studia Logica, 2003, 73 (2) :183-195
[9]  
Ferme E., 1999, FRONTIERS BELIEF REV, P85
[10]   Selective revision [J].
Fermé E.L. ;
Ove Sven H. .
Studia Logica, 1999, 63 (3) :331-342