Una operación de consolidación basada en plausibilidad

Abstract

La operación de semi-revisión de una base de creencias B por una sentencia a, denotada B?a, constituye una forma de cambio de creencias que no asigna ningún valor o prioridad especial a la nueva información a. De esta manera, se diferencia claramente de la operación de revisión de creencias del modelo AGM (Alchourrón, Gárdenfors y Makinson) que siempre incorpora la nueva información que es propuesta, asignándole de este modo un valor epistémico mayor con respecto a las creencias ya existentes. La semi-revisión de bases de creencias puede ser modelada como un procedimiento que consiste en incorporar la nueva información a y luego, en caso que a contradiga creencias previas, hacer consistente la nueva base de creencias resultante, ya sea eliminando a o alguna de las creencias originales. Esta última operación, denominada consolidation, puede implementarse mediante la selección de subconjuntos maximales consistentes (parcial meet consolidation) o mediante la selección de subconjuntos minimales inconsistentes (kernel consolidation). En este trabajo, el primero de una serie de dos, se propone una relación de preferencia basada en plausibilidad para la selección de subconjuntos maximales consistentes. Esto nos conduce de manera intuitiva a la definición de una operación de consolidación para la semi-revisión de bases de creencias.