CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

TimeLogic and Tempos: Time reasoning system.

TIMELOGIC and TEMPOS add James Allen's interval logic to Rhet. The TimeLogic system is an interval-based forward chaining inference engine and database manager of temporal constraints. Relational constraints, indicating relative order between intervals, are based on Allen's interval logic. The TimeLogic system also supports durational constraints, indicating relative magnitude between intervals, and reference links, used for the explicit or automatic construction of interval hierarchies. Constraints are posed and propagated in user-defined contexts with inheritance. Supports relative metric constraints but no absolute dates or times.

Version: Tempos 3.12, TimeLogic 5.1 Requires: Common Lisp, CL-LIB Ports: Runs on Symbolics Genera 8.1.1, Allegro CL 4.1 Updated: Thu Dec 1 16:06:29 1994 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Bug Reports: Mailing List: To subscribe, send mail to Author(s): Hans Koomen (TimeLogic) Brad Miller (Tempos maintenance) Contact: Peggy Meeker Keywords: Allen's Intervals, Authors!Koomen, Authors!Miller.Brad, Forward Chaining, Inference Engines, Knowledge Representation, Planning, RHET, TEMPOS, TIMELOGIC, Temporal Constraints, Time, Univ. of Rochester References: ?
Last Web update on Mon Feb 13 10:24:09 1995