Temporal Reasoning and Problem Solving
Abstract:
Temporal Reasoning involves the study of a general theory of time and an associated reasoning. Representation of time plays an important role in acquiring and manipulating temporal knowledge. Within the artificial intelligence community, there are two popular approaches to representing time intervals and points. However, very little work has been done to combine the best aspects of these systems under a single framework. The main accomplishments of this project am a developed a temporal framework that combines the advantages of both the point-based and the interval-based systems which allow metric bounds on an events duration, b designed algorithms for satisfying temporal constraints, c developed an efficient algorithm for propagating temporal constraints, and explored the feasibility of applying parallelism, and d designed and implemented a primitive point-based temporal reasoning system.