[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Franz Lisp applications
- To: franz-friends@Berkeley
- Subject: Franz Lisp applications
- From: franz!schlafly@Berkeley (Roger Schlafly)
- Date: Fri, 5 Apr 85 18:37:18 GMT
- Original-date: Fri, 5 Apr 85 10:37:18 pst
Here is my list of Franz Lisp applications. Enough people
requested copies that I am sending it to all franz-friends.
If anyone sees any notable omissions, please send me a
message and I will augment the list.
Roger Schlafly
ucbvax!franz!schlafly
============================================================
AI and Expert System Tools and Applications
Developed or Running under Franz Lisp
+ OPS-5
A rule based environment for developing expert systems.
Available from Franz Inc. with Franz LISP at no charge, or
at no charge from Carnegie Mellon University.
Computer Science Department, Carnegie Mellon University,
Schenley Park, Pittsburgh PA 15213. (412) 578-2592
+ Flavors
An object oriented extension of Lisp, developed at MIT and
the University of Maryland. Used on the Symbolics Lisp
machines. Available from Franz Inc. at no charge to pur-
chasers of Franz Lisp.
+ DUCK
DUCK is an expert systems development environment.
Available from Smart Systems Technology, 6870 Elm St.
McLean, VA. 22101 (703) 448-8562.
+ Boyer-Moore Theorem Prover
Available from Prof. Robert Boyer, University of Texas, Aus-
tin. Computer Science Department, 3-28 Painter Hall,
University of Texas, Austin, Texas 78712. (512) 471-7316
+ GLISP
GLISP is a high-level language which is based on Lisp and is
compiled into Lisp. It was developed at the University of
Texas at Austin by Prof. Gordon Novak. Object-centered pro-
gramming is supported. Message interpretations can be
looked up at compile time to produce efficient code. A
window-based editor, GEV, is available to inspect and edit
data according to its data structure description. GLISP is
available from Franz Inc. at no charge to purchasers of
Franz Lisp, or from the University of Texas at Austin, Prof.
Gordon Novak, Computer Science Department, 3-28 Painter
Hall, University of Texas, Austin, Texas 78712. (512) 471-
7316
+ FRL
A frame representation language for AI development.
Available from Steven Rosenberg, Hewlett Packard (415) 857
5902
+ MRS
A logic based knowledge representation system. Available
from Stanford University.
Attention: Pattie McCabe SUMEX Computing Facility, Stanford
University Medical Center, Room TB105, Stanford, California
94305, (415) 497-5141
+ Macsyma
Developed at MIT, Macsyma is a program that carries out sym-
bolic computation. It will solve all those integrals you
learned about in your calculus class, as well as systems of
differential equations and other mathematical problems.
+ Reduce
Reduce is similar to Macsyma. It was developed at the
University of Utah. Computer Science Department, 3160 Mer-
rill Engineering Bldg. Salt Lake City, Utah 84112. (801)
484-7651 Ext 205
+ XCON
Digital Equipment's famous expert system, written in OPS-5,
originally ran on top of Franz Lisp. XCON configures com-
puters before shipment.
+ ACE
Automatic Cable Expertise : A knowledge based expert system
that provides trouble-shooting and diagnostic reports for
telephone company managers. Developed by Stolfo, Vesonder
and others at AT&T Bell Labs. For details see "The Fifth
Generation Challenge" Proceedings ACM '84 Annual Conference.
+ Slang
A circuit design and analysis tool. It has been used to
design several integrated circuits at U.C. Berkeley. A
detailed description is in the masters thesis of Korbin Van
Dyke at U.C. Berkeley.
Available from: Industrial Liason Program, EECS Department,
University of California, Berkeley CA 94720 (415) 642-0253
+ Lyra
A VLSI design rule checker. A description is in the masters
thesis of Michael Arnold at U.C. Berkeley.
+ Pearl
A database and AI representation language written in Franz
Lisp. Available from Franz Inc. at no charge to purchasers
of Franz Lisp.
+ YAPS
Yet Another Production System. Developed by Liz Allen at
the University of Maryland. A forward driven production
rule system similar to OPS-5, but with added flexibility.
YAPS supports objects in facts, and defines an object that
is a complete production system, so you can have more than
one expert around at a time. See "YAPS: A Production System
Meets Object" by Liz Allen in AAAI-83 for more information.
YAPS is available at nominal cost from the Universtiy of
Maryland. The license fee is $100 for BSD 4.1, $250 for
4.2. It's also Arpanet FTP'able for $100 for either ver-
sion. Contact Bob Bane on Arpanet at bane@maryland or on
Usenet at ...seismo!umcp-cs!bane or contact Liz Allen at
liz@tove.arpa or seismo!umcp-cs!liz .
+ GENIE
GENeric Inference Engine. An expert system development
tool. Written by John Dumer, Tim Hanratty, Paul Tanenbaum,
and Fred S. Brundick. For more information contact: Fred S.
Brundick,
+ The Berkeley UNIX Consultant
An expert System incorporating a natural language interface
which answers questions about UNIX. Under development at
U.C. Berkeley. USABRL, APG, MD. <fsbrn@brl-voc>
+ ROSS and SWIRL
ROSS is an object-oriented language developed for building
knowledge based simulations. SWIRL is a program written in
ROSS that embeds knowledge about defensive and offensive air
battle strategies. Developed by Narain, McArthur and Klahr
at The Rand Corporation, 1700 Main Street, Santa Monica CA
90406. These systems were implemented in various LISP
environments including Franz LISP. A comparison of hte
various environments in terms of CPU usage, real-time usage
and user aids can be found in an article by the above in the
proceedings of the 1983 International Joint Conference on
Artificial Intelligence, Karlsruhe, W. Germany.