The following is a list of the publicly available AI software that I
learned about in response to my message of a month or so ago. Please
send any corrections or modifications to me.
I will do my best to keep an updated copy of this list available by
anonymous ftp from the "public" directory on t.stanford.edu.
Matt Ginsberg
KNOWLEDGE REPRESENTATION
--------- --------------
Name Address Dist Doc? Feature
RHETORICAL ······@cs.rochester.edu ftp yes planning
MVL ········@t.stanford.edu ftp yes multivalued logics
KNOWBEL ······@ai.toronto.edu ftp no sorted/temporal logic
SB-ONE ·····@cs.uni-sb.de license German KL-ONE family
KRIS ······@dfki.uni-kl.de 3.5" no KL-ONE (Symbolics only)
BACK ········@tubvm.cs.tu-berlin.de
3.5" no KL-ONE family
PARKA ·······@cs.umd.edu ftp no frames (designed for
connection machine)
PARMENIDES ······@cs.cmu.edu ? yes frames
FRAMEKIT ····@cs.cmu.edu floppy yes frames
FROBS ·······@cs.utah.edu ? yes frames
CLASSIC ···@research.att.com licence yes KL-ONE family
SNePS ·······@cs.buffalo.edu licence yes semantic net
BELIEF ······@stat.washington.edu ftp or yes belief networks
email
BABBLER ····@ra.msstate.edu email no Markov chains/NLP
PLANNING
--------
PRODIGY ·······@cs.cmu.edu licence yes planning and learning
NONLIN ····················@cs.umd.edu
ftp yes NONLIN in common lisp
TILEWORLD ·······@ai.sri.com ftp yes planning tesetbed
SNLP ····@cs.washington.edu ftp no nonlinear planner
MATHEMATICS
-----------
SYMBMATH ·····@deakin.oz.au licence yes Prolog
JACAL ······@ai.mit.edu like GNU ? implicit representation
LEARNING
--------
COBWEB/3 ······@ptolemy.arc.nasa.gov
licence yes concept formation
PROTOS ······@cs.utexas.edu ftp yes knowledge acquisition
THEO ············@cs.cmu.edu ? no frames, learning
SOAR ·············@cs.cmu.edu licence yes integrated architecture
Except as indicated, all are in generic Common Lisp. All developers
distribute source code for fairly unrestricted noncommercial use.
Name = system name
Address = net address of one contact
Dist = distribution medium. For ftp, try anonymous ftp to the machine
listed under address and you should be able to figure it out.
License means you have to sign a licence (perhaps at nominal cost)
and then you get access.
Doc? = is there a user's manual?
Feature = brief system summary