DMCA
Knowledge Interchange Format Version 3.0 Reference Manual (1992)
| Citations: | 484 - 14 self |
BibTeX
@MISC{Genesereth92knowledgeinterchange,
author = {Michael Genesereth and Richard E. Fikes and Ronald Brachman and Thomas Gruber and Patrick Hayes and Reed Letsinger and Vladimir Lifschitz and Robert Macgregor and John Mccarthy and Peter Norvig and Ramesh Patil},
title = {Knowledge Interchange Format Version 3.0 Reference Manual},
year = {1992}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate 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. Table of Contents 1. Introduction................................................... 5 2. Syntax......................................................... 7 2.1. Linear KIF................................................ 7 2.2. Structured KIF............................................ 7 3. Conceptualization..................................
