Sobre la relación entre la semántica GS y el razonamiento rebatible

Abstract

En los últimos años, las teorías de juegos y de diálogos para la argumentación han recibido gran interés en varios campos de la Inteligencia Artificial, por sus aplicaciones en los sistemas multiagentes y en los sistemas legales, entre otras. Una herramienta de representación de conocimiento cuyo sistema de razonamiento está basado en la argumentación es la Programación en Lógica Rebatible Básica. Si bien, la escuela de la argumentación rebatible ha desestimado tradicionalmente los enfoques semánticos declarativos, en los últimos a~nos, la semántica operacional ha sido estudiada desde un punto de vista declarativo, con el objeto de determinar el significado preciso de un programa lógico sin recurrir al control. El propósito de este trabajo es presentar la semántica declarativa desarrollada GS para el sistema de razonamiento no monótono de la Programación en Lógica Rebatible, junto con los resultados de sensatez y completitud. Dicha semántica vincula dos teorías con fundamentos matemáticos rigurosos: la teoría de juegos y la teoría de modelos. GS refleja las relaciones sintácticas entre los argumentos de un modo natural, por la similitud existente entre un árbol dialéctico y un juego de dos participantes.