Inteligencia artificial, lógicamente

Este curso ofrece una visión general de la inteligencia artificial, destacando su estrecha relación con la lógica. A lo largo del programa, se abordan diversos temas fundamentales que incluyen:

• Problemas de espacios de estados y su representación en Lisp: Exploración de cómo modelar problemas mediante espacios de estados utilizando el lenguaje de programación Lisp.
• Procedimientos de búsqueda y sus implementaciones en Lisp: Estudio de algoritmos de búsqueda y sus implementaciones en Lisp.
• Resolución SLD y programación lógica con Prolog: Introducción a la resolución SLD y su uso en programación lógica y en Prolog.
• Sistemas basados en conocimiento con CLISP: Estudio de la programación basada en reglas con CLISP y su aplicación al desarrollo de bases de conocimiento.
• Razonamiento automático con Otter: Análisis de técnicas para automatizar procesos de razonamiento lógico mediante Otter.
• Demostración automática de teoremas: Estudio de métodos y herramientas para la demostración automática de teoremas en lógica matemática.
• Problemas de espacios de estados con Otter: Aplicación de Otter para resolver problemas modelados como espacios de estados.
• Planificación con Otter: Uso de Otter para abordar problemas de planificación automatizada.
• Aprendizaje automático con FOIL y Progol: Introducción a técnicas de aprendizaje mediante los sistemas FOIL y Progol, enfocados en aprendizaje basado en reglas lógicas.

Las transparencias del curso están disponibles en el siguiente enlace: Inteligencia artificial, lógicamente.