Index of /ftp/pub/qsim
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
algernon/ 07-Mar-2008 17:49 -
cc/ 21-Oct-1993 13:46 -
clancy/ 15-Nov-1999 01:52 -
cq/ 09-Mar-2006 08:34 -
data/ 24-Sep-2001 12:05 -
flat/ 12-Nov-1999 09:42 -
papers/ 14-Nov-2008 10:50 -
qpc/ 18-Apr-1994 13:21 -
qsim/ 23-Jun-2000 12:01 -
suntimes/ 28-Nov-1996 12:10 -
tmp/ 18-Nov-1998 10:49 -
![[TXT]](/icons/text.gif)
COPYRIGHT 06-Feb-1992 10:53 1.8K
Updated: 10/21/93 DJC
Modified: 5/24/94 BJK
Welcome to the University of Texas Qualitative Reasoning FTP site,
ftp.cs.utexas.edu:/pub/qsim. You may also be interested in our
World-Wide Web page, at:
http://www.cs.utexas.edu/users/qr/
The ftp directory (/pub/qsim) is for the public distribution of
information pertaining to research performed under the direction of
Benjamin Kuipers. All software in this directory is distributed under
the copyright agreement which is included in the file copyright.
There are 4 different subdirectories containing information that may
be of interest to you:
qsim Contains the latest distribution of QSIM
along with extensions that are not
included in the baseline.
QSIM is a qualitative reasoning simulator.
Some relevant papers are included in the PAPERS
directory along with a complete bibliography.
If you are installing QSIM on Linux CLISP or GLISP,
ftp the file linux-install.txt. This includes notes from other
people that have installed it under linux. These
notes are from before the simplification of the
installation procedures. Thus, some of the
information may not be required.
qpc The Qualitative Process Compiler (QPC) implements
Forbus' Qualitative Process (QP) Theory by compiling
processes and views into a QSIM Qualitative
Differential Equation (QDE). It uses QSIM to
simulate the QDE. The knowledge base is represented
using Algernon.
algernon Algernon is an expert system shell which implements
Access Limited Logic (ALL).
cc CC is an extension to QSIM which allows
component connection modeling using QSIM.
papers Contains postscript versions of papers relevant
to the systems being distributed. A complete
bibliography is also included.
See also: pub/qsim/papers/README.
Most of the systems are distributed via compressed tar files. If the
filename ends in .tar.Z, execute the following unix command to unpack
the file and create the appropriate directory structure on your system.
zcat <filename> | tar xvf -
Execute this command in the directory in which you intend to place the
system.
The contents of the directories are as follows:
Directory: QSIM
Files: qsim4.0-alpha-2.tar.Z
The latest release of QSIM.
Installation instructions are included
in the documentation directory.
A copy of the QSIM manual (q.ps) is also
included. This release is dated
April 1, 1997. This is the best
version to obtain.
qsim3.0.tar.Z The previous release of QSIM
qsim2.0.tar.Z The previous release of QSIM.
qsim2.0-nodoc.tar.Z
QSIM 2.0 without the documentation
or the manual.
qsim-man-draft.tar.Z
The latest draft of the QSIM manual.
Directory: ALGERNON
algernon.tar.Z The latest release of algernon.
Directory: QPC
qpc.tar.Z The latest release of QPC. This release
includes Algernon but not QSIM. QPC
also requires QSIM.
Directory: CC
CC.tar.Z The latest release of CC.
Directory: PAPERS
README Describes where to find lists of our papers
qsim-papers.ps.Z
Complete bibliography of the QSIM papers.
OTHER SITES:
The QSIM software has also been made available at an FTP distribution
site in Europe. If you have any problems obtaining it from this site
please attempt to obtain it from the PUB directory at udmi5400.cineca.it.
Thank you for you interest in QSIM and other software distributed by this
group. If you have any questions or comments please sent them to
clancy@cs.utexas.edu. If you would like to report a QSIM bug, then
send mail to qsim-bugs@cs.utexas.edu.
Dan Clancy