La Contracción como Substracción Lógica

Abstract

Una de las principales ventajas de un modelo de cambio de creencias del tipo AGMI es que dentro de la definición formal de las operaciones de cambio nos brinda .elementos para el estudio de algunos problemas lógicos y filosóficos de difícil abordaje. En esa línea de trabajo, de las tres operaciones principales expansión, contracción y revisión), la que resulta más rica de analizar es sin .duda la operación de contracción. Expandir un conjunto de creencias puede definirse mediante la operación de unión de conjuntos, y en el otro extremo, la revisión se reduce mediante la identidad de Levy a una sucesión de contracción y expansión.