Aspectos lógicos y computacionales de la Teoría de Cambio de Creencias: casi treinta años de historia.
Dr. Ricardo O. Rodríguez
|
Resumen
El objetivo de la charla es presentar formalizaciones del siguiente problema: Dado un corpus de conocimiento (una base de datos, una especificación algebraica, un conjunto de fórmulas lógicas, un conjunto de oraciones en lenguaje natural, una ontología, un grafo conceptual, etc.) que involucre una noción de consistencia/coherencia buscaremos determinar como incorporar nueva información a dicho corpus preservando la noción de consistencia/coherencia. La idea es, si lo nuevo es incompatible con lo existente tendremos que, o bien rechazar la nueva información, o bien aceptarla total o parcialmente, para lo cual habrá que "tirar" aquellos elementos del corpus original que no pueden convivir consistentemente con la nueva información. Según el área de conocimiento este trabajo tiene distintos nombres. En el dominio jurídico eso consiste en Promulgar y Derogar leyes, en Base de Datos Satisfacción de Restricciones, en Inteligencia Artificial y Lógica Mantenimiento de la Verdad, en Epistemología Desarrollo de las Teorías Científicas, etc. Cubriendo todos estos casos, caracterizaremos el problema en forma abstracta enunciando las propiedades que deberían verificar las operaciones que combinen nueva y vieja información. Acto seguido describiremos los algoritmos que satisfacen dichas propiedades. Además, durante el seminario veremos una sería de problemas sencillos que todavía permanecen abiertos y podrían dar lugar a temas de colaboración. En particular nos ocuparemos de una clase de problemas que tiene mucha relevancia práctica, conocido como Revisión en Bases, i.e. como abordar este problema en casos reales donde el conocimiento es finito y es descrito con lenguajes que tiene buen "comportamiento computacional" tales: cláusulas de Horn, Description Logics, etc. Sobre este tema se ha venido publicando mucho en los últimos congresos IJCAI, AAAI etc. Nota: La conferencia es un resumen del seminario, del mismo nombre, dictado como tutorial en la International Joint Conference in Artificial Intelligence(IJCAI2013).
Breve semblanza biográfica
Investigador en el Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. Discípulo de Carlos Alchourrón, uno de los tres fundadores de la Teoría AGM (Alchourrón, Gärdenfors & Makinson) de cambio de creencias. Investigadores en estos temas por más de veinte años, y actualmente más dedicado a temas de Lógicas Modales y su aplicación a Razonamiento con Incertidumbre, donde se encuentran sus aportes
