Knowledge Interchange Format
Le Knowledge Interchange Format (ou KIF) est un langage informatique conçu pour permettre aux systèmes de partager et de réutiliser les informations provenant de systèmes basés sur les connaissances.
Le KIF est similaire aux langages de trame tels que KL-One et LOOM, mais contrairement à ce langage, son rôle principal n'est pas de finaliser en tant que cadre pour l'expression ou l'utilisation de connaissances mais plutôt pour l’échange de connaissances entre systèmes. Les concepteurs de KIF l'ont comparé à PostScript. PostScript n'a pas été conçu principalement comme un langage permettant de stocker et de manipuler des documents, mais plutôt comme un format d'échange permettant aux systèmes et aux périphériques de partager des documents. De la même manière, KIF est conçu pour faciliter le partage des connaissances entre différents systèmes utilisant différents langages, formalismes, plates-formes, etc.
KIF a une sémantique déclarative. Il est destiné à décrire des faits sur le monde plutôt que des processus ou des procédures. La connaissance peut être décrite comme des objets, des fonctions, des relations et des règles. C’est un langage formel, c’est-à-dire qu’il peut exprimer des déclarations arbitraires dans une logique de premier ordre et peut aider les raisonneurs qui peuvent prouver la cohérence d’un ensemble d’instructions KIF. KIF prend également en charge le raisonnement non monotone. KIF a été créé par Michael Genesereth, Richard Fikes et d’autres personnes participant à l’effort de partage des connaissances de la DARPA.
Bien que le groupe KIF d’origine prévoyait de soumettre le KIF à un organisme de normalisation formelles, cela ne s’est jamais produit. Une version ultérieure appelée Common Logic a depuis été mise au point pour soumission à l’ISO et a été approuvée et publiée.