Acceso al documento en PDF - Biblioteca Nacional de Maestros

Extensionalidad: Si a(S b entonces K - a = K: - b.
Recovery: K C Th( (k - a) U {A}) .
¿Cómo debe ser un operador de revisión para satisfacer todos o algunos de estos postula
dos? Como vimos, el resultado de contraer una base de creencias K por una de sus creencias
s es un subconjunto de K que no implique lógicamente a s. Como muchos de los subconjuntos
de K: pueden tener dicha propiedad, debemos utilizar algún mecanismo extralógico que
permita establecer una preferencia entre ellos. Una de las ideas esenciales es considerar la
maximilidad, es decir, que el subconjunto resultante sea lo mayor posible, de modo que la
contracción sea lo mas conservadora posible.
DEFINICIÓN 2.4 (Alchourrón y Makinson)
Sea K: una base de creencias y s una sentencia. Entonces el conjunto de resíduos K I s
es el conjunto de todos los subconjuntos de K tales que no implican lógicamente a s y son
maximales (no existe creencia en K que pueda agregársele sin que ello haga que impliquen
lógicamente a s.
Cualquiera de los, miembros de K s es una base de creencias que preserva lo máximo
posible de K. ¿Con qué criterio se elige un elemento de K s? La propuesta de este trabajo
es establecer una comparación entre los distintos miembros del conjunto de residuos en función
de la importancia epistémica de cada una de las creencias que lo componen, lo cual refleja o
bien su vulnerabilidad o plausibilidad, o también su utilidad. Estos criterios serán discutidos
en la siguiente sección, para luego, en la sección 4, establecer un mecanismo de contracción
(0 revisión) de bases de creencias basado en la importancia epistémica.
3 Importancia epistémica
Cuando nuestro agente racional está obligado a abandonar una creencia, y para hacerlo debe
elegir uno entre varios conjuntos de resíduos, evidentemente elegirá aquel que mantenga las
creencias remanentes que considere más importantes. Este tipo de situaciones es muy común
en el razonamiento científico, por ejemplo, donde la evidencia experimental puede dar por
tierra con un aparato teórico bien fundamentado y establecido. Normalmente en estas situaciones
se suele preferir la teoría establecida y no el experimento que la refuta (ver [9], por
ejemplo).. Entonces, en una base de creencias, algunos elementos son considerados más importantes
que otros, por poseer un mayor atrincheramiento epistémico [5]. En este trabajo
nos referiremos a dicha propiedad simplemente como importancia epistémica.
169