Primitives and Units for Time Specification

Peter Ladkin

We work in a calculus of intervals, formulated by James Allen for convex intervals, and by ourselves for unions of convex intervals [All2,Lad2]. We investigate the primitive relations and operations needed for implementing such calculi in a system which includes some set theory, and which allows the assertional definition of operators in Horn clause fashion. We indicate how standard temporal logic may be rephrased in the interval calculus, and present a formalisation of a system of time units in the interval framework. We are implementing the primitives in the REFINETM system.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.