Contribución al Estudio de la Fusión de la Información
(Resumen)
En este trabajo investigamos sobre la dinámica del conocimiento en el marco de los trabajos de Alchourrón, Gardenförs y Makinson (AGM). All´ı se usa se usa la l´ogica proposicional para codificar los sistemas y las informaciones; los sistemas o bases de creencias son teorías y las nuevas informaciones son fórmulas proposicionales.
Estudiamos los operadores de cambio de creencias, que son funciones que permiten el cambio de los sistemas de creencias, mostramos los postulados que los determinan y damos representaciones que permiten la construcción de operadores usando preordenes totales con ciertas propiedades.
Generalizamos dichos cambios en el marco de la teoría de conjuntos; los sistemas de creencia y las informaciones que los modifican serán conjuntos y establecemos las reglas que cumplen los operadores de cambio; asimismo damos teoremas de representación para los operadores definidos.
Luego, estudiamos una extensión del problema de la revisión (uno de los operadores de cambio de creencias) cuando hay múltiples sistemas involucrados siguiendo los trabajos de Konieczny y Pino, estos son los operadores de fusión; damos los postulados que deben cumplir y un teorema de representación. Más adelante, estudiamos los operadores de fusión al caso infinito, el cual es uno de los de los puntos centrales de este trabajo.
Definimos funciones de fusión y contracción social, establecemos relaciones entre ellas y generalizamos resultados que existen entre los operadores de revisión y contracción en el marco (AGM). En particular mostramos una dualidad entre ellas mediante ecuaciones que son reminiscencias de las identidades de Levi y Harper.
Por último, fundamentándonos en los trabajos de Bezzazi et ál., definimos operadores de fusión sintácticos. Estudiamos sus propiedades de racionalidad, en particular, propiedades propuestas por Liberatore-Schaerf para el caso en que se consideren la fusión de dos bases de conocimiento.
Autor: Ing. José Luis Chacón.
