Multiple Kernel Contraction
2003 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 73, no 2, 183-195 p.Article in journal (Refereed) Published
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].
Place, publisher, year, edition, pages
2003. Vol. 73, no 2, 183-195 p.
Logic of Theory Change, Belief Bases, Kernel Contraction, Multiple Contraction
IdentifiersURN: urn:nbn:se:kth:diva-29599DOI: 10.1023/A:1022927828817OAI: oai:DiVA.org:kth-29599DiVA: diva2:396657
QC 201102102011-02-102011-02-102011-02-11Bibliographically approved