Lógica, programación e inteligencia artificial

Mostrar otras versiones (3)

Guardado en:

Detalles Bibliográficos
Autor principal:	Kowalski, Robert
Formato:	Libro
Lenguaje:	Español
Publicado:	Madrid Ediciones Díaz de Santos 1986
Edición:	Primera edición
Materias:	Inteligencia artificial Lógica simbólica y matemática Programación informática
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca Rodolfo Puiggrós de Universidad Nacional de Lanús

Tabla de Contenidos:

Representación en forma clausal
Procedimientos de prueba analíticos y sintéticos para cláusulas Horn
La interpretación procesal de cláusulas Horn
Formación de planes y el problema de la armadura – Resolución
El procedimiento de prueba del grafo de conexión
Estrategias globales para la resolución de problemas
Si-y-solamente-si – Formalización de la demostrabilidad – Lógica, cambio y contradicción