Programación de lógica rebatible : Un enfoque declarativo

Los diferentes modelos de sistemas argumentativos son formalismos de representación y razonamiento no monotónicos que permiten caracterizar una de las principales habilidades d ela inteligencia humana: la argumentación. La Programación en Lógica Rebatible (De ahora en más P.L.R.) [GS99, Gar00, GS03] implementa a través de su semántica operacional un modo de argumentación rebatible. Con el objeto de aceptar una proposición, se producen y evalúan todos los argumentos a favor y en contra. Un literal es aceptado entre las creencias de un agente sólo cuando un argumento que lo soporta es aceptable de acuerdo a la interacción descripta por un análisis dialéctico entre él y los contraargumentos. Determinar el significado de un programa lógico es fundamental al considerar las creencias de un agente. Evidentemente, necesitaremos de un mecanismo que permita obtener dichas creencias: la semántica operativa. Sin embargo, la semántica analizada desde un punto de vista declarativo ayuda a distinguir entre diferentes sistemas no monotónicos y a estudiarlos como modelos de representación y razonamiento, sin recurrir al control. Motivados por estas ideas, se planificó en el marco del proyecto de investigación “Representación de Conocimiento y Razonamiento para Sistemas Multiagentes”, del Departamento de Ciencias de la Computación, Fa.E.A, U.N.C., un lineamiento cuyo objetivo es el estudio del mecanismo de razonamiento no monotóico de la P.L.R. Asimismo, hemos puesto especial interés en el análisis de los criterios de decisión entre argumentos conflicticos. Si bien existen diferentes criterios de preferencia entre argumentos contradictorios, nuestra línea se circunscribe al análisis de la especificidad generalizada [GS03] Eje: Inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI)