Objeto de conferencia
Un operador general de contracción para programas lógicos
Registro en:
Autor
Vaucheret, Claudio A.
Simari, Guillermo Ricardo
Institución
Resumen
En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Red de Universidades con Carreras en Informática (RedUNCI)