Worldlex Wiki Knowledge Interchange Format ( KIF ) est un langage informatique conçu pour permettre aux systèmes de partager et de réutiliser des informations provenant de systèmes basés sur la connaissance . KIF est similaire aux langages de cadre tels que KL-One et LOOM, mais contrairement à ces langages, son rôle principal n'est pas de servir de cadre à l'expression ou à l'utilisation des connaissances, mais plutôt d'é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 de stockage et de manipulation de documents, mais plutôt comme un format d'échange permettant aux systèmes et aux appareils de partager des documents. De la même manière, KIF est destiné à faciliter le partage des connaissances entre différents systèmes qui utilisent 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 la logique du premier ordre et peut prendre en charge des raisonneurs qui peuvent prouver la cohérence d'un ensemble d'énoncés KIF. KIF prend également en charge le raisonnement non monotone . KIF a été créé par Michael Genesereth , Richard Fikes et d'autres participants à l' effort de partage des connaissances de la DARPA .
Bien que le groupe KIF initial ait eu l'intention de soumettre sa proposition à un organisme de normalisation officiel, cela n'a pas eu lieu. Une version ultérieure appelée Common Logic a depuis été développée pour être soumise à l'ISO et a été approuvée et publiée. Une variante appelée SUO-KIF est le langage dans lequel l' ontologie fusionnée supérieure suggérée est écrite.
Une application pratique du format d’échange de connaissances est un langage de communication d’agent dans un système multi-agent.