Share Email Print
cover

Proceedings Paper

Atomic temporal interval relations in branching time: calculation and application
Author(s): Frank D. Anger; Peter B. Ladkin; Rita V. Rodriguez
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

A practical method of reasoning about intervals in a branching-time model which is dense, unbounded, future-branching, without rejoining branches is presented. The discussion is based on heuristic constraint- propagation techniques using the relation algebra of binary temporal relations among the intervals over the branching-time model. This technique has been applied with success to models of intervals over linear time by Allen and others, and is of cubic-time complexity. To extend it to branding-time models, it is necessary to calculate compositions of the relations; thus, the table of compositions for the 'atomic' relations is computed, enabling the rapid determination of the composition of arbitrary relations, expressed as disjunctions or unions of the atomic relations.

Paper Details

Date Published: 1 March 1991
PDF: 15 pages
Proc. SPIE 1468, Applications of Artificial Intelligence IX, (1 March 1991); doi: 10.1117/12.45459
Show Author Affiliations
Frank D. Anger, Univ. of West Florida (United States)
Peter B. Ladkin, International Computer Science Institute (United States)
Rita V. Rodriguez, Univ. of West Florida (United States)


Published in SPIE Proceedings Vol. 1468:
Applications of Artificial Intelligence IX
Mohan M. Trivedi, Editor(s)

© SPIE. Terms of Use
Back to Top