INTELIGENCIA ARTIFICIAL

 

Programa

 

Transparencias de IA 

*      Introducción

*      Representación del conocimiento mediante la lógica de predicados.

*                     Hoja de ejercicios representación.

*                     Hoja de ejercicios interpretación.

*      Unificación

*                     Hoja de ejercicios unificación.

*      Resolución

*                     Hoja de ejercicios resolución.

*      Prolog

*      Problemas y espacios de problemas

*      Búsqueda. (Grafo ejemplo)

*      Búsqueda heurística (Grafo 1º mejor)

*                    Hoja de ejercicios heurísticas

*      Ejercicios de juegos

*      El resto de la teoría está en reprografía

 

            Las prácticas se realizarán con SLI y SWI-PROLOG

               Grupos de prácticas

*      Hoja de prácticas 1

*      Hoja de prácticas 2  

*      Hoja de prácticas 3  

*      Hoja de prácticas 4  

 

Exámenes

Junio 95

Junio 99

Septiembre 99

Junio 05 Prolog

 

Nota: Los alumnos que en el examen de Junio de 2005 hayan suspendido la teoría, si tienen 2.94 o más en la parte de lógica o 3 o más en la de búsqueda, se conservará esa parte para septiembre no teniendo que repetir el test correspondiente.

 

Si la teoría o la práctica están aprobadas se guardarán para septiembre, no teniendo que examinarse de esa parte en septiembre.

 

PARA EL EXAMEN DE SEPTIEMBRE LOS ALUMNOS DEBERÁN LLEVAR LAPIZ Y GOMA (SI ES POSIBLE MEJOR TYPEX)