El Dr. Miguel Tomasena es egresado de la Licenciatura y Maestría de la UNAM y cuenta con un Doctorado de la Universidad de Paris VI, actualmente es Profesor "Maître de conférences" en la Universidad de Savoie, Francia y es responsable de la Maestría: "Informatique et Systèmes Colaboratifs". El Dr. Tomasena cuenta con una veintena de publicaciones sobre el tema de Razonamiento a partir de Modelos y ha dirigido cuatro tesis de doctorado. Sus principales temas de enseñanza son: Lenguajes del Web, Programación funcional (Caml), Programación Lógica (Prolog), Programación Orientada a Objetos (Java) y Representacion de Conocimientos.
Resumen del curso.
Se abordaran los principios y los objetivos de la Programación por Restricciones (PPR). La PPR es una programación declarativa que se emplea para resolver problemas que requieren la exploración de un espacio de búsqueda. Identificaremos las diferentes partes de un problema de satisfacción por restricciones, los mecanismos subyacente de resolución y algunos de los lenguajes o bibliotecas de PPR. En particular estudiaremos la Programación Lógica por Restricciones (Constraint Logic Programming, CLP) que es una extensión natural de la Programación Lógica (Prolog).
Sesiones:
- (lunes 6) Introducción a la PPR. Un problema de satisfacción por restricciones. Mecanismos y estrategias de la PPR.
- (miércoles 8) Lenguajes de la PPR, en particular la Programación Lógica. Aplicaciones y problemas de la Programación por Restricciones.
