modified on 20 feb 2013 at 13:24 ••• 5.509 views

Programación Lógica

De Master

Contenido

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.

Programa de la asignatura

Página Web

Pendiente de desarrollo.