VAL@SAIL.STANFORD.EDU (Vladimir Lifschitz) (01/08/87)
Commonsense and Nonmonotonic Reasoning Seminar
NEW RESULTS ON TIME MODELLING WITH INTERVALS
Peter Ladkin
Kestrel Institute
(ladkin@kestrel.arpa)
Thursday, January 15, 4pm
Bldg. 160, Room 161K (NEW PLACE!)
James Allen introduced a calculus for reasoning about time using
intervals, instead of points. In this talk, we shall indicate two
new results for time modelling using intervals, and indicate why
they help overcome some of the objections to using an interval system
for reasoning about time. Much of this work is joint with Roger
Maddux. Briefly, we have shown that there is only one countable
representation of the calculus, up to isomorphism, and that the
system of time units introduced in [Ladkin AAAI-86] is isomorphic
to this countable representation.