Abstract

A constraint-based qualitative reasoning system that integrates Allen's interval calculus, point calculus and pan of Simmons' quantity lattice is presented in this paper. The highlight of the work is a simple but powerful logical system for expressing both quantitative and qualitative information managed by a temporal manager (TM). Allen's algorithm, which deals with time intervals, is extended to reason about time points. The hybrid method of propagating temporal constraints permits flexible control over both systems. We try to offset the limitations of an interval-based representation by the advantages of a point-based representation.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call