Resumen de Modelos y técnicas para gestión de redes de restricciones temporales borrosas
El razonamiento temporal aproximado es necesario en dominios que requieren manejar información temporal imprecisa, como la medicina o la sanidad vegetal.En esta tesis se presenta un conjunto de modelos para razonamiento temporal aproximado que tiene como nucleo común el modelo de Redes de restricciones temporales borrosas. En este modelo, se manejan variables temporales que corresponden a instantes de tiempo, y restricciones temporales que expresan los valores permitidos para la distancia entre dos instantes en forma de distribuciones de posibilidad. Se defienen las operaciones básicas de manipulación de restricciones, así como los conceptos de solución, consistencia y red mínima, proponiendo un algoritmo polinomial para el cálculo de la red mínima en el caso no disyuntivo.
Para el caso disyuntivo, es necesario utilizar retroceso para calcular soluciones o la red mínima. Para intentar reducir el esfuerzo en el retorceso, se propone usar técnicas de prepoceso basadas en consistencia local, incluyendo técnicas específicas para problemas disyuntivos. También se propone usar algoritmos topológicos que explotan las características del grafo asociado a un problema de satisfacción de restricciones. Se demuestra que es posible descomponer un problema RRTBD en subproblemas que permiten aislar elefecto de las disyunciones de forma local.
Una vez definidos los modelos y propuestas las técnicas de solución, se ha realizado una evaluación experimental de los algoritmos propuestos con problemas aleatorios, comprobando que ULT es el mejor algoritmo de preproceso, y que existe una transición de fase entre problemas fáciles y difíciles de resolver, lo que posibilita la definición de un modelo de coste para estimar el esfuerzo necesario para resolver un problema.
Con la información obtenida en la evaluación, se ha construido un prototipo de razonamiento temporal inteligente, que selecciona las técnicas más adecuadas para re
