Resumen de Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo
Esta tesis propone un esquema genérico y cooperativo para la programación lógica con restricciones de intervalos definidos sobre cualquier dominio de computación con estructura de retículo, El esquema, que está basado en la teoría de retículos, es un enfoque general para la satisfacción y optimización de restricciones de intervalo así como para la cooperación de resolutores de intervalo definidos sobre cualquier conjunto de dominios de computación con estructura de retículos, independientemente de la cardinalidad de éstos.
Se ha descrito el proceso global de resolución de restricciones de intervalo sobre cualquier retículo, separando claramente los procesos de propagación y división (ramificación) de intervalos. Una de las ventajas de la propuesta es que la monotonía de las restricciones está implícitamente definida en la teoría. Además, se declaran un conjunto de propiedades interesantes que, bajo ciertas condiciones, son satisfechas por cualquier instancia del esquema genérico.
El esquema propuesto permite la cooperación de resolutores de manera que la información puede fluir entre diferentes dominios de computación y, además, es posible la combinación de distintas instancias del mismo.
Se demuestra también que este enfoque permite una amplia flexibilidad en la definición de dominios (probablemente definidos por el usario) y en la interacción entre estos dominios.
La propuesta asegura un enfoque transparente sobre el cual las restricciones, los dominios de computación y los mecanismos de propagación y cooperación, definidos entre las variables restringidas, pueden ser fácilmente especificados a nivel del usuario. La parte principal de la tesis presenta una especificación formal del esquema.
