Diseño de la lógica subyacente para un sistema de diálogo que gestione información incompleta

Abstract

En un Sistema de Diálogo es más complejo programar los módulos de comprensión semántica que los de generación. Esto se debe a que los agentes humanos no siempre actuamos de forma racional en la interacción comunicativa, no obtenemos todas las inferencias posibles de nuestro conocimiento actual ni ofrecemos al sistema todos los datos relevantes de forma explícita. A partir de la interacción comunicativa con un agente humano, el sistema debe realizar una serie de inferencias para completar la información dada y gestionar las intenciones comunicativas del interlocutor. La lógica subyacente necesaria debe ser una lógica modal que contemple distintos operadores modales, incluyendo una lógica epistémica dinámica y reglas abductivas que permitan contextualizar adecuadamente la información dada.