Programación Lógica

De Master

El objetivo de la materia es presentar la programación lógica tanto como un sistema de representación del conocimiento como un paradigma de programación. Concretamente, se estudia la programación lógica básica, sus extensiones (programación lógica con restricciones, programación lógica inductiva y programación lógica basada en conjuntos de respuestas) y sus aplicaciones en Inteligencia Artificial.

Los contenidos de la materia son:

• Prolog como un sistema deductivo y como lenguaje de programación.
• Aplicaciones de la programación lógica:
  • Procesamiento del lenguaje natural,
  • Construcción de metaintérpretes,
  • Razonamiento por defecto y razonamiento abductivo.
• Extensiones de la programación lógica:
  • Programación lógica con restricciones y
  • Programación lógica inductiva.
• Bases teóricas de la programación lógica.