Knowledge Interchange Format Version 3.0 Reference Manual in Collaboration With

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 rst-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 de nition of objects, functions, and relations.

Statistics

020406080'94'97'00'03'06'09'12'15
Citations per Year

857 Citations

Semantic Scholar estimates that this publication has 857 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Genesereth1992KnowledgeIF, title={Knowledge Interchange Format Version 3.0 Reference Manual in Collaboration With}, author={Michael R. Genesereth and Richard Fikes and Daniel G. Bobrow and Ronald J. Brachman and Thomas R. Gruber and Patrick J. Hayes and Reed Letsinger and Vladimir Lifschitz and Robert Macgregor and John McCarthy and Peter Norvig and Ramesh S. Patil and Len K. Schubert}, year={1992} }