01524nam a2200241Ia 4500001000700000003000400007008004500011010001100056020001800067041001400085100002400099700002300123245002800146260003100174300001100205505097800216650001601194650001101210650001201221650002801233650000901261082001201270008867LIB220712b1986        py ||||| |||| 00| 0 spa d  a008867  a84-283-1491-8  aEspañol  aAubert, Jean-Pascal  aSchomberg, Richard  aInteligencia artificial  bParaninfo,aMadrid :c1986  a132 p.0 aÍ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  aINFORMATICA  aLOGICA  aARBOLES  aINTELIGENCIA ARTIFICIAL  aLISP  a001.535