Programación por Restricciones

Objetivos

El estudiante que completa este curso está calificado para: • Entender y aplicar técnicas para solucionar problemas de satisfacción de restricciones (CSP) • Resolver problemas de mediana complejidad que involucran CSP • Entender y explicar los fundamentos de los modelos y lenguajes para la solución de restricciones • Identificar clases de problemas en los que la programación de restricciones puede aplicarse exitosamente • Modelar problemas de mediana complejidad mediante restricciones y expresar estos modelos en un lenguaje de programación apropiado, incluyendo estrategias de búsqueda • Conocer áreas de aplicación en la industria de la programación de restricciones

Contenidos

1. Restricciones y dominios 2. Problemas de satisfacción de restricciones (CSP). 3. Modelos y lenguaje para programación de restrcciones. 4. La noción de “propagador”. Propiedades, corrección, propagadores globales. 5. Métodos y técnicas para solución de restricciones (propagación, consistencia, relajación, optimización, búsqueda, restricciones globales) 6. Técnicas y estrategia de búsqueda: primera falla, mínimo ancho de banda, expandir-acotar. 7. Modelamiento de un p0roblema y su solución. 8. Aplicaciones a diferentes clases de problemas (e.g.planteamiento, “scheduling”, asignación de recursos, logística, optimización)

Bibliografía

• K. Apt. Principles of Constraint Programming. Cambridge University Press. 2003 • Rina Dechter. Constraint Processing. Morgan Kaufmann, 2004 • F Rossi, P. Van Beek, T. Walsh (eds). Handbook of Constraint Programming. Elsevier 2006. • Kim Marriott, Peter J. Stuckey. Programming with Constraints. An Introduction. MIT Press. 1998. • P.Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, 1999. • P.Van Hentenryck, L. Michel and Y. Deville. Numerica A Modeling Language for Global Optimization, The MIT Press. 1997

 
materias/programacion_por_restricciones.txt · Última modificación: 2015/12/09 11:57 por laura.triana
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki