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áticajacinto@ula.veNivel analítico