El presente libro del Profesor Kowalski constituye una de las obras fundamentales que debe tener todo profesional, investigador o estudiante de Inteligencia Artificial, tanto por la información que proporciona como por el nivel académico que encierra. También será de inmensa utilidad para los lógicos y matemáticos que estén interesados en conocer cómo la lógica es el pilar más importante de los lenguajes de nueva generación, de los cuales el PROLOG es ya una realidad. INDICE: Introducción. Representación en forma clausal. Procedimientos de forma clausal. Procedimientos de prueba analíticos y sintéticos para cláusulas de Horn. La interpretación procesal de cláusulas Horn. Resolución de problemascon cláusulas Horn. La interpretación procesal de cláusulas Horn. Formación de planes y el problema de la armadura. Resolución. Procedimiento de prueba delgrafo de conexión. Estrategias globales para la resolución, etc.
- ISBN: 978-84-86251-43-7
- Editorial: Díaz de Santos
- Encuadernacion: Rústica
- Páginas: 412
- Fecha Publicación: 01/01/1986
- Nº Volúmenes: 1
- Idioma: Español