Polyhedraun modelo heurístico para la resolución de problemas de satisfacción de restricciones n-árias mediante hiperpoliedros

Résumé

En esta tesis proponemos un modelo de especificación de restricciones n-arias mediante hiperpoliedros que se resuelve mediante técnicas que manejan las restricciones no binarias en su formulación original de manera que se conserva toda la expresividad de las restricciones no binarias. Debido a la carencia de técnicas para manejar restricciones no binarias sobre dominios continuos, nuestro trabajo se centra en la obtención de técnicas que manejen este tipo de problemas, aunque también abarcamos problemas discretos y problemas disyuntivos, extendiendo algunas de las clases más importantes de restricciones disyuntivas. En vista de la gran cantidad de problemas dinámicos que existen en la vida real, nuestras técnicas mantienen un comportamiento dinámico de manera que las restricciones no binarias se pueden incluir en el sistema de forma incremental. Estas técnicas obtienen información importante del problema tal como la consistencia del problema, las soluciones que el usuario requiera, los dominios mínimos, así como las soluciones que mejor aproximen una función objetivo o multi-objetivo. Estas técnicas están siendo aplicadas en la actualidad en el campo de la diagnosis y más concretamente en la toma de decisiones, donde se utilizan los clasificadores para hacer predicciones. Estos clasificadores son evaluados mediante el cálculo del volumen que generan, siendo imprescindible para ello la obtención de los puntos extremos que componen el hiper-poliedro resultante.