CMU Artificial Intelligence Repository
TimeLogic and Tempos: Time reasoning system.
areas/kr/systems/rhet/time/
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.
Origin:
ftp.cs.rochester.edu:/pub/packages/knowledge-tools/
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: rhet-bugs@cs.rochester.edu
Mailing List: rhet@cs.rochester.edu
To subscribe, send mail to rhet-request@cs.rochester.edu.
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
AI.Repository@cs.cmu.edu