Generating Commonsense Explanations with Answer Set Programming

Resumo

Nesta tese, exploramos a noción de “commonsense explanation” no contexto da Intelixencia Artifcial mediante a extensión do formalismo Answer Set Programming (ASP) con anotacións formais. Con este obxectivo, defnimos o concepto de “support graphs” para obter múltiples explicacións de cada modelo dun programa lóxico, e proporcionamos diferentes operacións para fltrar a información irrelevante de destes grafos. Ditas defnicións son implementadas por unha ferramenta chamada xclingo que adicionalmente permite a especifcación de explicacións “commonsense” en linguaxe natural. xclingo obtén Os “support graphs” empregando un meta-programa ASP, cuxa corrección é demostrada. Estudamos os diferentes exemplos no contexto de ASP tales como planifcación, resolución de problemas ou diagnóstico, entre outros, e analizamos o efecto de diferentes anotacións para o mesmo escenario, ilustrando a necesidade de deseñar as explicacións. Adicionalmente, abordamos a xeración de explicacións non técnicas de modelos de Aprendizaxe Automático con usuarios reais en dous problemas de outras disciplinas (Medicina e Farmacia), cubrindo tanto algoritmos de aprendizaxe simbólico como subsimbólico