Home      Discussion      Topics      Dictionary      Almanac
Signup       Login
KM programming language

KM programming language

Overview
KM, the Knowledge Machine, is a frame-based language used for knowledge representation
Knowledge representation
Knowledge representation is an area in artificial intelligence that is concerned with how to formally "think", that is, how to use a symbol system to represent "a domain of discourse" - that which can be talked about, along with functions that may or may not be within the domain of discourse that...

 work.
Discussion
Ask a question about 'KM programming language'
Start a new discussion about 'KM programming language'
Answer questions from other users
Full Discussion Forum
 
Encyclopedia
KM, the Knowledge Machine, is a frame-based language used for knowledge representation
Knowledge representation
Knowledge representation is an area in artificial intelligence that is concerned with how to formally "think", that is, how to use a symbol system to represent "a domain of discourse" - that which can be talked about, along with functions that may or may not be within the domain of discourse that...

 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
Lisp
A lisp is a speech impediment, historically also known as sigmatism. Stereotypically, people with a lisp are unable to pronounce sibilants , and replace them with interdentals , though there are actually several kinds of lisps...

.

External links