Journal of Logic and Computation Advance Access published online on February 15, 2008
Journal of Logic and Computation, doi:10.1093/logcom/exm093
Original papers |
An Axiomatic Characterization of Ensconcement-Based Contraction
Departamento de Matemática e Engenharias - Universidade da Madeira Campus Universitário da Penteada, 9000-390 Funchal Portugal.
E-mail: ferme{at}uma.pt
Gestion-Digital, Buenos Aires, Argentina.
E-mail: mkrev{at}gestion-digital.com.ar
Departamento de Matemática e Engenharias - Universidade da Madeira Campus Universitário da Penteada, 9000-390 Funchal Portugal.
E-mail: m_reis{at}uma.pt
Received 1 December 2007.
| Abstract |
|---|
In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed by Williams. We relate this function with other kinds of base contraction functions.
Keywords: Logic of Theory Change; Belief Bases; Base Contraction; Ensconcement