Inicial
Temas
Documentación
Sistemas
Temas de "Programación lógica (2004-05)"
En esta página se encuentra las transparencias y ejercicios de las clase impartidas. Están en formato pdf.
Tema 1:
El sistema deductivo de Prolog.
Tema 2:
Prolog.
Tema 3:
Programación con Prolog.
Tema 4:
Resolución de problemas de espacios de estados.
Tema 5:
Procesamiento de lenguaje natural.
Tema 6:
Ingeniería del conocimiento y metaintérpretes.
Tema 7:
Razonamiento por defecto y razonamiento abductivo.
Tema 8:
Programación lógica con restricciones.
Tema 9:
Formalización en Prolog de la lógica proposicional.
Tema 10:
Programación lógica y aprendizaje automático.
[
Inicial
|
Temas
|
Documentación
|
Sistemas
]