Формат обмена знаниями

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

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

Хотя первоначальная группа KIF намеревалась подчиниться официальному органу по стандартизации, этого не произошло. Более поздняя версия под названием Common Logic была разработана для представления в ISO , была одобрена и опубликована. Вариант под названием SUO-KIF ^[3] - это язык, на котором написана Предлагаемая верхняя объединенная онтология ^[4] .

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

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

Язык запросов и манипулирования знаниями

использованная литература

^ Андреас Л. Симеонидис; Перикл А. Миткас (15 июля 2005 г.). Агентский интеллект посредством интеллектуального анализа данных . Springer Science & Business Media. С. 54–. ISBN 978-0-387-24352-8.
^ Genesereth, Майкл; Файкс, Ричард (июнь 1992 г.). «Справочное руководство по формату обмена знаниями версии 3.0» (PDF) . Отчет Stanford Logic Group . Стэндфордский Университет. Логика-92-1 . Проверено 7 августа 2014 .
^ Пиз, Адам (2009-06-18). «Стандартный формат обмена знаниями верхних онтологий» (PDF) . sigmakee.cvs.sourceforge.net . Проверено 7 августа 2014 .
^ Предлагаемая верхняя объединенная онтология .
^ Weiming Shen (17 сентября 2019). Мультиагентные системы для одновременного интеллектуального проектирования и производства . CRC Press. С. 248–. ISBN 978-1-4822-8925-1.

внешние ссылки

Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее .

[SymeonidisMitkas2005-1] Андреас Л. Симеонидис; Перикл А. Миткас (15 июля 2005 г.). Агентский интеллект посредством интеллектуального анализа данных . Springer Science & Business Media. С. 54–. ISBN 978-0-387-24352-8.

[2] Genesereth, Майкл; Файкс, Ричард (июнь 1992 г.). «Справочное руководство по формату обмена знаниями версии 3.0» (PDF) . Отчет Stanford Logic Group . Стэндфордский Университет. Логика-92-1 . Проверено 7 августа 2014 .

[3] Пиз, Адам (2009-06-18). «Стандартный формат обмена знаниями верхних онтологий» (PDF) . sigmakee.cvs.sourceforge.net . Проверено 7 августа 2014 .

[4] Предлагаемая верхняя объединенная онтология .

[Shen2019-5] Weiming Shen (17 сентября 2019). Мультиагентные системы для одновременного интеллектуального проектирования и производства . CRC Press. С. 248–. ISBN 978-1-4822-8925-1.

[1]