Kvantorlarning turlari Umumiylik va mavjudlik kvantorlari bir-biridan farq qilinadi.
Umumiylik kvantori « » belgisi bilan belgilanadi va «har bir», «hamma», «barcha», «istalgan» so‘zlari bilan ifodalanadi. inglizcha «All» so‘zining bosh harfidan olingan va «hamma» ma’nosini bildiradi.
Mavjudlik kvantori « » belgisi bilan belgilanadi, inglizcha «Exist» – «mavjud» so‘zining bosh harfidan olingan va «bor», «mavjud», «topiladi» so‘zlarini bildiradi.
31. Tarmoqli semantik modellar TARMOQLI SEMANTIK MODEL Ushbu modellarning asosini kontseptsiya tashkil etadi tarmoq, cho'qqilar,
yoylar. Tarmoqlar quyidagilardir: oddiy va ierarxik, bu erda uchlari ba'zi
tushunchalar, ob'ektlar, ob'ektlar, hodisalar, jarayonlar yoki hodisalardir. Ushbu
ob'ektlar o'rtasidagi munosabatlar yoylar bilan ifodalanadi. Kontseptsiyalar odatda
mavhum yoki aniq ob'ektlardir, va munosabatlar shunga o'xshash munosabatlardir
bu, ega qismi, tegishli, sevadi . Oddiy tarmoqlar ichki tuzilishga ega emas va
ierarxik tarmoqlarda ba'zi vertikalar ichki tuzilishga ega.
Semantiq tarmoqlar apparati yordamida bilimlarni tasvirlash biror bir muxitni
tashkil etuvchi ob’ektlar va ular orasidagi aloqalar majmuasidir.
Semantik tarmoqlarning o'ziga xos xususiyati bu uchta turdagi
munosabatlarning majburiy mavjudligidir.
1 . sinfning elementi;
2 . mulk qiymati;
3 . sinf elementiga misol.
Ierarxik semantik tarmoqlarda tarmoqlarni pastki tarmoqlarga (kosmosga)
ajratish ta'minlanadi va munosabatlar nafaqat vertikallar, balki bo'shliqlar o'rtasida
ham o'rnatiladi
32. Freym bilimlar strukturasi
Freym (angl. Frame – karkas yoki rom) – bu ayrim standart holat yoki abstrakt ko‘rinishlarni namoyish etishga asoslangan bilimlar strukturasidir.
Har bir freym bilan quyidagi ma’lumotlar bog‘langan:
Freymdan qanday foydalanish haqida;
Freymni bajarishdan qanday natijalar kutish kerakligi
Kutganingiz oqlanmasa nima qilish kerak.
33. Freymlar. Ularning yutuq va kamchiliklari Freym — ma’lu-motlar tuzilishini
ifodalaydi, uning yordamida, masa-lan, sizning xonangizdagi xolatni tasvirlash
mumkin. Xar bir freym xar xil axborotlar bilan tuldirilishi mumkin. Agar okibat
kutilgan natijani bermasa, bu ax-borot — kurilayotgan freymning kullanish
usullariga alokador bulishi mumkin. Freym kup jix,atdan uzining tuzilishiga kura
semantik tarmokka uxshash buladi. Freym — ierarxik tuzilgan, tugun va
munosabat (aloka) lar tarmoridir.
