The Design and Experimental Analysis of Algorithms for Temporal Reasoning release_2hst6jhfgbbqnhldpk2favojba

by P. vanBeek, D. W. Manchak

Released as a article .

1996  

Abstract

Many applications -- from planning and scheduling to problems in molecular biology -- rely heavily on a temporal reasoning component. In this paper, we discuss the design and empirical analysis of algorithms for a temporal reasoning system based on Allen's influential interval-based framework for representing temporal information. At the core of the system are algorithms for determining whether the temporal information is consistent, and, if so, finding one or more scenarios that are consistent with the temporal information. Two important algorithms for these tasks are a path consistency algorithm and a backtracking algorithm. For the path consistency algorithm, we develop techniques that can result in up to a ten-fold speedup over an already highly optimized implementation. For the backtracking algorithm, we develop variable and value ordering heuristics that are shown empirically to dramatically improve the performance of the algorithm. As well, we show that a previously suggested reformulation of the backtracking search problem can reduce the time and space requirements of the backtracking search. Taken together, the techniques we develop allow a temporal reasoning component to solve problems that are of practical size.
In text/plain format

Archived Files and Locations

application/pdf  214.4 kB
file_3w7yitiutvftlhnedzvvrkig5e
core.ac.uk (web)
web.archive.org (webarchive)
archive.org (archive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   1996-01-01
Version   v1
Language   en ?
arXiv  cs/9601101v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: deaf245b-5555-42a1-8e8e-f3cea821a33f
API URL: JSON