DocumentCode :
2962532
Title :
A system for reasoning with nonconvex intervals
Author :
Almeida, Michael J.
Author_Institution :
Maryland Univ., Princess Anne, MD, USA
fYear :
1999
fDate :
1999
Firstpage :
8
Lastpage :
16
Abstract :
We describe a new system of relations for reasoning about general, i.e., both convex and nonconvex, intervals of time. This system is essentially an integration of Allen´s theory (J.F. Allen, 1981; 1984) and a one-dimensional version of the Region Connection Calculus of A.G. Cohn et al. (1997) and D.A. Randall et al. (1992). When dealing solely with convex intervals, this system reduces to Allen´s set of relations. Fundamental to the definition of our system is the concept of convexity with respect to an interval, an extension of the concept of convexity
Keywords :
calculus; knowledge representation; temporal logic; temporal reasoning; Region Connection Calculus; convexity; nonconvex intervals; one-dimensional version; reasoning system; temporal reasoning; time intervals; Calculus; Computer science; Lattices; Logic; Mathematics; Ontologies;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 1999. TIME-99. Proceedings. Sixth International Workshop on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7695-0173-7
Type :
conf
DOI :
10.1109/TIME.1999.777967
Filename :
777967
Link To Document :
بازگشت