Knowledge Interchange Format

Formatul de schimb de cunoștințe (KIF) este un limbaj computer conceput pentru a permite sistemelor să partajeze și să reutilizeze informațiile din sistemele bazate pe cunoștințe.

KIF este similar cu limbajele de cadru, cum ar fi KL-one și Loom, dar spre deosebire de un astfel de limbaj, rolul său principal nu este destinat ca un cadru pentru expresia sau utilizarea cunoștințelor, ci mai degrabă pentru schimbul de cunoștințe între sisteme.

Designerii KIF l -au asemănat cu Postscript.

PostScript nu a fost conceput în principal ca limbă pentru stocarea și manipularea documentelor, ci mai degrabă ca format de schimb pentru sisteme și dispozitive pentru a partaja documente.

În același mod, KIF este menit să faciliteze împărtășirea cunoștințelor pe diferite sisteme care utilizează limbi, formalisme, platforme, etc.

KIF are o semantică declarativă.

Este menit să descrie fapte despre lume, mai degrabă decât procese sau proceduri.

Cunoașterea poate fi descrisă ca obiecte, funcții, relații și reguli.

Este un limbaj formal, adică poate exprima declarații arbitrare în logica de prim ordin și poate susține raționamente care pot dovedi coerența unui set de declarații KIF.

KIF acceptă, de asemenea, raționamentul non-monotonic.

KIF a fost creat de Michael Genesereth, Richard Fikes și alții care au participat la efortul de schimb de cunoștințe DARPA.

Deși grupul original KIF intenționat să se supună unui corp de standarde formale, care nu s -a produs.

De atunci a fost dezvoltată o versiune ulterioară numită Logică comună pentru depunerea ISO și a fost aprobată și publicată.

O variantă numită Suo-kif este limba în care este scrisă ontologia superioară sugerată.

O aplicare practică a formatului de schimb de cunoștințe este un limbaj de comunicare a agentului într-un sistem multi-agenți.