Tutoría de Fundamentos de Inteligencia Artificial
Exámenes de 2014, comentario de las soluciones del Equipo Docente
Marcos
Sistemas basados en reglas (final)
Redes semánticas
Sistemas basados en reglas
Introducción a la programación lógica en Prolog
Final del tema de lógica (modal, temporal, borrosa)
Lógica de primer orden - Deducción
Comienzo de extensiones de la lógica clásica - lógica modal
Bloque 4: Lógica. Vemos la lógica proposicional y el lenguaje de la lógica de primer orden.
Algoritmos de búsqueda heurística (modificaciones de A*)
IA Sevilla 2/3/2015
