dc.creator | Vaucheret, Claudio A. | |
dc.creator | Simari, Guillermo Ricardo | |
dc.date | 1998-10 | |
dc.date | 1998-11 | |
dc.date | 2012-11-29T13:18:39Z | |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/24874 | |
dc.description | 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. | |
dc.description | V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) | |
dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
dc.format | application/pdf | |
dc.language | es | |
dc.relation | IV Congreso Argentina de Ciencias de la Computación | |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
dc.subject | Ciencias Informáticas | |
dc.subject | Informática | |
dc.title | Un operador general de contracción para programas lógicos | |
dc.type | Objeto de conferencia | |
dc.type | Objeto de conferencia | |