Tractable Temporal Reasoning: Temporal Spatial Constraint Propagation Management.

摘要

The focus of this work has been to develop a practical temporal reasoner suitable for use in large scale and dynamic problems. The system developed is expressive and capable of supporting anytime temporal reasoning in application areas such as time dependent planning, execution, monitoring and natural language dialog. Initial results are obtained by comparing a compilation of constraints using the hierarchy based space and time (ST) system to a compilation of constraints using the same core temporal reasoner used in the ST but with no computational control on the inference procedure. The current ST system constructs a reference hierarchy and assigns non-reference temporal intervals to reference intervals. Propagation of constraints is limited and controlled by user defined flexible strategies. Small scale initial results are encouraging in regards to the computational costs of the control overhead, caching and propagation. Temporal Reasoning.