Studia Logica

, Volume 73, Issue 2, pp 183–195

Multiple Kernel Contraction

  • Eduardo Fermé
  • Karina Saez
  • Pablo Sanz
Article

DOI: 10.1023/A:1022927828817

Cite this article as:
Fermé, E., Saez, K. & Sanz, P. Studia Logica (2003) 73: 183. doi:10.1023/A:1022927828817

Abstract

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].

Logic of Theory ChangeBelief BasesKernel ContractionMultiple Contraction

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Eduardo Fermé
    • 1
  • Karina Saez
    • 2
  • Pablo Sanz
    • 1
  1. 1.Departamento de MatemàticaUniversidade da Madeira, Campus Universitário da Penteada 9000-390 FunchalMadeiraPortugal
  2. 2.Departamento de ComputaciónUniversidad de Buenos Aires, Pabellón I. Ciudad Universitaria. (1429)Buenos AiresArgentina