[PDF] Top 20 Semántica declarativa trivaluada para la programación en lógica rebatible

... Aunque esta sem´antica modela el an´alisis dial´ectico a trav´es de un juego, la noci´on de argumento qued´o indefinida. En otras palabras, se asume que el conjunto de argumentos para un literal es dado por alg´ un ... See full document

... la programación lógica rebatible Desde las primeras consideraciones de los actos del habla en el procesamiento del lenguaje natural [5], se observa la conveniencia de considerar a estos actos como ... 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

... El razonamiento no monotónico basado en el análisis dialéctico constituye la semántica operacional de la P.L.R.. Para verificar si una consulta es consecuencia de un programa lógico rebatible, este ... See full document

... sem´antica trivaluada GS basada en juegos que se ha desarrollado, provee un marco declarativo para el estudio de la ...herramienta declarativa m´as ... See full document

... sem´antica trivaluada GS basada en juegos que se ha desarrollado, provee un marco declarativo para el estudio de la ...herramienta declarativa m´as ... See full document

... En este sentido, no solo deseamos que un agente inteligente se comporte de la forma esperada, sino que tenemos la expectativa, de que la performance del razonamiento automatizado a trav´es de la inclusi´on de principios ... See full document

... Resumen 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 ... See full document

... >@ *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 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

... Buenos Aires 1400 Av. Alem 1253 (8300)Neuqu´en - Argentina (8000) Bah´ıa Blanca - Argentina Resumen En el marco del Proyecto de Investigaci´on “T´ecnicas de Inteligencia Computacional para el dise˜no e implementaci´on 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

... 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 Programaci´on en L´ogica Rebatible (P.L.R.) [10] es una extensi´on de la Programaci´on en L´ogica cuya teor´ıa de prueba est´a basada en el an´alisis dial´ectico de argumentos a favor y en contra de un ... See full document

... la confianza asignada a la fuente de la infor- maci´on para decidir ante la presencia de in- formaci´on contradictoria y poder obtener res- puestas garantizadas por un proceso de argu- mentaci´on rebatible. En ... 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

... As´ı tambi´ en, dentro de la teor´ıa de cam- bio, existen diversos tipos de operadores de revisi´ on en donde algunos de ellos procesan la informaci´ on con el apoyo de una explica- ci´ on. Un operador de revisi´ on ... See full document

... 3. L´ınea de Investigaci´ on y Desarrollo Esta l´ınea de investigaci´ on toma como punto de partida los aportes en la tem´ atica de los operadores de contracci´ on de la teor´ıa de cambio de creencias bajo clausulas Horn ... See full document

... As´ı tambi´en, dentro de la teor´ıa de cam- bio, existen diversos tipos de operadores de revisi´on en donde algunos de ellos procesan la informaci´on con el apoyo de una explica- ci´on. Un operador de revisi´on puede ... See full document

... interpretaciones sobre este dominio son suficientes para caracterizar la validez de la fórmula (si realmente lo es) y pueden ser generadas de forma mecánica también (es decir, automatiza[r] ... See full document