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