Multiple Kernel Contraction

被引:23
作者
Eduardo Fermé
Karina Saez
Pablo Sanz
机构
[1] Universidade da Madeira,Departamento de Matemàtica
[2] Campus Universitário da Penteada 9000-390 Funchal,Departamento de Computación
[3] Universidad de Buenos Aires,undefined
[4] Pabellón I. Ciudad Universitaria. (1429),undefined
关键词
Logic of Theory Change; Belief Bases; Kernel Contraction; Multiple Contraction;
D O I
10.1023/A:1022927828817
中图分类号
学科分类号
摘要
This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369].
引用
收藏
页码:183 / 195
页数:12
相关论文
共 9 条
[1]  
AlchourrÓn C.(1985)On the logic of theory change: Partial meet functions for contraction and revision Journal of Symbolic Logic 50 510-530
[2]  
GÄrdenfors P.(1985)On the logic of theory change: Safe contraction Studia Logica 44 405-422
[3]  
Makinson D.(1994)A survey of multiple contraction Journal of Logic, Language and Information 3 39-74
[4]  
AlchourrÓn C.(1992)In defense of base contraction Synthese 91 239-245
[5]  
Makinson D.(1994)Kernel contraction Journal of Symbolic Logic 59 845-859
[6]  
Fuhrmann A.(undefined)undefined undefined undefined undefined-undefined
[7]  
Hansson S. O.(undefined)undefined undefined undefined undefined-undefined
[8]  
Hansson S. O.(undefined)undefined undefined undefined undefined-undefined
[9]  
Hansson S. O.(undefined)undefined undefined undefined undefined-undefined