Lógica, programación e inteligencia artificial

Título:

Lógica, programación e inteligencia artificial

Autor:

Kowalski, Robert

Temas:

LÓGICA MATEMÁTICA ; PROGRAMACIÓN ; RESOLUCIÓN DE PROBLEMAS ; 

Edición:

1a ed.

Localización electrónica:

Descripción física:

[8], 412 p. ; 22 cm.

ISBN:

8486251435

Idioma:

Español, 

País:

España

Publicación:

Madrid : Díaz de Santos, 1986

Nota general:

Versión castellana de Logic for problem solving, Elsevier Science Pub., c1979.

Puede solicitar más fácilmente el ejemplar con: F.4.1 KOW

Prólogo -- 1. Introducción -- 2. Representación en forma clausal -- 3. Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- 4. Resolución de problemas con 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 -- Referencias (edición original) -- Referencias (suplemento a la edición española) -- Glosario español-inglés -- Glosario inglés-español