𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An interval-based temporal algebra based on binary encoding of point relations

✍ Scribed by Vincent J. Kovarik Jr.; Avelino J. Gonzalez


Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
287 KB
Volume
15
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis


This paper presents a method for representing temporal interval relations using a bit-encoded form of the relationships between interval end points. The set of bit patterns for each interval relationship yields a unique, single-byte signature that forms the basis of a binary temporal algebra. Also presented is a matrix multiplication algorithm for computing transitive relations based on the definition of sum and product operations for the bit-encoded relation signatures. This bit-encoding encompasses the representation of unknown relations between end points of two intervals and captures ambiguities within a temporal system while providing an efficient binary algebra. Finally, an algorithm to compute the transitive closure over a set of intervals forming a temporal system is Ž 3 . presented. The algorithm's complexity is analyzed and is O n , worst case, where n is the number of temporal intervals within the system. Empirical observations indicate that Ž 2 . the closure algorithm completes in O n time, on average. The small memory footprint for the bit-code, the algorithmic transitive relation calculation, and the closure algorithm, together, form an efficient method for providing machine-based temporal reasoning capabilities.


📜 SIMILAR VOLUMES