UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
KM: The Knowledge Machine
To encode our knowledge bases, we use the KM knowledge representation and reasoning system. 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. KM is implemented in highly portable common Lisp. Peter Clark (peter.e.clark@boeing.com) built and continues to maintain the KM system.
Download:
TAR
Labs
Knowledge Representation & Reasoning