Inteligencia Artificial

Objetivo

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.

Material Didáctico

Introducción

Material de Presentación

  • Sesión 01: Introducción - PDF
  • Sesión 02: Objetivos de la IA - PDF

Material Extra

  • Proyecto Puppy - MPG

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