KIF

Knowledge Interchange Format (KIF) — это компьютерный язык, разработанный для того, чтобы позволить си�…

KIF

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

KIF имеет декларативную семантику[1]. Он предназначен для описания фактов о мире, а не процессов или процедур. Знания могут быть описаны как объекты, функции, отношения и правила. Это формальный язык, т. е. он может выражать произвольные утверждения в логике первого порядка и может поддерживать системы логического вывода (reasoners), способные доказывать непротиворечивость набора утверждений KIF. KIF также поддерживает немонотонный вывод. KIF был создан Майклом Генесеретом (Michael Genesereth), Ричардом Файксом (Richard Fikes) и другими участниками инициативы DARPA по обмену знаниями[2].

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

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

См. также

Примечания

  1. ↑ Andreas L. Symeonidis; Pericles A. Mitkas (15 July 2005). Agent Intelligence Through Data Mining. Springer Science & Business Media. pp. 54–. ISBN 978-0-387-24352-8.
  2. ↑ Genesereth, Michael; Fikes, Richard (June 1992). "Knowledge Interchange Format Version 3.0 Reference Manual" (PDF). Stanford Logic Group Report. Logic-92-1. Stanford University. Retrieved 7 August 2014.
  3. ↑ Pease, Adam (2009-06-18). "Standard Upper Ontology Knowledge Interchange Format" (PDF). sigmakee.cvs.sourceforge.net. Retrieved 7 August 2014.
  4. ↑ Suggested Upper Merged Ontology.
  5. ↑ Weiming Shen (17 September 2019). Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing. CRC Press. pp. 248–. ISBN 978-1-4822-8925-1.

Ссылки

Иконка
Это заготовка статьи об информационных технологиях и вычислительной технике. Помогите Википедии, дополнив её.
Это примечание по возможности следует заменить более точным.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.