• No se han encontrado resultados

[PDF] Top 20 Programación de lógica rebatible . Un enfoque declarativo

Has 10000 "Programación de lógica rebatible . Un enfoque declarativo" found on our website. Below are the top 20 most common "Programación de lógica rebatible . Un enfoque declarativo".

Programación de lógica rebatible . Un enfoque declarativo

Programación de lógica rebatible . Un enfoque declarativo

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

4

Programación en lógica rebatible: una semántica declarativa

Programación en lógica rebatible: una semántica declarativa

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

3

Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes

Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes

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

5

Complejidad de la programación en lógica rebatible

Complejidad de la programación en lógica rebatible

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

4

Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

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

3

Actos del habla en la comunicación . Una propuesta usando Programación lógica rebatible

Actos del habla en la comunicación . Una propuesta usando Programación lógica rebatible

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

12

Mejoramiento de los servicios de razonamiento basados en programación lógica rebatible

Mejoramiento de los servicios de razonamiento basados en programación lógica rebatible

... L´ogica Rebatible (Defeasilble Logic Programming o DeLP) combinando revisi´on de creencias, argu- mentaci´on y mecanismos de confianza y repu- taci´on para su aplicaci´on en ... See full document

5

Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible

Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible

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

13

El rol de la semántica declarativa en el análisis de la programación en lógica rebatible

El rol de la semántica declarativa en el análisis de la programación en lógica rebatible

... La importancia del estudio de la sem´antica operacional a trav´es de un enfoque declarativo, reside en la ventaja de determinar el significado preciso de un programa l´ogico sin recurrir al control. Los ... See full document

5

El criterio de especificidad en la programación en lógica rebatible

El criterio de especificidad en la programación en lógica rebatible

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

13

Semántica declarativa trivaluada para la programación en lógica rebatible

Semántica declarativa trivaluada para la programación en lógica rebatible

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

5

Una aproximación a la programación en lógica rebatible

Una aproximación a la programación en lógica rebatible

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

12

Expresividad de la programación en lógica rebatible

Expresividad de la programación en lógica rebatible

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

4

Un compilador para la programación en lógica rebatible

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

19

Una semántica basada en juegos para la programación lógica rebatible

Una semántica basada en juegos para la programación lógica rebatible

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

235

Complejidad computacional y descriptiva de la programación en lógica rebatible

Complejidad computacional y descriptiva de la programación en lógica rebatible

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

4

Una propuesta de integración de nociones lógico-matemáticas en la enseñanza de la programación

Una propuesta de integración de nociones lógico-matemáticas en la enseñanza de la programación

... Los cambios de contenidos y de la metodología de enseñanza propuestos para la asignatura en cuestión, apuntan a satisfacer en un nivel básico los mencionados requerimientos. Por una parte, tal como analizamos en (Medel, ... See full document

11

Rebatibilidad y programación en lógica inductiva

Rebatibilidad y programación en lógica inductiva

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

5

Manejo de memoria en programación lógica con tabulación

Manejo de memoria en programación lógica con tabulación

... La principal característica de Ciao como lo describe Manuel Hermenegildo y otros en [6] es que proporciona al programador características útiles de diferentes para- digmas y estilos de programación, y que el uso ... See full document

94

Estrategias evolutivas para la programación lógica inductiva

Estrategias evolutivas para la programación lógica inductiva

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

83

Show all 10000 documents...