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.

Tutorials

Manuals

Software

KM is released under the Simplified BSD 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.

Support Tools

KM Mailing List

You can stay up-to-date with KM, post and answer questions, be alerted to new releases of KM, etc. by joining the KM Users Group hosted by Google Groups at http://groups-beta.google.com/group/km-qa.

Additional Background Information

Other

Back to KBS Group Home Page


porter@cs.utexas.edu