Knowledge Interchange Format (KIF) is a computer language designed to enable systems to share and re-use information from knowledge-based systems. KIF is similar to frame languages such as KL-One and LOOM but unlike such language its primary role is not intended as a framework for the expression or use of knowledge but rather for the interchange of knowledge between systems. The designers of KIF likened it to PostScript. PostScript was not designed primarily as a language to store and manipulate documents but rather as an interchange format for systems and devices to share documents. In the same way KIF is meant to facilitate sharing of knowledge across different systems that use different languages, formalisms, platforms, etc.
KIF has a declarative semantics.[1] It is meant to describe facts about the world rather than processes or procedures. Knowledge can be described as objects, functions, relations, and rules. It is a formal language, i.e., it can express arbitrary statements in first order logic and can support reasoners that can prove the consistency of a set of KIF statements. KIF also supports non-monotonic reasoning. KIF was created by Michael Genesereth, Richard Fikes and others participating in the DARPA knowledge sharing Effort.[2]
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[3] is the language in which the Suggested Upper Merged Ontology[4] is written.
A practical application of the Knowledge interchange format is an agent communication language in a multi-agent system.[5]
^Andreas L. Symeonidis; Pericles A. Mitkas (15 July 2005). Agent Intelligence Through Data Mining. Springer Science & Business Media. pp. 54–. ISBN 978-0-387-24352-8.
^Genesereth, Michael; Fikes, Richard (June 1992). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF). Stanford Logic Group Report. Logic-92-1. Stanford University. Retrieved 7 August 2014.
^Pease, Adam (2009-06-18). "Standard Upper Ontology Knowledge Interchange Format" (PDF). sigmakee.cvs.sourceforge.net. Retrieved 7 August 2014.
^Suggested Upper Merged Ontology.
^Weiming Shen (17 September 2019). Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing. CRC Press. pp. 248–. ISBN 978-1-4822-8925-1.
and 25 Related for: Knowledge Interchange Format information
KnowledgeInterchangeFormat (KIF) is a computer language designed to enable systems to share and re-use information from knowledge-based systems. KIF...
The Legal KnowledgeInterchangeFormat (LKIF) was developed in the European ESTRELLA project and was designed with the goal of becoming a standard for...
The Rule InterchangeFormat (RIF) is a W3C Recommendation. RIF is part of the infrastructure for the semantic web, along with (principally) SPARQL, RDF...
the TV show Futurama Kingfisher Lake Airport, Ontario, Canada KnowledgeInterchangeFormat, in computing Københavns Idræts Forening, athletics club in Denmark...
Jython K Kaleidoscope Karel KEE Kixtart Klerer-May System KIF (KnowledgeInterchangeFormat) Kojo Kotlin KRC KRL KRL (KUKA Robot Language) KRYPTON KornShell...
author of the influential Game Description Language (GDL) and KnowledgeInterchangeFormat (KIF), the latter of which led to the ISO Common Logic standard...
something of a moving target, it is settling down. The Legal KnowledgeInterchangeFormat (LKIF) was developed in the European ESTRELLA project and designed...
with partial support for Common Logic Conceptual graph KnowledgeInterchangeFormat (KIF) Knowledge representation languages Sowa, John F. "Conceptual graphs...
types, arithmetic, aggregates and inductive definitions) KIF (KnowledgeInterchangeFormat) Ontolingua based on KIF KL-ONE KM programming language LOOM...
knowledge base and an inference engine. The knowledge base stored facts about the world. The inference engine applied logical rules to the knowledge base...
The Argument InterchangeFormat (AIF) is an international effort to develop a representational mechanism for exchanging argument resources between research...
somewhat complementary to the KnowledgeInterchangeFormat that serves as a general representation language for knowledge. It is developed by SRI International's...
Knowledge engineering (KE) refers to all aspects involved in knowledge-based systems. One of the first examples of an expert system was MYCIN, an application...
different source and target schema (proprietary data formats) may exist. An "exchange" or "interchangeformat" is often developed for a single domain, and then...
often employed by expert systems. Programming languages such as Prolog, Knowledge Machine and ECLiPSe support backward chaining within their inference engines...
are designed to solve complex problems by reasoning through bodies of knowledge, represented mainly as if–then rules rather than through conventional...
experts in a specific domain. They rely on forward chaining to apply expert knowledge to solve problems and make recommendations. Diagnosis and Troubleshooting:...
Astronomy Information and Knowledge Group site as a reference. Cover Pages: Extensible Data Format (XDF) UMD Astronomy Knowledge and Information Group Astronomical...
The LAS (LASer) format is a file format designed for the interchange and archiving of lidar point cloud data. It is an open, binary format specified by the...
Knowledge InterchangeFormat Reference Manual Chapter 7: Metaknowledge, Stanford University A Survey of Cognitive and Agent Architectures: Meta-knowledge, University...
higher order quantification. CycL is used to represent the knowledge stored in the Cyc Knowledge Base, available from Cycorp. The source code written in...
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding...
Pandey, P; Devi, R. D; Rebecca, A; Sarma, M. Manju; Lakshmi, B (2014), "Knowledge based system for Satellite data product selection", The International...
their properties." "Commonsense knowledge differs from encyclopedic knowledge in that it deals with general knowledge rather than the details of specific...
Ontology languages Attempto Controlled English CycL F-logic FO(.) KnowledgeInterchangeFormat Web Ontology Language Theorem provers CARINE E Nqthm Otter Paradox...