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.

km-overview.script - An annotated, sample session with KM, illustrating some of the language's main features.
LICENCE - A copy of the GNU Public Licence, under which KM is released.
km.1.4.0-beta50.lisp - beta-50 release of KM v1.4.0, the very latest.
RELEASE-NOTES - Important release notes! This documents changes to KM since the manuals were written.
test-suite.km - Test suite (for v1.4.0-beta50), includes all the examples from the manuals.
KM (1.4): Users Manual P. Clark and B. Porter (1999). (Compressed postscript).
KM (1.4): Situations Manual P. Clark and B. Porter (2000). (Compressed postscript).
- This describes KM's mechanism for reasoning about and comparing different situations.
KM (1.4): Reference Manual P. Clark and B. Porter (2000). Compressed postscript).
- A BNF and brief summary of all KM's commands.
Older versions: Some older versions of KM are also available at this Web site: just edit the URL to the newest KM to contain the version name you are looking for.

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