TY  - BOOK
AU  - Kowalski,Robert A.
TI  - Lógica, programación e inteligencia artificial / 
SN  - 8486251435
PY  - 1986///
CY  - Madrid
PB  - Díaz de Santos
KW  - Lógica matemática
KW  - Inteligencia artificial
KW  - Horn, cláusulas de
KW  - Programación
KW  - Demostrabilidad
N1  - Título original: Logic for problem solving; Índice de contenidos: en primeras pág; Glosario (español-inglés): p. 373 a 392; Glosario (inglés-español): p. 393 a 412; Referencias: p. 347 a 371; 1. Introducción; 2. Representación en forma clausal; 3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn; 5. La interpretación procesal de cláusulas Horn; 6. Formación de planes y el problema de la armadura; 7. Resolución; 8. El procedimiento de prueba del grafo de conexión; 9. Estrategias globales para la resolución de problemas; 10. Comparación de la forma clausal con la forma estándar; 11. Si-y-solamente-si; 12. Formalización de la demostrabilidad; 13. Lógica, cambio y contradicción; Para profesional, investigador o estudiante de inteligencia artificial. También de utilidad para lógicos y matemáticos
N2  - El objeto de este libro es investigar la aplicación de la lógica a la resolución de problemas y a la programación de ordenadores. Para su estudio no se requiere un conocimiento previo de estos campo y, por consiguiente, representa una introducción muy adecuada a los temas de lógica, teoría de resolución de problemas y programación de ordenadores
ER  -