KM programming language
Encyclopedia
KM, the Knowledge Machine, is a frame-based language used for knowledge representation
work.
It has first-order logic semantics, and includes machinery for reasoning, including selection by description, unification, classification, and reasoning about actions. Its origins were the Theo language and KRL, and is implemented in Lisp.
Knowledge representation
Knowledge representation is an area of artificial intelligence research aimed at representing knowledge in symbols to facilitate inferencing from those knowledge elements, creating new elements of knowledge...
work.
It has first-order logic semantics, and includes machinery for reasoning, including selection by description, unification, classification, and reasoning about actions. Its origins were the Theo language and KRL, and is implemented in Lisp.
External links
- KM: The Knowledge Machine.
- An Ontology editor for the KM language: KMgen.