[PDF] Top 20 Rebatibilidad y programación en lógica inductiva
Has 10000 "Rebatibilidad y programación en lógica inductiva" found on our website. Below are the top 20 most common "Rebatibilidad y programación en lógica inductiva".
Rebatibilidad y programación en lógica inductiva
... ogica Inductiva es una propuesta de aprendizaje de conceptos a partir de ob- servaciones que utiliza Programaci´ on en L´ ogica como herramienta de representaci´ on de conocimiento y ...ogica Inductiva ... See full document
5
La programación lógica inductiva para el aprendizaje automatizado de conceptos
... La Programación Lógica Inductiva (Inductive Logic Programming o ILP) es una rama de esta disciplina, que ha venido desarrollando un auge cada vez mayor en su utilización y una también mayor ... See full document
101
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
Implementación de un algoritmo de búsqueda aleatoria en programación lógica
... la programación lógica es un tipo de programación basada en la lógica formal cuyo método resolutivo consiste en la construcción de árboles de ...en programación supone un alto coste ... See full document
54
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
Diseño de visualizaciones para programación lógica con restricciones
... Aparte de los problemas en aplicaciones con grandes domi- nios, la representación estática de la historia de la ejecución (figura 5) puede quedarse corta para mostrar intuitivamente có[r] ... See full document
7
Tratamiento N-categorial de la lógica de la programación
... operador wp actúa como un funtor entre categorías, haciendo. corresponder los elementos clave de las respectivas estructuras[r] ... See full document
144
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
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 rebatibles. ... See full document
3
Programación de lógica rebatible . Un enfoque declarativo
... (Q HO PDUFR GHO SUR\HFWR GH LQYHVWLJDFL RQ ?5HSUHVHQWDFLRQ GH &RQRFLPLHQWR \ 5D]RQD PLHQWR SDUD 6LVWHPDV 0XOWLDJHQWHV VH HVWD HVWXGLDQGR XQ HQIRTXH GHFODUDWLYR GH OD VHPDQWLFD RS[r] ... See full document
4
Una semántica basada en juegos para la programación lógica rebatible
... En este cap´ıtulo, se introducen el contexto y la motivaci´on que guiaron el desarrollo de esta investigaci´on y que dieron como resultado la sem´antica basada en juegos GS y el estudio [r] ... See full document
235
JavaLog: una integración de objetos y lógica para la programación de agentes
... La programación orientada a objetos utiliza elementos (objetos) que son accedidos en un contexto ...la programación lógica trabaja con términos y ...la programación de agentes. La ... See full document
19
Especificación e implementación de un lenguaje de programación lógica con tipos
... El impacto de la teoría de tipos en las ciencias de la computación tiene como consecuencia actualmente su surgimiento como una disciplina independiente y cuyos resultados son de releva[r] ... See full document
13
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, s[r] ... See full document
4
Semántica declarativa trivaluada para la programación en lógica rebatible
... Si bien nuestra meta general es caracterizar la sem´antica operacional a trav´es de una sem´antica declarativa adecuada para la P.L.R., nuestro inter´es particular se centrar´a en desarr[r] ... See full document
5
Una extensión de la programación en lógica que incluye eventos y comunicación
... De esta manera, el resultado de la ejecuci´on de un agente no s´olo depender´a de su c´odigo, sino de la coordinaci´on y comunicaci´on con otros agentes, que pueden brindarle informaci´o[r] ... See full document
5
Livia y la adivinación inductiva
... Es difícil admitir que la participación de Livia en la adivinación inductiva haya sido una completa invención de la historiografía propagandística; no hay, en este sentido, por qué dudar[r] ... See full document
13
Una propuesta de integración de nociones lógico-matemáticas en la enseñanza de la programación
... En “Programación Avanzada” se pondrá el mayor énfasis en la adquisición de destreza en el uso de herramientas de razonamiento fundamentales: la inducción matemática y la deducción lógica aplicadas a la ... See full document
11
Evolución en el uso de las TICs: pasado, presente y futuro. Una experiencia en Programación Lógica
... de programación que puede programar en sistemas reales para reforzar los conceptos presentados en ...de programación multiparadigma, Ciao, que permite programar en programación lógica pura, en ... See full document
8
Realismo e inducción: el problema de la variancia lingüística en lógica inductiva
... dicción desaparezca Los autores consideran que aun aquellos mvestigadores que empleen los lenguajes LI y L2 podrían, de todos modos, ponerse de a~erdo con respe~o al valor de las[r] ... See full document
8
Related subjects