pkarp@RAY.NLM.NIH.GOV (Peter Karp) (10/19/90)
The following is a list of functional, publicly available, frame
knowledge representation systems. If you are aware of additional such
systems, I would be interested to hear about them. (Note that LOOM is
another system in this category, but it has not yet been officially
released).
-------------------------------------------------------------------------
THEO
Frame-based representation, with Lisp and Prolog inference methods,
and several user-invokable learning methods
Availability: For nonprofit research, with no right to redistribute
Fee: None
Licensing: Potential users must complete a licensing agreement form before
the code is distributed
Hardware and Software Requirements: Commonlisp (runs in Lucid and Allegro).
Graphical interface available running under X windows.
References:
"Theo: A Framework for Self-Improving Systems", Tom M. Mitchell, John
Allen, Prasad Chalasani, John Cheng, Oren Etzioni, Marc N. Ringuette,
Jeffrey C. Schlimmer, in "Architectures for Intelligence", K. Vanlehn
(ed.), Erlbaum, to appear 1990.
Contact:
Professor Tom Mitchell
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Tom.Mitchell@cs.cmu.edu
-------------------------------------------------------------------------
PARMENIDES
Availability: For nonprofit research, with no right to redistribute
Fee: None unless if it is to be used for commercial purposes
Licensing: Potential users must complete a licensing agreement form before
the code is distributed
Hardware and Software Requirements: Parmenides runs on any reasonable
dialect of CommonLisp.
References:
Contact the author for user manual.
Contact:
Peter Shell
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
pshell@cs.cmu.edu
-------------------------------------------------------------------------
FRAMEKIT
A Frame-Based Knowledge Representation System
Common Lisp source code and 34pp User's Guide
Functionality: Frames, Slots, Facets, Views, Fillers; Demons;
Breadth-First, Depth-First and Exhaustive
Inheritance; User-Defined Inheritance; Default
Values; Restrictions; Abstract Data-Typing (to
permit any low-level storage scheme); Save
Utility; and more
Availability: For non-profit research only, unlimited on-site use, with no
right to re-distribute for profit or otherwise
Fee: None, if distributed for non-profit research (commercial use of
FrameKit must be negotiated under separate terms)
Licensing: Potential users must complete a licensing agreement form before
the code is distributed
Support: Strictly unofficial, although we do try to fix bugs that are
reported to us; licensed users have access to major revisions
of the system (Version 3.0 is planned for release later this year)
Hardware and Software Requirements: should run in any Common Lisp;
instructions on how to compile for a particular CL are provided
Format: 5.5" DOS format floppy or 3.5" Mac disk free of charge; other
formats can be arranged at nominal cost
References:
Nyberg, E. (1988). {\it The FrameKit User's Guide: Version 2.0},
Technical Memo, Center for Machine Translation, Carnegie Mellon
University, CMU-CMT-88-MEMO.
FrameKit has been used in several applications within CMU and elsewhere.
Contact Eric Nyberg (address below) if you're interested in additional
references.
Contact:
Eric Nyberg
Center for Machine Translation
Carnegie Mellon University
Pittsburgh, PA 15213
ehn+@cs.cmu.edu
-------------------------------------------------------------------------
FROBS
Object-oriented Frame Language
Availability: Publicly available
Fee: None
Licensing: None, but may not be used for commercial applications.
Hardware and Software Requirements: Common Lisp
References:
Muehle, E., Kessler, R., Krohnfeldt, J., "Efficient Structures for
Knowledge-based Applications", University of Utah TR-87-03, Presented
at 1987 Rocky Mountain Conference on Artificial Intelligence.
Muehle, E., "FROBS User Guide", University of Utah PASS Project OpNote
87-05.
Krohnfeldt, J., Steury, C., "Frolic: Logic Programming with Frobs",
University of Utah PASS Project OpNote 86-08.
Contact:
Robert Kessler
Computer Science Department
University of Utah
kessler@cs.utah.edu