LANSKY@SRI-AI.ARPA (01/23/86)
THE ALGEBRA OF TIME INTERVALS
Peter Ladkin (LADKIN@KESTREL)
Kestrel Institute
11:00 AM, MONDAY, January 27
SRI International, Building E, Room EJ228 (new conference room)
We build on work of James Allen (Maintaining Knowledge about Temporal
Intervals, CACM Nov 1983), who suggested a calculus of time intervals.
Allen's intervals are all convex (no gaps). We shall present a
taxonomy of *natural* relations between non-convex [i.e.,
non-contiguous] intervals, and illustrate the expressiveness of this
subclass, with examples from the domain of project management. In
collaboration with Roger Maddux, we have new mathematical results
concerning both Allen's calculus, and our own. We shall present as
many of these as time permits.
The talk represents work in progress. We are currently designing and
implementing a time expert for the Refine system at Kestrel Institute,
which will include the interval calculus.