Tesis doctoral de Antonio José Fernández Leiva
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.
Datos académicos de la tesis doctoral «Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo«
- Título de la tesis: Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo
- Autor: Antonio José Fernández Leiva
- Universidad: Málaga
- Fecha de lectura de la tesis: 25/01/2002
Dirección y tribunal
- Director de la tesis
- M. Hill Patricia
- Tribunal
- Presidente del tribunal: fernando Orejas valdés
- Francisco Javier Lopez fraguas (vocal)
- María Alpuente frasnedo (vocal)
- Francisco Bueno carrillo (vocal)