[PDF] Top 20 Un compilador para la programación en lógica rebatible

... >@ *DUFurD $ - \ 6LPDUL * 5 8QD H[WHQVLuRQ GH OD PuDTXLQD DEVWUDFWD GH :DUUHQ SDUD OD DUJX PHQWDFLuRQ UHEDWLEOH &XDUWR :RUNVKRS $UJHQWLQR VREUH $VSHFWRV 7HuRULFRV GH OD ,QWHOLJHQF[r] ... See full document

... La Programación en Lógica Rebatible [GS99, GSC98, Gar00] (de ahora en más P.L.R.) es una extensión de la Programación en Lógica (P.L.) con una nueva clase de reglas, las reglas ... See full document

... En el art´ıculo On Influence and Contrac- tions in Defeasible Logic Programming [15], se desarrollan diferentes nociones de contracci´on basadas en la Programaci´on L´ogica Rebatible. En particular, estas nociones ... See full document

... Dando continuidad al desarrollo de la sem´antica GS, se ha planteado estudiar la Complejidad Computacional y Descriptiva de la Programaci´on en L´ogica Rebatible a trav´es de la sem´antica declarati- va definida. ... See full document

... L´ogica Rebatible (DeLP) para permitir la representaci´on de disyunciones en la cabe- za de las reglas y, luego, redefinir acordemente las no- ciones de construcci´on de argumentos, ataque, derro- ta, garant´ıa y ... See full document

... La propuesta presentada en este trabajo tiene una aplicación directa en el contexto de las conver- saciones, ya que cada agente podría mantener su base de creencias, que será actualizada[r] ... See full document

... lógica, y que permite trabajar con información incompleta, y la negación clásica (...,) que.. resulta imprescindible para representar conocimiento y trabajar con información [r] ... See full document

... l´ogico rebatible b´asico y fue desarrollada estableciendo una analog´ıa con la teor´ıa definida por Lifschitz en [Lif96] para la Programaci´on en L´ogica ... See full document

... permiten representar información tentativa, las reglas rebatibles. De este modo, un programa lógicll rebatible consiste de un conjunto de dos clases de reglas: reglas e[r] ... See full document

... Por otra parte, la definici´on de una sem´antica declarativa ayuda en el estudio de la Programaci´on en L´ogica Rebatible (P.L.R.) como sistema de razonamiento no mon´otono. Un conjunto de propiedades [BDK97], han ... See full document

... El objet.ivo de este trabajo es definir el criterio de especificidad para los PLR, de tal manera que pueda comparar correct.ament.e argumentos que contengan presuposicio[r] ... See full document

... La semántica de un PLR quedará caracterizada entonces por cuatro conjuntos de repuestas: el conjunto de respuestas positivas, formadas por los literales positivos que pue[r] ... See full document

... En el marco del Proyecto de Investigaci´on “T´ecnicas de Inteligencia Computacional para el dise˜no e implementaci´on de Sistemas Multiagentes”, de la Universidad Nacional del Comahue, se ha abierto una l´ınea de ... See full document

... (Q HO PDUFR GHO SUR\HFWR GH LQYHVWLJDFL˜ RQ ?5HSUHVHQWDFL˜RQ GH &RQRFLPLHQWR \ 5D]RQD PLHQWR SDUD 6LVWHPDV 0XOWLDJHQWHV VH HVW˜D HVWXGLDQGR XQ HQIRTXH GHFODUDWLYR GH OD VHP˜DQWLFD RS[r] ... See full document

... La argumentaci´on es una forma b´asica muy com´ un de comunicaci´on entre humanos que puede darse a trav´es de una discusi´on cort´es y constructiva o de una querella vil. Un agente puede argumentar a favor de un hecho ... See full document

... En el marco del Proyecto de Investigaci´on “T´ecnicas de Inteligencia Computacional para el dise˜no e implementaci´on de Sistemas Multiagentes”, de la Universidad Nacional del Comahue, se ha abierto una l´ınea de ... See full document

... • Traduciendo previamente todo el código fuente a código máquina obteniéndose un código denominado código ejecutable o programa ejecutable. Este programa ejecutable puede cargarse a la memoria y ejecutarse sin requerir ... See full document

... Con respecto a la regla 4, se puede observar que dicha regla sirve como argumento para el literal vuela(turu) que va en contra de la observaci´ on ∼vuela(turu) . Siguiendo la misma idea se podr´ıa refinar esta regla ... See full document

... Cada guía de trabajos prácticos contiene problemas de complejidad creciente, incluyendo algunos “problemas abiertos”, es decir, con solución desconocida o con varias respuestas adecuadas, cada una para cierto conjunto de ... See full document

... Debido a que las fórmulas representan el conocumento declarativo sobre estructuras, para la definición de la semántica de los lenguajes de primer orden se necesita un conjunto M, llamado[r] ... See full document