Kowalski, Robert A.   1941- <br/><br/>
Lógica, programación e inteligencia artificial /  
Robert Kowalski. 
 - 1a ed. 
 - Madrid :  Díaz de Santos,  1986. 
 - [418] p. :    gráf. ;    22 cm 
<br/><br/> 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. 
<br/><br/>Referencias: p. 347 a 371. 
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/> Para profesional, investigador o estudiante de inteligencia artificial. También de utilidad para lógicos y matemáticos. 
<br/><br/><label>ISBN: </label>8486251435 
<br/><br/><label>Subjects--Index Terms: </label><br/>Lógica matemática <br/>Inteligencia artificial <br/>Horn, cláusulas de  <br/>Programación <br/>Demostrabilidad 
<br/><br/><label>Universal Decimal Class. No.: </label>510.5/.6