Title :
A hierarchy for convex relations
Author_Institution :
Centre for Cognitive Sci., Edinburgh Univ., UK
Abstract :
This paper is concerned with a hierarchical representation of the convex relation algebra, which is a computationally tractable subset of Allen´s interval calculus. The hierarchy of convex relations is used to determine the minimal point relation constraints which hold between the end points of the intervals. Nine convex relations are proven to be special, because they introduce new constraints. One intended application of this hierarchy is a natural language discourse processing system. A more precise specification for the temporal constraints derivable by the discourse grammar due to Lascarides and Asher (1993) is given
Keywords :
calculus; relational algebra; temporal logic; temporal reasoning; convex relations; discourse grammar; interval calculus; natural language discourse processing; relation algebra; Algebra; Bridges; Buildings; Calculus; Cognitive science; Computer science; Councils; Helium; Natural languages;
Conference_Titel :
Temporal Representation and Reasoning, 1997. (TIME '97), Proceedings., Fourth International Workshop on
Conference_Location :
Dayton Beach, FL
Print_ISBN :
0-8186-7937-9
DOI :
10.1109/TIME.1997.600787