Kunnskapsutvekslingsformat - Knowledge Interchange Format
Knowledge Interchange Format ( KIF ) er et dataspråk designet for å gjøre det mulig for systemer å dele og gjenbruke informasjon fra kunnskapsbaserte systemer . KIF ligner på rammespråk som KL-One og LOOM, men i motsetning til slikt språk er ikke dets primære rolle ment som et rammeverk for uttrykk eller bruk av kunnskap, men snarere for utveksling av kunnskap mellom systemer. Designerne av KIF sammenlignet det med PostScript . PostScript ble ikke designet primært som et språk for å lagre og manipulere dokumenter, men heller som et utvekslingsformat for systemer og enheter for å dele dokumenter. På samme måte er KIF ment å gjøre det lettere å dele kunnskap på tvers av forskjellige systemer som bruker forskjellige språk, formalismer, plattformer etc.
KIF har en deklarativ semantikk . Det er ment å beskrive fakta om verden i stedet for prosesser eller prosedyrer. Kunnskap kan beskrives som objekter, funksjoner, relasjoner og regler. Det er et formelt språk, dvs. det kan uttrykke vilkårlige uttalelser i første ordens logikk og kan støtte resonnører som kan bevise konsistensen av et sett med KIF-uttalelser. KIF støtter også ikke-monotont resonnement . KIF ble opprettet av Michael Genesereth , Richard Fikes og andre som deltok i DARPA kunnskapsdelingsinnsats .
Selv om den opprinnelige KIF-gruppen hadde til hensikt å underkaste seg et formelt standardorgan, skjedde det ikke. En senere versjon kalt Common Logic har siden blitt utviklet for innlevering til ISO og er godkjent og publisert. En variant kalt SUO-KIF er språket den foreslåtte øvre sammenslåtte ontologien er skrevet på.
En praktisk anvendelse av kunnskapsutvekslingsformatet er et agentkommunikasjonsspråk i et multiagentsystem.
Se også
Referanser
Eksterne linker
 |
Denne informatikkartikkelen er en stub . Du kan hjelpe Wikipedia ved å utvide den . |
