Descripción: Revisamos someramente algunas aplicaciones fundamentales de lógica computacional, entre las que se cuentan búsqueda para resolución de problemas, máquina abstractas. Completamos el curso con una breve inducción a la teoría de agentes basados en lógica.

Actividades: Ejercicios de desarrollo y proyecto.

Material de apoyo: Capítulo 5,6,8,9 y 10 del libro de texto. Documentos en la WEB. Manual de PROLOG.

SESIONES DE UNIDAD 05:

Sesión 1: Búsqueda para resolver problemas.

Descripción: Realizamos la reconstrucción lógica de los más conocidos algoritmos de búsqueda y discutimos su uso en aplicaciones como la planificación automática.
Actividades: Revisar las láminas.
Evaluación: Debates y ejercicios en el computador. Es tiempo de completar el proyecto.
Material de apoyo: Bitácoras y láminas de clase.

Sesión 2: Máquinas abstractas y Agentes en lógica computacional.

Descripción: Por medio de una aplicación industrial, conocemos como describir máquinas abstractas en lógica y discutimos como mejorar esas representaciones. Completamos el curso con una breve inducción a los agentes en lógica computacional.
Actividades: Revisión de las bitácoras y de las láminas.
Evaluación: El proyecto.
Material de apoyo: Bitácoras y láminas de clase.