Rational metabolic revision based on core beliefs

被引:2
作者
Yuan, Yongfeng [1 ]
机构
[1] Nanjing Univ, Dept Philosophy, 163 Xianlin Ave, Nanjing 210023, Jiangsu, Peoples R China
基金
中国博士后科学基金;
关键词
Metabolic revision; Core beliefs; Non-prioritized multiple revision; Expansion plus consolidation schema; Belief revision; CONTRACTION;
D O I
10.1007/s11229-016-1042-z
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
When an agent can not recognize, immediately, the implausible part of new information received, she will usually first expand her belief state by the new information, and then she may encounter some belief conflicts, and find the implausible information based on her criteria to consolidate her belief state. This process indicates a new kind of non-prioritized multiple revision, called metabolic revision. I give some axiomatic postulates for metabolic revision and propose two functional constructions for it, namely kernel metabolic revision and partial meet metabolic revision, with respect to which the representation theorems are proved. I also compare metabolic revision with some related works in the literature, including semi-revision, merging with integrity constraints, evaluation, and evaluative multiple revision.
引用
收藏
页码:2121 / 2146
页数:26
相关论文
共 19 条
[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]  
[Anonymous], 1985, Studia Logica, DOI [10.1007/BF00370430, DOI 10.1007/BF00370430]
[3]  
Caldwell B.J., 1991, Economics, Culture, and Education: Essays in Honour of Mark Blaug, P95
[4]   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
[5]  
Fuhrmann A., 1994, Journal of Logic, Language and Information, V3, P39, DOI 10.1007/BF01066356
[6]  
Fuhrmann A., 1997, ESSAY CONTRACTION ST
[7]  
Gardenfors P., 1988, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, P83
[8]  
GROVE A, 1988, J PHILOS LOGIC, V17, P157
[9]  
Hansson S. O., 1999, Erkenntnis, V50, P413, DOI [10.1023/A:1005534223776, DOI 10.1023/A:1005534223776]
[10]  
Hansson S. O., 1997, J APPL NONCLASSICAL, V7, P151, DOI DOI 10.1080/11663081.1997.10510904