Interprete NEUPRO utilizando la NeuPro abstract machine
El lenguaje de programación Prolog es uno de los principales lenguajes de la Inteligencia Artificial. Pertenece a la programación lógica y al desarrollo de bases de datos simbólicas. Existen varios descendientes como el Hilog, el XSB, y el NEUPRO. Todos ellos se construyen por cláusulas del tipo :...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22954 |
| Aporte de: |
| Sumario: | El lenguaje de programación Prolog es uno de los principales lenguajes de la Inteligencia Artificial.
Pertenece a la programación lógica y al desarrollo de bases de datos simbólicas. Existen varios descendientes como el Hilog, el XSB, y el NEUPRO. Todos ellos se construyen por cláusulas del tipo : CABEZA :- TERMINO1, TERMINO2,...,TERMINOK.
Para validar CABEZA los términos TERMINO1,..,TERMINOK deben validarse previamente. Una cláusula Neupro es diferente. Cada término es un factor, con un cierto peso, la cabeza tiene un umbral determinado: si la suma de los factores excede dicho umbral, entonces la cláusula es verdadera. Esta cláusula permite identificarla con una neurona artificial. Cada conjunto de cláusulas será equivalente a una red neuronal.
Si el umbral es igual al número de términos, y cada término tiene un peso igual a 1, el programa es un programa Prolog clásico. El trabajo se basa en la Máquina Abstracta de Warren - WAM, que reduce el Prolog a un conjunto de rutinas, facilitando su modificación y la escritura de un compilador eficiente.
Este trabajo describe un intérprete para el lenguaje NeuPro, utilizando la NeuPro Abstract Machine que resultó del estudio de la WAM y modificaciones al algoritmo tradicional de unificación |
|---|