Knowledge Interchange Format ( KIF ) es un lenguaje informático diseñado para permitir que los sistemas compartan y reutilicen información de sistemas basados en el conocimiento . KIF es similar a las lenguas de marco como KL-Uno y TELAR pero a diferencia de este tipo de lenguaje que su función primordial no pretende ser un marco para la expresión o la utilización de los conocimientos, sino más bien para el intercambio de conocimientos entre los sistemas. Los diseñadores de KIF lo compararon con PostScript. PostScript no fue diseñado principalmente como un lenguaje para almacenar y manipular documentos, sino como un formato de intercambio para que los sistemas y dispositivos compartan documentos. De la misma manera, KIF está destinado a facilitar el intercambio de conocimientos entre diferentes sistemas que utilizan diferentes lenguajes, formalismos, plataformas, etc.
KIF tiene una semántica declarativa . [1] Está destinado a describir hechos sobre el mundo en lugar de procesos o procedimientos. El conocimiento se puede describir como objetos, funciones, relaciones y reglas. Es un lenguaje formal, es decir, puede expresar declaraciones arbitrarias en lógica de primer orden y puede apoyar razonadores que pueden probar la consistencia de un conjunto de declaraciones 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 conocimientos de DARPA . [2]
Aunque el grupo KIF original tenía la intención de someterse a un organismo de normalización formal, eso no sucedió. Desde entonces, se ha desarrollado una versión posterior llamada Common Logic para su presentación a ISO y ha sido aprobada y publicada. Una variante llamada SUO-KIF [3] es el idioma en el que está escrita la Ontología combinada superior sugerida [4] .
Una aplicación práctica del formato de intercambio de conocimientos es un lenguaje de comunicación de agentes en un sistema de agentes múltiples. [5]
Ver también
Referencias
- ^ Andreas L. Symeonidis; Pericles A. Mitkas (15 de julio de 2005). Inteligencia de agentes a través de la minería de datos . Springer Science & Business Media. págs. 54–. ISBN 978-0-387-24352-8.
- ^ Genesereth, Michael; Fikes, Richard (junio de 1992). "Manual de referencia de Knowledge Interchange Format versión 3.0" (PDF) . Informe de Stanford Logic Group . Universidad Stanford. Lógica-92-1 . Consultado el 7 de agosto de 2014 . CS1 maint: parámetro desalentado ( enlace )
- ^ Pease, Adam (18 de junio de 2009). "Formato de intercambio de conocimientos de ontología superior estándar" (PDF) . http://sigmakee.cvs.sourceforge.net . Consultado el 7 de agosto de 2014 . Enlace externo en
|website=
( ayuda )CS1 maint: parámetro desalentado ( enlace ) - ^ Ontología combinada superior sugerida .
- ^ Weiming Shen (17 de septiembre de 2019). Sistemas de agentes múltiples para el diseño y la fabricación inteligentes simultáneos . Prensa CRC. págs. 248–. ISBN 978-1-4822-8925-1.
enlaces externos
- Página de formato de intercambio de conocimientos en el laboratorio de inteligencia artificial de Stanford
- Lógica común