Un nuevo Modelo Tratable y Eficiente para Razonamiento Temporal Cualitativo con Puntos y Duraciones (Premio Jose Cuena al mejor articulo de CAEPIA99/TTIA99)

Temporal Constraint Satisfaction Problems

“…Esto puede hacerse con los modelos de restricciones entre puntos y duraciones, de los que existen varias versiones que difieren en expresividad y complejidad computacional [6,26,43,27,29].…”

“…En [27] se introducen condiciones necesarias y suficientes para la consistencia de una PDN-simple, y a partir de ellas se introduce un algoritmo tratable para decidir la consistencia, basado en el cálculo de componentes fuertemente conexas. Su complejidad es O(n 2 + d 2 ), donde n es el número de instantes y d es el número de duraciones.…”

“…En [27] se presenta otro fragmento tratable denominado PPDN (Modelo de Puntos con Precedencia y Duraciones). Enél, todas las variables de duraciones d ij corresponden a duraciones entre pares de puntos ordenados p i < p j .…”