Razonamiento Logico

S ISTEMAS DE R AZONAMIENTO L ÓGICO
Inteligencia Artificial

Universidad Nacional del Santa Facultad de Ingeniería E.A.P. de Ingeniería de Sistemas e Informática 24/03/2009

24-3-2009

Contenido
1 2 Introducción.......................................................................................................................... 3 Indización, Recuperación y Unificación.............................................................................. 5 2.1 2.2 2.3 2.4 2.5 3 Implantación de Oraciones y Términos ...................................................................... 5 Guardar y Recoger ....................................................................................................... 5 Indización Basada en Tablas....................................................................................... 6 Indización Basada en Árboles ..................................................................................... 7 El Algoritmo de Unificación ........................................................................................ 9

Sistemas de Programación Lógicos ................................................................................... 103.1 3.2 3.3 3.4 3.5 El Lenguaje Prolog ..................................................................................................... 10 Implantación .............................................................................................................. 11 Compilación de Programas Lógicos .......................................................................... 13 Otros Lenguajes deProgramación ............................................................................ 14 Recursos Avanzados de Control ................................................................................ 15

4

Demostradores de Teoremas ............................................................................................. 17 4.1 4.2 4.3 4.4 Diseño de un Verificador de Teoremas..................................................................... 17 Ampliación de Prolog ................................................................................................. 18 Los Verificadores de Teoremas como Auxiliares ...................................................... 19 Aplicaciones Prácticas de los Demostradores de Teoremas .................................... 20

5Sistemas de Producción por Encadenamiento Hacia Adelante ...................................... 21 5.1 5.2 5.3 Fase de Cotejo ............................................................................................................ 22 Fase de Solución de Conflictos .................................................................................. 23 Aplicaciones Prácticas de los Sistemas de Producción............................................ 23

6

Sistemas de Marco y Redes Semánticas ........................................................................... 24 6.1 6.2 6.3 6.4 6.5 6.6 Sintaxis y Semántica de las Redes Semánticas ....................................................... 25 Herencia conExcepciones.......................................................................................... 26 Herencia Múltiple ...................................................................................................... 27 Herencia y Cambio ..................................................................................................... 28 Implantación de Redes Semánticas .......................................................................... 29 Expresividad de lasRedes Semánticas .................................................................... 31

7

Lógicas para la Descripción ............................................................................................... 31 7.1 Aplicaciones Prácticas de las Lógicas de Descripción .............................................. 33

8 9 10

Manejo de Retractaciones, Suposiciones y Explicaciones...