[PDF] Top 20 Una semántica basada en juegos para la programación lógica rebatible

... consulta rebatible como la conjunci´on de los literales que la componen, de modo que una consulta ser´a consecuencia de un programa, si lo es cada uno de sus ... 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 Multia- gentes”, de la Universidad Nacional del Comahue[r] ... See full document

... La sem´antica trivaluada GS tiene como soporte matem´atico a la categor´ıa de los juegos, de los que se estudiaron fundamentalmente dos enfoques: HO-games [HO94] y AJM-games [Abr97, AM97]. En particular, se ... See full document

... en juegos introducida por Abramsky en ...de juegos y por el otro, la teor´ıa de modelos, ya que su definici´on utiliza el enfoque de modelo ...declarativa basada en juegos desarrollada es ... See full document

... Otro aspecto a considerar es que los actos del habla no se generan en forma aislada, sino que los agentes los combinan por turnos de manera que conforman una conversación [8]. Existen distintos tipos de conversaciones, ... See full document

... En los art´ıculos A Heuristics-Based Pru- ning Technique for Argumentation Trees [20] y Using Argument Strength for Building Dia- lectical Bonsai [17], se propone una t´ecnica de poda basada en heur´ıstica para ... See full document

... Programación concurrente por restricciones (del inglés, Concurrent Constraint Programming, abreviado CCP) [17, 18, 16] es un modelo de concurrencia que combina el sistema operacional tradicional del cálculo de ... See full document

... de juegos es la utilización de mecanismos de razonamiento ...argumentación rebatible, que constituye gran parte de los desarrollos científicos y técnicos del Laboratorio de Investigación y Desarrollo en ... See full document

... est´a basada en el an´alisis dial´ectico de argumentos a favor y en contra de un argumento ...en juegos[1, 16] caracteriza a dicha teor´ıa de prueba en forma sensata y ... 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

... La sem´antica del lenguaje OWL-DL se halla basada en las L´ogicas para la Descripci´on. Las L´ogicas para la Descripci´on (DL) [1] son una familia de formalis- mos de representaci´on de conocimiento basados en las ... 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

... La Programaci´on en L´ogica Rebatible (P.L.R.) [12] es una extensi´on de la Programa- ci´on en L´ogica (de ahora en m´as P.L.), cuya teor´ıa de prueba est´a basada en el an´alisis dial´ectico de argumentos ... See full document

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

... La World Wide Web actual est´a basada principalmente en documentos escritos con un ´enfasis en su presentaci´on visual. La Web Sem´antica es una visi´on futura de la Web en la cual la in- formaci´on tiene un ... See full document

... on rebatible es un tipo de razonamiento no-mon´ otono que produce conclusiones tentativas en presencia de informaci´ on incompleta y potencialmente ...on rebatible al procesamiento de ontolog´ıas ... See full document

... Unidad Central de Procesamiento (CPU) Unidad central de proceso o CPU (mejor conocida por sus siglas en inglés, CPU), es un circuito microscópico que interpreta y ejecuta instrucciones. La CPU se ocupa del control y del ... See full document

... El poder de un lenguaje de programación lógica como Prolog radica en tres mecanismos: modelo racional, unificación y cálculo no determinista. Prolog lleva el cálculo en el universo de Herbrand. La ... See full document

... proceso de visualizaci´on a trav´es del razonador y la informaci´on sem´antica; una mala selecci´on de colores por parte del usuario podr´ıa resultar en una visualizaci´on donde los elem[r] ... See full document