Введение

Формат обмена знаниями (KIF) - это компьютерный язык, предназначенный для того, чтобы системы могли обмениваться и повторно использовать информацию из систем, основанных на знаниях. KIF похож на языки фрейм-информации, такие как KL One и LOOM, но в отличие от таких языков его основная роль не предназначена как основа для выражения или использования знаний, а скорее для обмена знаниями между системами. Разработчики KIF сравнили его с PostScript. PostScript был разработан не в первую очередь как язык для хранения и обработки документов, а скорее как формат обмена для систем и устройств для обмена документами. Таким же образом KIF предназначен для облегчения обмена знаниями в разных системах, использующих разные языки, формализмы, платформы и т. Д. KIF имеет декларативную семантику. Он предназначен для описания фактов о мире, а не процессов или процедур. Знание может быть описано как объекты, функции, отношения и правила. Это формальный язык, т.е. он может выражать произвольные утверждения в логике первого порядка и может поддерживать аргументы, которые могут доказать последовательность набора утверждений KIF. KIF также поддерживает немонотонные рассуждения. KIF был создан Майкл Геннесерет, Ричард Фикс и другими участниками усилий по обмену знаниями DARPA. Хотя первоначальная группа KIF намеревалась обратиться в официальный орган по стандартизации, этого не произошло. Позднее была разработана версия под названием Common Logic для представления в ISO, которая была одобрена и опубликована. Вариант, называемый SUO KIF, является языком, на котором написана Предложенная Верхняя Объединенная Онтология. Практическое применение формата обмена знаниями - это язык связи агентов в многоагентной системе.