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 条
[11]   System of Spheres-based Multiple Contractions [J].
Ferme, Eduardo ;
Reis, Mauricio D. L. .
JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (01) :29-52
[12]  
Fermé E, 2011, J PHILOS LOGIC, V40, P295, DOI 10.1007/s10992-011-9171-9
[13]  
FUHRMANN A, 1991, J PHILOS LOGIC, V20, P175
[14]  
Fuhrmann A., 1994, Journal of Logic, Language and Information, V3, P39, DOI 10.1007/BF01066356
[15]  
Gardenfors P., 1988, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, P83
[16]  
Gardenfors P., 1988, Knowledge in Flux
[17]  
Hansson A., 1999, ERKENNTNIS, V50, P413, DOI DOI 10.1023/A:1005534223776
[18]  
Hansson S. O., 1997, J APPL NONCLASSICAL, V7, P151
[19]   Credibility limited revision [J].
Hansson, SO ;
Fermé, EL ;
Cantwell, J ;
Falappa, MA .
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) :1581-1596
[20]   KERNEL CONTRACTION [J].
HANSSON, SO .
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (03) :845-859