Bilimlar almashinuvi formati - Knowledge Interchange Format - Wikipedia

Bilimlar almashinuvi formati (KIF) a kompyuter tili tizimlari ma'lumot almashish va qayta ishlatishni ta'minlash uchun mo'ljallangan bilimga asoslangan tizimlar. KIF shunga o'xshash ramka tillari kabi KL-One va DAVOMI ammo bunday tildan farqli o'laroq, uning asosiy roli bilimlarni ifoda etish yoki undan foydalanish uchun asos sifatida emas, balki tizimlar orasidagi bilimlarni almashish uchun mo'ljallangan. KIF dizaynerlari buni bunga o'xshatdilar PostScript. PostScript asosan hujjatlarni saqlash va boshqarish uchun til sifatida emas, balki hujjatlarni almashish uchun tizimlar va qurilmalar uchun almashinuv formati sifatida yaratilgan. Xuddi shu tarzda, KIF turli xil tillar, rasmiyatchiliklar, platformalar va boshqalarni ishlatadigan turli tizimlarda bilim almashishni osonlashtirishga qaratilgan.

KIFda a deklarativ semantik.[1] Bu jarayonlar yoki protseduralardan ko'ra dunyo haqidagi faktlarni tavsiflash uchun mo'ljallangan. Bilimni ob'ektlar, funktsiyalar, munosabatlar va qoidalar deb ta'riflash mumkin. Bu rasmiy tildir, ya'ni o'zboshimchalik bilan bayonotlarni ifodalashi mumkin birinchi darajali mantiq va qo'llab-quvvatlashi mumkin mulohazalar bu KIF bayonotlari to'plamining izchilligini isbotlashi mumkin. KIF ham qo'llab-quvvatlaydi monotonik bo'lmagan fikrlash. KIF tomonidan yaratilgan Maykl Geneseret, Richard Fikes va boshqa ishtirok etuvchilar DARPA bilim almashish Harakat.[2]

Dastlabki KIF guruhi rasmiy standartlar idorasiga bo'ysunishni niyat qilgan bo'lsa-da, bu amalga oshmadi. Keyingi versiyasi deb nomlangan Umumiy mantiq buyon taqdim etish uchun ishlab chiqilgan ISO va tasdiqlangan va nashr etilgan. SUO-KIF deb nomlangan variant[3] bu qaysi tilda Tavsiya etilgan yuqori birlashtirilgan ontologiya[4] yozilgan.

Bilimlar almashinuvi formatining amaliy qo'llanilishi an agentlik tili ko'p agentli tizimda.[5]

Shuningdek qarang

Adabiyotlar

  1. ^ Andreas L. Symeonidis; Perikllar A. Mitkas (2005 yil 15-iyul). Ma'lumotlarni qazib olish orqali agentning razvedkasi. Springer Science & Business Media. 54– betlar. ISBN  978-0-387-24352-8.
  2. ^ Geneseret, Maykl; Fikes, Richard (iyun 1992). "Bilim almashish formati 3.0 versiyasi uchun qo'llanma" (PDF). Stenford mantiq guruhi hisoboti. Stenford universiteti. Mantiq-92-1. Olingan 7 avgust 2014.
  3. ^ Pease, Adam (2009-06-18). "Yuqori ontologik bilimlarni almashishning standart formati" (PDF). http://sigmakee.cvs.sourceforge.net. Olingan 7 avgust 2014. Tashqi havola | veb-sayt = (Yordam bering)
  4. ^ Tavsiya etilgan yuqori birlashtirilgan ontologiya.
  5. ^ Weiming Shen (17 sentyabr 2019). Bir vaqtning o'zida intellektual dizayn va ishlab chiqarish uchun ko'p agentli tizimlar. CRC Press. 248– betlar. ISBN  978-1-4822-8925-1.

Tashqi havolalar