Info on publicly-available frame representation systems

Peter Karp pkarp at RAY.NLM.NIH.GOV
Thu Oct 18 16:58:26 EST 1990


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 at 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 at 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+ at 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 at cs.utah.edu



More information about the Biomatrx mailing list