Kowalski, Robert
Lógica, programación e inteligencia artificial Robert Kowalski : tr. A. Calle - Quinta edición - 412 páginas. 22 cm
El ejemplo de las relaciones de familia y la forma clausal -- Definición más precisa de forma clausal -- Presentación de definiciones analítica y sintética -- Semántica de la forma clausal -- Representación en forma clausal -- Variables y tipos de individualidades -- Existencia negación -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- Resolución de problemas con cláusulas de Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura -- Objetivos y asertos negativos -- Una solución sintética -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Comparación de la forma clausal con la forma estándar -- Si-y-solamente-si -- Formalización de la demostrabilidad -- Lógica, cambio y contradicción --
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.
8486251435
Inteligencia artificial
Lógica simbólica y matemática
Programación de computadoras
Solucion de problemas
006.3 / K88l 519.7
Lógica, programación e inteligencia artificial Robert Kowalski : tr. A. Calle - Quinta edición - 412 páginas. 22 cm
El ejemplo de las relaciones de familia y la forma clausal -- Definición más precisa de forma clausal -- Presentación de definiciones analítica y sintética -- Semántica de la forma clausal -- Representación en forma clausal -- Variables y tipos de individualidades -- Existencia negación -- Procedimientos de prueba analíticos y sintéticos para cláusulas Horn -- Resolución de problemas con cláusulas de Horn -- La interpretación procesal de cláusulas Horn -- Formación de planes y el problema de la armadura -- Objetivos y asertos negativos -- Una solución sintética -- El procedimiento de prueba del grafo de conexión -- Estrategias globales para la resolución de problemas -- Comparación de la forma clausal con la forma estándar -- Si-y-solamente-si -- Formalización de la demostrabilidad -- Lógica, cambio y contradicción --
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.
8486251435
Inteligencia artificial
Lógica simbólica y matemática
Programación de computadoras
Solucion de problemas
006.3 / K88l 519.7