Análisis epistémico del sistema distribuido Listener-Teller: una instancia de omnisciencia lógica en inteligencia artificial y una aplicación de la lógica de justificaciones
Tesis de maestría en Filosofía de la Ciencia que analiza propiedades epistémicas en agentes de IA dentro del sistema distribuido Listener-Teller. Identifica el problema de la omnisciencia lógica al modelar conocimiento y creencia con lógicas modales estándar (S5, KD45), así como propone la lógica de justificaciones como marco alterno para representar agentes no omniscientes con evidencia explícita.