TEMA 8: SISTEMAS DE RAZONAMIENTO LÓGICO

Alvaro Barreiro. Dept. Computación. Universidade da Coruña

• Algunas cuestiones de implementación
  • Implementación de sentencias y términos
  • Diseño de la base de conocimiento
  • Implementación del algoritmo de unificación
• Prolog y otros sistemas de programación lógica
  • El lenguaje Prolog
  • Implementación
  • Programación lógica con restricciones
  • Control avanzado
• Probadores de teoremas
  • OTTER
  • PTTP
  • Uso práctico de los probadores de teoremas
• Sistemas de producción
  • Fase de emparejamiento
  • Fase de resolución de conflictos
• Redes semánticas y marcos
  • Sintaxis y semántica de las redes semánticas
  • Herencia con excepciones
  • Herencia múltiple
  • Herencia y cambio
  • Implementación de redes semánticas
  • Expresividad las redes semánticas
• Lógicas descripcionales
• Sistemas de mantenimiento de verdad
• About this document ...