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

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

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

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

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

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

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

Ссылки

^ Андреас Л. Симеонидис; Перикл А. Миткас (15 июля 2005 г.). Агентская разведка посредством добычи данных. Springer Science & Business Media. С. 54–. ISBN 978-0-387-24352-8.
^ Genesereth, Michael; Fikes, Richard (июнь 1992 г.). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF) . Отчет Stanford Logic Group . Logic-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, Michael; Fikes, Richard (июнь 1992 г.). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF) . Отчет Stanford Logic Group . Logic-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.