[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Franz Lisp applications

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


        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 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 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-

A frame representation language for AI development.

Available from Steven Rosenberg, Hewlett Packard  (415)  857

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

Digital Equipment's famous expert system, written in  OPS-5,
originally  ran  on top of Franz Lisp.  XCON configures com-
puters before shipment.

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.

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 .

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.

+ 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 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.