| dc.description | Curso de Lógica y Matemática
Unidad 5: Aplicaciones de la lógica computacional
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.
Tabla de contenido del Curso de Lógica y Matemática | |
