Revising the AGM postulates

• Autores: Fermé, Eduardo Leopoldo
• Año de publicación: 1999
• Idioma: español castellano
• Tipo de recurso: tesis doctoral
• Colaborador/a o director/a de tesis: Hansson, Sven Ove
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

The logic of theory became a major subject in philosophical logic and artificial intelligence in the middle of the 1980's. The initial step was provided by Levi [Lev67, Lev80] and Alchourrón, Gärdenfors and Makinson in [AGM85] (the commonly called AGM model). In the AGM there are three types of change: expansion, contraction and revision. One way of defining the AGM functions is by means of postulates. Among these postulates, recovery, in contraction, and success, in revision, have provoked the greatest number of criticisms. The present dissertation analyzes both these postulates in detail (see Chapters 3 and 5) and proposes alternative models of contraction (Chapter 4) and revision (Chapter 6). In Chapters 7 and (8 we introduce the notion of Credibility-Limited operators and define contraction and revision functions in terms of it. In the Appendix we introduce a battery of alternative postulates that allows us to construct several different change functions. The background needed to read the dissertation is presented in Chapters 1and 2.
Fil: Fermé, Eduardo Leopoldo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.