Tractable Temporal Reasoning: Temporal Spatial Constraint Propagation Management.
Abstract
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 (S&T) system to a compilation of constraints using the same core temporal reasoner used in the S&T but with no computational control on the inference procedure. The current S&T 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
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1994
- Accession Number
- ADA281005
Entities
People
- Louis J. Hoebel
Organizations
- Rome Laboratory