Lógica, programación e inteligencia artificial
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
Madrid :
Díaz de Santos,
1986
|
| Edición: | 1a ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Versión castellana de Logic for problem solving, Elsevier Science Pub., c1979. |
| Descripción Física: | [8], 412 p. ; 22 cm. |
| ISBN: | 8486251435 |
Tabla de Contenidos:
- 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