Inteligencia artificial
Aubert, Jean-Pascal
Inteligencia artificial - Madrid : Paraninfo, 1986 - 132 p.
Índice de materias, Prólogo, żEn qué consiste la inteligencia artificial?, Árboles, pilas y listas, Noción de árbol, Listas y estructuras de listas, Datos y sistemas de producción, Información general, Control y estrategia, Estrategia de búsqueda en los sistemas de producción, El método Alfa Beta, La regla mínimas, Procedimiento Alfa Beta, Mejoras de Alfa Beta, Lógica, Introducción, La lógica de las proposiciones, La lógica de los predicados, El método de resolución, Unificación, Conclusión, Los sistemas expertos, Cómo funciona un sistema experto, De qué constan los sistemas expertos, Un micro-sistema experto, LISP, El LISP y sus contradictores, Repaso de las principales nociones sobre el LISP, żPor qué el LISP?, Programa, LOGO, La tortuga, La recurrencia infinita, PROLOG, Información general, żCómo funciona el PROLOG?, Ejemplos de programas en PROLOG, żHa dicho usted de procedimientos?, Bibliografía
84-283-1491-8
008867
INFORMATICA
LOGICA
ARBOLES
INTELIGENCIA ARTIFICIAL
LISP
001.535
Inteligencia artificial - Madrid : Paraninfo, 1986 - 132 p.
Índice de materias, Prólogo, żEn qué consiste la inteligencia artificial?, Árboles, pilas y listas, Noción de árbol, Listas y estructuras de listas, Datos y sistemas de producción, Información general, Control y estrategia, Estrategia de búsqueda en los sistemas de producción, El método Alfa Beta, La regla mínimas, Procedimiento Alfa Beta, Mejoras de Alfa Beta, Lógica, Introducción, La lógica de las proposiciones, La lógica de los predicados, El método de resolución, Unificación, Conclusión, Los sistemas expertos, Cómo funciona un sistema experto, De qué constan los sistemas expertos, Un micro-sistema experto, LISP, El LISP y sus contradictores, Repaso de las principales nociones sobre el LISP, żPor qué el LISP?, Programa, LOGO, La tortuga, La recurrencia infinita, PROLOG, Información general, żCómo funciona el PROLOG?, Ejemplos de programas en PROLOG, żHa dicho usted de procedimientos?, Bibliografía
84-283-1491-8
008867
INFORMATICA
LOGICA
ARBOLES
INTELIGENCIA ARTIFICIAL
LISP
001.535