From: IN%"peter@Nexus.YorkU.CA" "Peter Roosen-Runge" 21-OCT-1990 17:30:01.13 To: cs100006@YUSol CC: Subj: Return-path: peter@Nexus.YorkU.CA Received: from JNET-DAEMON by YUSol; Sun, 21 Oct 90 17:29 EDT Received: From YORKVM1(MAILER) by YUSOL with Jnet id 0467 for CS100006@YUSOL; Sun, 21 Oct 90 17:29 EDT Received: from YUOrion by VM1.YORKU.CA (Mailer R2.07) with BSMTP id 1628; Sun, 21 Oct 90 17:29:07 EDT Received: from nexus.yorku.ca by Orion.YorkU.CA; Sun, 21 Oct 90 17:29 EDT Received: by nexus.yorku.ca id 6154; Sun, 21 Oct 90 17:27:49 EDT Date: Sun, 21 Oct 90 17:27:48 EDT From: Peter Roosen-Runge To: cs100006@YUSol Message-Id: <90Oct21.172749edt.6154@nexus.yorku.ca> Path: yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!math. lsa.umich.edu!math.lsa.umich.edu!emv From: usenet@nlm.nih.gov (usenet news poster) Newsgroups: comp.archives Subject: [ai] List of publicly-available frame representation systems Message-ID: <1990Oct19.224552.18662@math.lsa.umich.edu> Date: 19 Oct 90 22:45:52 GMT Article-I.D.: math.1990Oct19.224552.18662 Posted: Fri Oct 19 18:45:52 1990 Sender: emv@math.lsa.umich.edu (Edward Vielmetti) Reply-To: pkarp@grubby-thicket.nlm.nih.gov () Followup-To: comp.ai Organization: National Library of Medicine, Bethesda, Md. Lines: 157 Approved: emv@math.lsa.umich.edu (Edward Vielmetti) X-Original-Newsgroups: comp.ai Archive-name: frame-knowledge/18-Oct-90 Original-posting-by: usenet@nlm.nih.gov (usenet news poster) Original-subject: List of publicly-available frame representation systems Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti) The following is a list of functional, publicly available, frame knowledge representation systems. If you are aware of additional such systems, please post them to this newsgroup or send them to me by mail. (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