Programación en Lógica Inductiva
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 ...
101
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 ...
5
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] ...
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 ...
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 ...
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] ...
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] ...
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] ...
13
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] ...
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 ...
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] ...
13
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] ...
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] ...
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] ...
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 ...
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 ...
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] ...
8