Формат обмена знаниями - Википедия - Knowledge Interchange Format

Формат обмена знаниями (КИФ) это компьютерный язык разработан, чтобы позволить системам обмениваться и повторно использовать информацию из системы, основанные на знаниях. KIF похож на языки фреймов Такие как KL-One и LOOM но в отличие от такого языка его основная роль не предназначена как структура для выражения или использования знаний, а скорее для обмена знаниями между системами. Дизайнеры KIF сравнили его с PostScript. PostScript был разработан не в первую очередь как язык для хранения документов и управления ими, а скорее как формат обмена для систем и устройств для обмена документами. Таким же образом KIF предназначен для облегчения обмена знаниями между различными системами, которые используют разные языки, формализмы, платформы и т. Д.

KIF имеет декларативная семантика.[1] Он предназначен для описания фактов о мире, а не процессов или процедур. Знания можно описать как объекты, функции, отношения и правила. Это формальный язык, т.е. он может выражать произвольные утверждения на логика первого порядка и может поддержать рассуждающие что может доказать непротиворечивость набора утверждений KIF. KIF также поддерживает немонотонное рассуждение. KIF был создан Майкл Дженезерет, Ричард Файкс и другие участники DARPA Обмен знаниями Усилие.[2]

Хотя первоначальная группа KIF намеревалась подчиниться официальному органу по стандартизации, этого не произошло. Более поздняя версия называется Общая логика с тех пор был разработан для представления в ISO и был одобрен и опубликован. Вариант под названием СУО-КИФ[3] это язык, на котором Предлагаемая верхняя объединенная онтология[4] написано.

Практическое применение формата обмена знаниями - это язык общения агента в многоагентной системе.[5]

Смотрите также

Рекомендации

  1. ^ Андреас Л. Симеонидис; Перикл А. Миткас (15 июля 2005 г.). Агентский интеллект посредством интеллектуального анализа данных. Springer Science & Business Media. С. 54–. ISBN  978-0-387-24352-8.
  2. ^ Дженесерет, Майкл; Файкс, Ричард (июнь 1992 г.). «Справочное руководство по формату обмена знаниями версии 3.0» (PDF). Отчет Stanford Logic Group. Стэндфордский Университет. Логика-92-1. Получено 7 августа 2014.
  3. ^ Пиз, Адам (18.06.2009). «Стандартный формат обмена знаниями верхних онтологий» (PDF). http://sigmakee.cvs.sourceforge.net. Получено 7 августа 2014. Внешняя ссылка в | сайт = (помощь)
  4. ^ Предлагаемая верхняя объединенная онтология.
  5. ^ Веймин Шэнь (17 сентября 2019 г.). Мультиагентные системы для одновременного интеллектуального проектирования и производства. CRC Press. С. 248–. ISBN  978-1-4822-8925-1.

внешняя ссылка