Temario - Sistemas Inteligentes

  • Elementos de la Lógica Proposicional.
  • Lógica de Primer Orden.
  • Fundamentos de Prolog.
  • Usos de Prolog:
  • Estructura y datos. Sintaxis. Backtracking, Unificación. Listas en Prolog, Corte y combinación de corte y fallo. Predicados predefinidos, reglas en Prolog, reglas recursivas, significado declarativo y procedural de los programas.
  • Programación lógica y acceso a datos.
  • Programación lógica y gramática.
  • Sistemas Expertos: Dominio, representación del conocimiento y mecanismos de razonamiento
  • Programación lógica basada en restricciones: El problema de satisfacción de restricciones
  • Métodos de resolución del problema de satisfacción de restricciones.