Knowledge Interchange Format (KIF) — это компьютерный язык, разработанный для того, чтобы позволить системам обмениваться и повторно использовать информацию из систем, основанных на знаниях. KIF похож на фреймовые языки, такие как KL-One и LOOM, но, в отличие от таких языков, его основная роль заключается не в том, чтобы служить платформой для выражения или использования знаний, а скорее в обмене знаниями между системами. Создатели KIF сравнивали его с PostScript. PostScript изначально разрабатывался не как язык для хранения и манипулирования документами, а скорее как формат обмена, позволяющий системам и устройствам делиться документами. Точно так же KIF предназначен для облегчения обмена знаниями между различными системами, которые используют разные языки, формализмы, платформы и т. д..
KIF имеет декларативную семантикуAndreas L. Symeonidis; Pericles A. Mitkas (15 July 2005). Agent Intelligence Through Data Mining. Springer Science & Business Media. pp. 54–. ISBN 978-0-387-24352-8.. Он предназначен для описания фактов о мире, а не процессов или процедур. Знания могут быть описаны как объекты, функции, отношения и правила. Это формальный язык, т. е. он может выражать произвольные утверждения в логике первого порядка и может поддерживать системы логического вывода (reasoners), способные доказывать непротиворечивость набора утверждений KIF. KIF также поддерживает немонотонный вывод. KIF был создан Майклом Генесеретом (Michael Genesereth), Ричардом Файксом (Richard Fikes) и другими участниками инициативы DARPA по обмену знаниямиGenesereth, Michael; Fikes, Richard (June 1992). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF). Stanford Logic Group Report. Logic-92-1. Stanford University. Retrieved 7 August 2014..
Хотя первоначальная группа разработчиков KIF намеревалась подать заявку в официальный орган по стандартизации, этого не произошло. С тех пор была разработана более поздняя версия под названием Common Logic для представления в ISO, которая была одобрена и опубликована. Вариант под названием SUO-KIFPease, Adam (2009-06-18). "Standard Upper Ontology Knowledge Interchange Format" (PDF). sigmakee.cvs.sourceforge.net. Retrieved 7 August 2014. является языком, на котором написана Suggested Upper Merged OntologySuggested Upper Merged Ontology..
Практическим применением формата обмена знаниями является язык коммуникации агентов в многоагентной системеWeiming Shen (17 September 2019). Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing. CRC Press. pp. 248–. ISBN 978-1-4822-8925-1..
См. также Knowledge Query and Manipulation Language
Примечания
Ссылки Страница Knowledge Interchange Format в Стэнфордской лаборатории ИИ (Stanford AI Lab) Common Logic
Категория:Языки представления знаний Категория:Онтология (информатика) Категория:Логика в информатике Категория:Незавершённые статьи по информатике