Resumen de Razonamiento temporal cualitativo con puntos y duraciones
Presentamos aquí un sistema de razonamiento temporal cualitativo que toma como objetos primitivos tanto puntos como duraciones y permite representar información relativa e indefinida. Formalmente definimos una red de puntos y duraciones, como una estructura formada por dos redes del algebra de puntos (PA) separadas pero no independientes , puesto que introducimos relaciones ternarias que muestran la influencia de la información sobre puntos en las duraciones y viceversa. Adaptamos algunos de los conceptos y técnicas de razonamiento desarolladas para redes de algebra de puntos tales como consistencia y minimalidad. Demostramos que el problema de determinar la consistencia en una red de puntos y duraciones es NP-completo. Después introducimos un problema de decisión que puede resolverse en tiempo polinomial para un caso restringido de redes de puntos y duraciones. Finalmente sugerimos un método para determinar la consistencia y encontrar la red mínima para el caso general.
