Título: Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento
Directora: M. Vanina Martinez
Director adjunto: Ricardo O. Rodriguez
Consejero de estudios: Daniel Acevedo

Jurados:
Dr. Eduardo Barrio UBA & CONICET, Buenos Aires, Argentina
Dr. Ramón Pino Perez, Université Artois, Lens, Francia
Dra. Renata Wassermann, USP, São Paulo, Brasil

Link Youtube: https://youtube.com/live/k1Omx6jME9s

Resumen:

Desde la década de 1980, el modelo AGM de operadores revision y contraction en la teoría del cambio de creencias ha sido adoptado en inteligencia artificial para enfrentar el problema de actualizar bases de conocimiento con información potencialmente inconsistente. Este modelo ofrece tanto un enfoque formal, como también una perspectiva computacional realista y una claridad semántica. Con el tiempo, el modelo AGM se ha generalizado para aplicarse en diversos contextos, desarrollando operadores priorizados para entornos dinámicos, como update y erase; operadores de cambios múltiples priorizados, como package y choice; operadores no priorizados, como credibility-limited revision, shielded contraction o filtered revision; e incluso variantes aplicables a lógicas no clásicas.

En esta tesis, proponemos un enfoque homogéneo para analizar esta diversidad bajo un mismo marco teórico. Presentaremos una semántica basada en mundos posibles, desvinculada de cualquier lógica subyacente, donde las creencias se representan únicamente como un conjunto de mundos, sin depender de una sintaxis específica. A continuación, adaptaremos varios de los modelos conocidos a este marco, y propondremos una familia de operadores no priorizados que engloba las propuestas anteriores. Finalmente, demostraremos que nuestro marco teórico efectivamente homogeneiza y generaliza las propuestas clásicas, finitas y múltiples que se conocen para la lógica proposicional clásica.