Name: | Description: | Size: | Format: | |
---|---|---|---|---|
182.88 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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].
Description
Keywords
Logic of theory change Belief bases Kernel contraction Multiple contraction . Faculdade de Ciências Exatas e da Engenharia
Citation
Fermé, E., Saez, K., & Sanz, P. (2003). Multiple kernel contraction. Studia Logica, 73(2), 183-195.
Publisher
Springer