Accession Number : ADA281005

Title :   Tractable Temporal Reasoning: Temporal Spatial Constraint Propagation Management.

Descriptive Note : Technical rept. for Sep 90-Nov 93,

Corporate Author : ROME LAB GRIFFISS AFB NY

Personal Author(s) : Hoebel, Louis J.

Report Date : JUN 1994

Pagination or Media Count : 45

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

Descriptors :   *REASONING, *ARTIFICIAL INTELLIGENCE, *SPATIAL DISTRIBUTION, CORES, DYNAMICS, HIERARCHIES, LANGUAGE, MONITORING, NATURAL LANGUAGE, PLANNING, SCALE, TIME, WORK.

Subject Categories : Psychology
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE