Construcción de funciones Semi-Contraction
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...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1996
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24242 |
| Aporte de: |
| Sumario: | 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. |
|---|