KM: The Knowledge Machine

KM: The Knowledge Machine

To encode our knowledge bases, we have developed the KM knowledge representation language. KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism. Its origins were the Theo language and the (now obsolete) language KRL. It is implemented in Lisp.

Manuals and Implementation

KM is released under the GNU Public Licence. A copy of the licence is below and also bundled with the software. If you would like a copy under a different licencing agreement, please contact one of the authors. KM comes with ABSOLUTELY NO WARRANTY. This is free software, and you are wlecome to redistribute it under certain conditions. See the LICENCE below for details.

Important! Please see the RELEASE-NOTES for changes made to KM since the manuals were written.

How to use Lisp on the UT/CS machines.

Back to MFKB Group Home Page

Back to RKF Home Page Created by Bruce Porter Maintained by Dan Tecuci
Last modified August 17, 2000