Що це?
Knowledge Interchange Format (KIF) є мовою, призначеною для використання в обміні інформацією між різнорідними системами комп'ютера (створені різними програмістами, в різний час, на різних мовах, і так далі). KIF не призначений для ролі основної мови для взаємодії з користувачами (людьми) хоча він може бути використаний для цієї мети). Різні комп'ютерні системи можуть взаємодіяти з користувачами (людьми) в будь-якій формі, що відповідають їх додаткам (наприклад, Пролог, концептуальні графи, природна мова і т.д.). KIF також не призначений для внутрішнього представлення знань в комп'ютерних системах і в тісно пов'язаних з ними підсистемах (хоча дана мова може бути використаний для цієї мети). Як правило, коли комп'ютер читає базу даних в KIF, він перетворює ці дані у свої внутрішні форми (спеціалізовані структури-покажчики, масиви, і т.д.). Всі обчислення проводяться за допомогою цих внутрішніх представлень. Коли комп'ютерна система повинна взаємодіяти з іншими комп'ютерними системами, вона переводить свої внутрішні структури даних в KIF.
Ціль
Мета KIF трохи схожа на мету Postscript. PostScript зазвичай використовується в системах, що редагують текст чи графічну інформацыю, для передачі інформації про документ принтерам. Незважаючи на те, що даний формат не такий наочний, як WYSIWYG дисплей чи спеціалізоване ПО, Postscript є достатньо зручним представленням для забезпечення незалежного розвитку програм-редакторів і принтерів.
Синтаксис
Як і багато комп'ютерно-орієнтованих мов, синтаксис KIF найбільш легко поділити на три шари. По-перше, основні символи мови. Ці символи можуть бути об'єднані в лексеми. Нарешті, лексеми мови можуть бути об'єднані в граматично правильні вирази.
Споріднене ПО
- Prologic стандартна система представлення знань, сумісна з KIF
- EPILOG загальна lisp-система виведення, сумісна з KIF
- JKP - Java Kif Parser
- C parser для Knowledge Interchange Format
- IBM Agent Building Environment—інструментарій для створення інтелектуальних агентів
Посилання
- http://logic.stanford.edu/kif/dpans.html [ 27 лютого 2009 у Wayback Machine.]
- http://www.csee.umbc.edu/csee/research/kif/ [ 6 вересня 2012 у Wayback Machine.]
Це незавершена стаття про мови програмування. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Sho ce Knowledge Interchange Format KIF ye movoyu priznachenoyu dlya vikoristannya v obmini informaciyeyu mizh riznoridnimi sistemami komp yutera stvoreni riznimi programistami v riznij chas na riznih movah i tak dali KIF ne priznachenij dlya roli osnovnoyi movi dlya vzayemodiyi z koristuvachami lyudmi hocha vin mozhe buti vikoristanij dlya ciyeyi meti Rizni komp yuterni sistemi mozhut vzayemodiyati z koristuvachami lyudmi v bud yakij formi sho vidpovidayut yih dodatkam napriklad Prolog konceptualni grafi prirodna mova i t d KIF takozh ne priznachenij dlya vnutrishnogo predstavlennya znan v komp yuternih sistemah i v tisno pov yazanih z nimi pidsistemah hocha dana mova mozhe buti vikoristanij dlya ciyeyi meti Yak pravilo koli komp yuter chitaye bazu danih v KIF vin peretvoryuye ci dani u svoyi vnutrishni formi specializovani strukturi pokazhchiki masivi i t d Vsi obchislennya provodyatsya za dopomogoyu cih vnutrishnih predstavlen Koli komp yuterna sistema povinna vzayemodiyati z inshimi komp yuternimi sistemami vona perevodit svoyi vnutrishni strukturi danih v KIF CilMeta KIF trohi shozha na metu Postscript PostScript zazvichaj vikoristovuyetsya v sistemah sho redaguyut tekst chi grafichnu informacyyu dlya peredachi informaciyi pro dokument printeram Nezvazhayuchi na te sho danij format ne takij naochnij yak WYSIWYG displej chi specializovane PO Postscript ye dostatno zruchnim predstavlennyam dlya zabezpechennya nezalezhnogo rozvitku program redaktoriv i printeriv SintaksisYak i bagato komp yuterno oriyentovanih mov sintaksis KIF najbilsh legko podiliti na tri shari Po pershe osnovni simvoli movi Ci simvoli mozhut buti ob yednani v leksemi Nareshti leksemi movi mozhut buti ob yednani v gramatichno pravilni virazi Sporidnene POPrologic standartna sistema predstavlennya znan sumisna z KIF EPILOG zagalna lisp sistema vivedennya sumisna z KIF JKP Java Kif Parser C parser dlya Knowledge Interchange Format IBM Agent Building Environment instrumentarij dlya stvorennya intelektualnih agentivPosilannyahttp logic stanford edu kif dpans html 27 lyutogo 2009 u Wayback Machine http www csee umbc edu csee research kif 6 veresnya 2012 u Wayback Machine Ce nezavershena stattya pro movi programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi