Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional

Abstract

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