Aubert, Jean-Pascal creator Schomberg, Richard text Madrid Paraninfo 1986 monographic | 0 Esp año l 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 INFORMATICA LOGICA ARBOLES INTELIGENCIA ARTIFICIAL LISP 001.535 84-283-1491-8 008867 220712 008867