KM programming language
| Paradigm | knowledge representation |
|---|---|
| Influenced by | |
| KRL | |
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.
External links
- KM: The Knowledge Machine.
- An Ontology editor for the KM language: KMgen.
This article is issued from Wikipedia - version of the 10/9/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.