Construcción de funciones Semi-Contraction

Abstract

La teoría de cambio de creencias irrumpe en la lógica filosófica y la inteligencia artificial en la última década. El paso inicial fue provisto por Levi [Lev80] y Alchourrón, Gardenfors y Makinson en [AGM85] (comúnmente llamado el modelo AGM). Posteriormente, Levi propone un modelo de creencias que difiere en importantes aspectos del modelo AGM [Lev91]. En [H095], Hansson y Olsson muestran una comparación entre ambos modelos, y crean una caracterización axiomática de las funciones Levi-contraction. En dicho artículo muestran que toda contracción AGM es una Levi-contractions y ambas posturas están confrontadas por el polémico postulado de Recovery. A medio camino entre ambas, en [Fer95] Fermé define las funciones semi-contraction, donde si bien no se satisface el postulado de Recovery, se preserva la idea de mínima pérdida. En este artículo proveeremos un método para construir funciones semi-contraction (basado en las construcciones ''meet'' de AGM y los conjuntos saturables de Levi) y su caracterización axiomática.