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].
Unable to display preview. Download preview PDF.
- [Fuh88]Fuhrmann, A. Relevant Logics, Modal Logics and Theory Change, PhD thesis, Australian National University, Camberra, 1988.Google Scholar
- [GM88]GÄrdenfors, P. and D. Makinson, ‘Revisions of knowledge systems using epistemic entrenchment’, in M. Y. Vardi (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 83–95, Morgan Kaufmann, Los Altos, 1988.Google Scholar
- [Han99]Hansson, S. O., ‘A survey of non-prioritized belief revision’, Erkenntnis, 1999.Google Scholar