Horario: de 14 a 17 hs.
El Dr. Pedro Meseguer se doctoró en la Universidad Politécnica de Catalunya, España. Actualmente es Investigador en el Instituto de Inve stigación en Inteligencia Artificial que depende del Consejo Superior de Investigaciones Científicas. También ha sido Profesor del Departam ento de Computación de la Universidad Politécnica de Catalunya. El Dr. Meseguer ha dictado varios cursos tutoriales sobre sistemas basados en cono cimiento.
Resumen:
La satisfacción de restricciones ha recibido una atención creci ente en los últimos 15 años por parte de la comunidad de inteligen cia artificial. Además de su importancia dentro de la inteligencia artifi cial, la satisfacción de restricciones tiene conexiones con otros campos tales como investigación operativa, algorítmica y programaci&oacut e;n lógica. El tema tiene importantes aplicaciones industriales, entre la s cuales se distinguen: las de asignación de recursos ("scheduling").
Prerrequisitos:
conocimientos básicos de algorítmos de recorrid o de arboles y gráfos.
ESTE CURSO SERÁ DICTADO EN CASTELLANO