Introducción a la Inteligencia Artificial - LCC Cronograma Tentativo 2007 No Módulo Clase INTRODUCCIÓN 0 1 2 BÚSQUEDA 3 4 5 6 7 8 9 Tema Mod. intervención docente Charla Informativa Organización – objetivos bibliografía Introducción a IA Clase – taller Formalización mediante Clase - taller espacio de estados Estrategias de búsqueda sin información. Búsqueda con información Práctica Búsqueda Laboratorio Búsqueda Evaluación 1 Rep Problemas mediante Espacios de Estado y Búsqueda REPRESENTACION Introducción a RC – DEL Lógica Proposicional y CONOCIMIENTO Predicados Resolución – Bases de Prolog Prácticas Rep Lógica Resolución Predicados Clase Clase de ejercitación Clase de ejercitación Taller Evaluación Clase - taller Taller Clase - taller 10 11 Laboratorio: Prolog RC – Otros formalismos Ontologías Taller Clase - taller 12 13 Laboratorio: Prolog Evaluación 2 Rep. Lógica del conocimiento – Resolución – Prolog SE-Arquitectura- Motor de Inferencias – Backward / Forward Chaining. Motor de Inferencias – Práctico SE-Arquitectura- Motor de Inferencias – MetaconocimientoMotor de Inferencias – Práctico SE-Desarrollo Taller Evaluación 14 15 16 17 18 SISTEMAS BASADOS EN CONOCIMIENTO Clase - taller Trabajo de laboratorio/ Trabajo de laboratorio/taller Trabajo de laboratorio/taller 19 20 RAZONAMIENTO APROXIMADO 21 22 23 24 AGENTES Evaluación 3: KBS Modelos de Razonamiento Aproximado – Modelos probabilísticos Modelos posibilísticos – Fuzzy Systems Práctica: RA Agentes Inteligentes Evaluación Clase Clase Trabajo de laboratorio/taller Trabajo de laboratorio/taller Seminario 25 – 27 Agentes Inteligentes : Exposición Alumnos 28 Evaluación 4: RA y Agentes Evaluación