Acceso al documento en PDF - Biblioteca Nacional de Maestros

4 Cambio de teorías basado en plausibilidad
Los operadores de contracción basados en importancia epistémica que se han propuesto en
la literatura están definidos para conjuntos (clausurados) de creencias, y no para bases de
creencias, y se estima que es muy difícil adaptar la definición de los operadores para conjuntos
a bases de creencias. Sin embargo, nuestra definición de un operador de contracción basado
en plausiblidad será sencilla. Primero necesitamos.,establecer un mecanismo de comparación
de subconjuntos de una base de creencias, K a partir de la plausibilidad de cada una de las
creencias. Luego, dado que un operador de contracción elige un elemento del conjunto de
resíduos (los cuales son subconjuntos de K), entonces será posible comparar el más plausible
de los elementos de dicho conjunto de resíduos.
DEFINICION 4.1 Dada una base de creencias’ k, parcialmente ordenada por una relación de
plausibilidad