Este curso expondrá al alumno a temas variados de Inteligencia Artificial, los cuales abarcan desde teorías donde el foco es el pensamiento deliberativo y de lógica, hasta esquemas reactivos basados en reglas primitivas. Aunque se espera que el alumno tenga bases de Inteligencia Artificial previos, el curso se llevará a cabo de a tal manera que dichas bases serán refinadas y brevemente repasadas.
Introducción |
Material de Presentación
- Sesión 01: Introducción - PDF
- Sesión 02: Objetivos de la IA - PDF
Material Extra
|
Lógica Proposicional |
Material de Presentación
- Sesión 03: Bases de Lógica Proposicional - PDF
- Sesión 04: Satisfactibilidad y Validez - PDF
- Sesión 05-06: Resolvedores SAT (Equipo GRASP) - PDF 1 PDF 2
- Sesión 05-06: Resolvedores SAT (Equipo CHAFF) - PDF 1 PDF 2
Artículos
- Moskewicz, Madigan, Zhao, Zhang, Malik. Chaff: Engineering an Efficient SAT Solver. Proceedings of the 38th annual Design Automation Conference, 2001. - PDF
- Silva, Sakallah. GRASP-A New Search Algorithm for Satisfiability. Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, 1996. - PDF
Material Extra
- Capítulo 3 de Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean Gallier, 1986), Propositional Logic - PDF
Libro Completo en la Página del Autor
- Cook, Mitchell. Finding Hard Instances of the Satisfiability Problem: A Survey. “Satisfiability Problem: Theory and Applications”, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1997. - PDF
|
Optimización |
Material de Presentación
- Sesión 07: Introducción a Optimización - PDF
- Sesión 08: Convergencia y Clasificación de Algoritmos de Optimización - PDF
Artículos
- Ho, Pepyne. Simple Explanation of the No Free Lunch Theorem of Optimization. Proceedings of the 40th IEEE Conference on Decision and Control, 2001. - PDF
Material Extra
- Numerical Optimization, Theoretical and Practical Aspects (Bonnans et. al., 2000) - PDF
- Ant Colony Optimization (Dorigo y Stutzle, 2004) - PDF
|
Inteligencia Artificial Corpórea |
Material de Presentación
- Sesión 09: Inteligencia Corpórea - PDF
Material Extra
- Criaturas Virtuales Evolucionadas - MP4
|