CMU Artificial Intelligence Repository
TimeGraph II (TG-II): Reasoning about Qualitative Temporal
Information
areas/reasonng/temporal/tg/
TimeGraph II (TG-II) handles the set of the relations of the Point
Algebra and of the Pointizable Interval Algebra (also called Simple
Interval Algebra by P. van Beek). Temporal relations are represented
through a "timegraph", a graph partitioned into a collection of "time
chains" which are automatically structured for efficiency. The system
is scalable, in the sense that the storage tends to remain linear in
the number of relations asserted. Efficient query handling is achieved
through a time point numbering scheme and a "metagraph" data
structure.
Origin:
cs.rochester.edu:/pub/knowledge-tools/
as the files tg-ii.readme and tg-ii-1.tar.gz
Version: 1.0 (30-MAR-94)
Requires: Common Lisp
Ports: Tested under Allegro CL 4.2 and Lucid CL 4.0.0.
Copying: Copyright (C) 1994 by Istituto per la Ricerca Scientifica e
Tecnologica (IRST) (38050 Povo, Trento Italy) and the
Trustees of the University of Rochester (Rochester, NY
14627, USA). All rights reserved.
GNU GPL v2.
Use, copying, and distribution permitted, provided you
report *ALL* bugs, bug fixes, and ports to
bug-tg2-request@cs.rochester.edu
and let the authors know that you've retrieved a copy of
TimeGraph II by anonymous ftp, by sending them a message
to the same address. (See README and COPYRIGHT.TEXT for
details.)
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: bug-tg2@cs.rochester.edu
Mailing List: To be put on the bug-tg2@cs.rochester.edu mailing list,
send your request to bug-tg2-request@cs.rochester.edu.
Author(s): Alfonso Gerevini
Lenhart Schubert
Keywords:
Algebra, Authors!Gerevini, Authors!Schubert,
Interval Algebra, Knowledge Representation, Lisp!Code,
Point Algebra, Pointizable Interval,
Reasoning!Temporal Reasoning, Simple Interval Algebra, TG-II,
Temporal Reasoning, Temporal Relations, TimeGraph-II
References:
For a description of the theory underlying the system see
[1] Alfonso Gerevini and Lenhart Schubert, "Efficient Temporal
Reasoning through Timegraphs", in Proceedings of IJCAI-93.
[2] Alfonso Gerevini and Lenhart Schubert, "Temporal Reasoning in
TimeGraph I-II", SIGART Bulletin 4(3), July 1993.
[3] Alfonso Gerevini and Lenhart Schubert, "Efficient Algorithms
for Qualitative Reasoning about Time", Artificial Intelligece,
to appear. Also available as IRST Technical Report 9307-44,
IRST 38050 Povo, TN Italy; or Tech. report 496, Computer Science
Department, University of Rochester, Rochester 14627 NY, USA.
Last Web update on Mon Feb 13 10:27:56 1995
AI.Repository@cs.cmu.edu