Формат обмена знаниями
Формат обмена знаниями ( KIF ) — это компьютерный язык, разработанный для того, чтобы позволить системам обмениваться и повторно использовать информацию из систем, основанных на знаниях . KIF похож на фреймовые языки, такие как KL-One и LOOM, но в отличие от них его основная роль заключается не в качестве основы для выражения или использования знаний, а скорее в обмене знаниями между системами. Дизайнеры KIF сравнили его с PostScript . PostScript был разработан в первую очередь не как язык для хранения документов и управления ими, а скорее как формат обмена между системами и устройствами для обмена документами. Таким же образом KIF предназначен для облегчения обмена знаниями между различными системами, использующими разные языки, формализмы, платформы и т. д.
KIF имеет декларативную семантику . [1] Он предназначен для описания фактов о мире, а не процессов или процедур. Знания можно описать как объекты, функции, отношения и правила. Это формальный язык, т. е. он может выражать произвольные утверждения в логике первого порядка и поддерживать средства рассуждения , которые могут доказать непротиворечивость набора утверждений KIF. KIF также поддерживает немонотонные рассуждения . KIF был создан Майклом Дженезеретом , Ричардом Файксом и другими участниками проекта DARPA по обмену знаниями . [2]
Хотя первоначальная группа KIF намеревалась подать заявку в официальный орган по стандартизации, этого не произошло. Более поздняя версия под названием Common Logic была разработана для представления в ISO , одобрена и опубликована. Вариант под названием СУО-КИФ. [3] — это язык, на котором предлагается предлагаемая верхняя объединенная онтология. [4] написано.
Практическое применение формата обмена знаниями — язык общения агентов в многоагентной системе. [5]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Андреас Л. Симеонидис; Перикл А. Миткас (15 июля 2005 г.). Агентский интеллект посредством интеллектуального анализа данных . Springer Science & Business Media. стр. 54–. ISBN 978-0-387-24352-8 .
- ^ Генесерет, Михаил; Файкс, Ричард (июнь 1992 г.). «Справочное руководство по формату обмена знаниями версии 3.0» (PDF) . Отчет Стэнфордской группы логики . Логика-92-1. Стэнфордский университет . Проверено 7 августа 2014 г.
- ^ Пиз, Адам (18 июня 2009 г.). «Стандартный формат обмена знаниями верхней онтологии» (PDF) . sigmakee.cvs.sourceforge.net . Проверено 7 августа 2014 г.
- ^ Предлагаемая верхняя объединенная онтология .
- ^ Вэймин Шен (17 сентября 2019 г.). Мультиагентные системы для одновременного интеллектуального проектирования и производства . ЦРК Пресс. стр. 248–. ISBN 978-1-4822-8925-1 .
Внешние ссылки
[ редактировать ] | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |