Lógica, programación e inteligencia artificial Robert Kowalski : tr. A. Calle
By: Kowalski, Robert [autor / creador]
.
Contributor(s): Calle, A [traductor].
Madrid Díaz de Santos 1986Edition: Quinta edición.Description: 412 páginas. 22 cm.ISBN: 8486251435.Subject(s): Inteligencia artificial | Lógica simbólica y matemática | Programación de computadoras | Solucion de problemasDDC classification: 006.3 | 519.7 | Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central Book Cart | FONDO BIBL | 006.3 / K88l *519.7 (Browse shelf) | 1 | Available | CO | 8000000105 |
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.
Titulo original Logic for problem solving
Click on an image to view it in the image viewer
There are no comments for this item.