Knowledge Interchange Format

KIF is also the IATA code for Kingfisher Lake Airport.

Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the first-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the definition of objects, functions, and relations.

It was originally created by Michael Genesereth and others participating in the DARPA knowledge Sharing Effort. There have been a number of versions of KIF.

Although the original KIF group intended to submit to a formal standards body, that did not occur. A later version called Common Logic has since been developed for submission to ISO and has been approved and published. A variant called SUO-KIF is the language in which the Suggested Upper Merged Ontology is written.

External links

• Knowledge Interchange Format page at the Stanford AI Lab
• Suggested Upper Merged Ontology
• Common Logic
• SUO-KIF syntax
• [[Knowledge QuapsopFailed to parse (syntax error): {\displaystyle <!-- Insert formula here -->#REDIRECT [[Insert text]]} ery and Manipulsssafration Language]]

[[Image:[[Image:Example.jpg]]]]

[[Media:Example.ogg[

http://www.example.com link title

]]] --86.139.191.203 (talk) 09:44, 22 August 2008 (UTC)