Inteligencia artificial aplicada

Título:

Inteligencia artificial aplicada: lógica y representación del conocimiento

Autor:

Goldszein, Mario

Colaboradores:

Carnota, Raúl Jorge

Temas:

INTELIGENCIA ARTIFICIAL ; DEDUCCIÓN Y DEMOSTRACIÓN DE TEOREMAS ; RESOLUCIÓN DE PROBLEMAS ; REPRESENTACIÓN DEL CONOCIMIENTO ; REDES SEMÁNTICAS ; PROGRAMACIÓN LÓGICA ; 

Edición:

1a ed.

Localización electrónica:

Descripción física:

xi, 99 p.:il. ; 24 cm.

Idioma:

Español, 

País:

Brasil

Publicación:

Campinas : UNICAMP, 1986

Nota general:

Incluye bibliografía

Puede solicitar más fácilmente el ejemplar con: I.2 GOL

1. Áreas de aplicación -- 1.1. Sistemas expertos -- 1.2. Lenguaje natural -- 1.3. Deducción automática de teoremas -- 2. El formalismo lógico -- 2.1. El lenguaje de la lógica -- 2.2. Unificación -- 2.3. Lógica clausal y procedimientos por refutación -- 2.4. Principios de resolución y solución de problemas -- 3. Otros formalismos de representación del conocimiento -- 3.1. Redes semánticas -- 3.2. Reglas de producción -- 3.3. Frames -- 4. Técnicas de búsqueda -- 5. Herramientas de programación -- 5.1. Programación en lógica -- 5.2. Prolog -- Apéndice I. Algunas propiedades del lenguaje de la lógica -- Bibliografía