Formato de intercambio de conocimientos

El formato de intercambio de conocimiento ( KIF ) es un lenguaje informático diseñado para permitir que los sistemas compartan y reutilicen información de sistemas basados ​​en conocimiento . KIF es similar a lenguajes de marco como KL-One y LOOM , pero a diferencia de estos, su función principal no es la de un marco para la expresión o el uso del conocimiento, sino la de facilitar el intercambio de conocimiento entre sistemas. Los diseñadores de KIF lo compararon con PostScript . PostScript no se diseñó principalmente como un lenguaje para almacenar y manipular documentos, sino como un formato de intercambio para que sistemas y dispositivos compartieran documentos. De la misma manera, KIF busca facilitar el intercambio de conocimiento entre diferentes sistemas que utilizan distintos lenguajes, formalismos, plataformas, etc.

KIF tiene una semántica declarativa . ^{[ 1 ]} Está diseñado para describir hechos sobre el mundo en lugar de procesos o procedimientos. El conocimiento puede describirse como objetos, funciones, relaciones y reglas. Es un lenguaje formal, es decir, puede expresar enunciados arbitrarios en lógica de primer orden y puede admitir razonadores que pueden probar la consistencia de un conjunto de enunciados KIF. KIF también admite el razonamiento no monótono . KIF fue creado por Michael Genesereth , Richard Fikes y otros participantes en el esfuerzo de intercambio de conocimiento de DARPA . ^{[ 2 ]}

Aunque el grupo KIF original tenía la intención de presentarlo a un organismo de normalización formal, esto no se concretó. Posteriormente, se desarrolló una versión denominada Common Logic para su presentación a la ISO , la cual fue aprobada y publicada. Una variante llamada SUO-KIF ^{[ 3 ]} es el lenguaje en el que está escrita la Ontología Superior Fusionada Sugerida ^{[ 4 ] .}

Una aplicación práctica del formato de intercambio de conocimiento es un lenguaje de comunicación entre agentes en un sistema multiagente. ^{[ 5 ]}

• Lenguaje de consulta y manipulación del conocimiento

• Página del formato de intercambio de conocimientos en el Laboratorio de IA de Stanford.
• Lógica común