176 Bilimlarni namoyish etish modellari. Evrestik model

179
Kvantorlar. Kvantorlarning turlari Fikrlarda dalil sifatida o‘zgaruvchilar ishlatilishi mumkin. Bunday holatda o‘zgaruvchilar bilan ishlash uchun kvantor tushunchasi kiritiladi. Kvantorlar 2 turda bo‘ladi: Umumlik kvantori Mavjudlik kvantori , barcha ayrim sohaga tegishli bo‘lgan qovusdagi o‘zgaruvchilar haqiqiy bo‘lishi kerakligini bildiradi. oznachaet, x mazmunlardan faqat ayrimlarigina haqiqiy ekanini bildiradi. va bir-birining xossasi bo‘lishi mumkin
180	Fremlar. Fremlarning yutuq va kamchiliklari Freym (angl. Frame – karkas yoki rom) – bu ayrim standart holat yoki abstrakt ko‘rinishlarni namoyish etishga asoslangan bilimlar strukturasidir. Freym- bu qandaydir standart situatsiya uchun mo‘ljallangan ma’lumotlarni deklarativ keltirilishidir. Freymlarni tarmoq ko‘rinishida ko‘rsatish mumkin. Unda yuqori tabaqalar ularning ma’nosini namoyish etadi va xar qanday sharoitda chin qiymatga ega bo‘ladi. Pastki tabaqa konkret informatsiya bilan to‘ldirilgan slotlar bilan to‘ldiriladi. Xar bir slotni shart-sharoitining ta’siri bo‘ladi. Freymlarni quyidagi konstruksiya bilan ifodalash mumkin: F=[,…] F-freym nomi ri-slot nomi vi-slotning qiymati.
181	SI va uning asosiy yo’nalishlari SI-bu dasturiy muhitning shunday tizimiki unda inson tafakkuri kompyuter jarayoniga imitatsiyalangan. SI atamasi 1956-yilda AQSh ning Stenford universiteti tomonidan taklif qilingan. 1969-yilda Vashingtonning Dartsmut kollejida SI bo’yicha 1-Xalqaro birlashma konferensiya bo’lib o’tadi va SI termini qonunlashtiriladi. SIning asosiy yo’nalishlariga Neyrokbernetika va “Qora yashik (quti)” kibernetikasi kabilar kiradi. Neyrokbernetikaning asosi inson miyasi neyronlardan tashkil topga. Demak fikirlay oladigan qurilma neyrokibernetika asosi hisoblanib dasturiy va uskunaviy vositalardan iborat bo’ladi. Neyronlarni birlashmasi esa neyron tarmoqlari deb ataladi. Kibernetikaning “qora yashik” uchun esa qurilmaning fikirlash uskunasi qanday bo’lishidan tashqari har xil savollarga odam miyasiga o’xshab javob bera oladigan edi.