Bilimlarni ifodalashning mantiqiy modellari

Fakt va qoidalarning sxematik ifodalanishi

FREYMLI MODELLAR

Freym — bu qandaydir standart holat uchun mo'ljallangan ma'lumotlarni deklarativ keltirilishidir. Freymlarni tarmoq ko'rinishida ko'rsatish mumkin. Unda yuqori tabaqalar ularning ma'nosini namoyish etadi va har qanday sharoitda chin qiymatga ega bo'ladi. Pastki tabaqa muayyan informatsiyaga ega bo'lgan slotlar bilan to'ldiriladi. Freymlarni quyidagi konstruksiya bilan ifodalash mumkin:
F=[,...]
F-freym nomi r-slot nomi vi - slotning qiymati.
Freymlar tizimlarida informatsion qidiruv tizimlari bilan bog'langan. Agar, sharoit muammoga, bir freym javob bera olmasa, u holda bunday tarmoq boshqa freymni o'z ichiga olib 2-freym, bu muammoga javob beradi. Freymlarning asosiy xossalarini ko'rib chiqamiz:
a)bazali tip. Berilgan predmetni juda zarur obyektlarini o'z ichiga oladigan freym. Lekin holatini o'zgartirganda yana yangi freymlarni qurishga to'g'ri keladi.
b)iyerarxik strukturaga ega bo'lgan freymlar sitemasi. Iyerarxik strukturaning ayrimligi atributlar haqidagi informatsiya yuqori bosqichda joylashgan bo'lib, past tabaqadagi hamma freymlar bilan bog'liq bo'ladi.
d) freymli tizimlarda xulosalar chiqarish.
Freymlar — ekspert tizimlarning bilimini ko'rsatishning keng tarqalgan formalaridan biridir. Freym o'zini slot yacheykalari to'plamidan iborat struktura kabi ko'rsatish mumkin. Har bir slot nomdan o'rniga biriktirilgan nomdan iborat. Qiymat ma'lumotlar, protseduralar hamda boshqa Komputer ga yuboriladigan ma'lumotlardan iborat bo'lishi yoki bo'sh bo'lishi mumkin.

Freymning sxematik ko'rinishi

S emantik to'rning ko'rinishi
Semantik to'rga misol

Semantik to'rga misol

Xulosa

Bilim injeneriyasi – bu sun’iy intellektning zаmonаviy Yo’nаlishlаri hisoblаnаdi. Bilimlаrni olishning vа uni tuzilmаlashtirishning аsosiy tuShunchаsi – bu bilimlаr mаydoni. Bilimlаr mаydoni grаf, diаgrаmmа, jаdvаl, formulа vа tekst ko’rinishidаgi muаmmo soxаsining ob’ektlаri vа ulаr o’rtаsidаgi munosаbаtlаr. Ushbu mavzuda bilimlarni bilimlar bazasida taqdim etishning asosiy modellari, yaʼni mantiqiy modellar, tarmoqli, freymli va mahsulotli modellar kirib chiqilgan. Mantiqiy modellarning asosida rasmiy nazariya tushunchasi yotadi. Bazida har xil modellarning afzalliklarini birlashtiruvchi taqdim etishlarini ishlab chiqishga harakat qilish freym - taqdim etishlarni vujudga kelishiga olib kelgan.
Modellarning har bir turi uchun misollar ularning taʼriflari bilan birga taqdim etilgan. Bilimlarni mahsulotli qoidalar ko'rinishida taqdim etish quyidagi afzalliklarga ega: bilimlarni tashkil qilishning modulliligi; qoidalarning mustaqilligi; bilimlarni zamonaviylashtirishni oddiyligi va tabiiyligi; boshqaruvchi bilimlarni predmetlidan ajratilganligi; vazifalarning avtomatlashtirilgan yechimi uchun boshqaruvchi mexanizmlarni bir qator qoʼllanishlar uchun imkoniyat yaratish.
Freymlar — ekspert tizimlarning bilimini ko'rsatishning keng tarqalgan formalaridan biridir. Freym o'zini slot yacheykalari to'plamidan iborat struktura kabi ko'rsatish mumkin. Har bir slot nomdan o'rniga biriktirilgan nomdan iborat.
Qiymat ma'lumotlar, protseduralar hamda boshqa Komp’yuter ga yuboriladigan ma'lumotlardan iborat bo'lishi yoki bo'sh bo'lishi mumkin.
Freymlarni tarmoq ko'rinishida ko'rsatish mumkin. Unda yuqori tabaqalar ularning ma'nosini namoyish etadi va har qanday sharoitda chin qiymatga ega bo'ladi. Pastki tabaqa muayyan informatsiyaga ega bo'lgan slotlar bilan to'ldiriladi. Ko'riladigan obyektlar uchun barcha mavjud munosabatlarni yozib chiqish semantik to'rni beradi. Obyektlar to'rning tugunlari bo'lib xizmat qiladi, munosabatlar yoylar yordamida ifodalanadi. Semantik to'rni tuzishda to'rning elementlari aloqalari soniga, uning xossalari va murakkabligiga cheklovlar qo'yilmaydi. Shuning uchun ko'rsatkich sifatida keltiriladigan funksiyalarni ma'lum darajada tartiblash maqsadga muvofiqdir.