176 Bilimlarni namoyish etish modellari. Evrestik model

176	Bilimlarni namoyish etish modellari. Evrestik model Bilim/- namoyish etish modellariga mantiyi model va evrestik model/ kiradi. Mantiqiy model/ asosida formal nazariyani tushinish yotadi. Mantiqiy modellarda alohida bilim/ birliklari orasida mavjud bo’lgan munosabat/ formal nazariy= sintaktik bilimlari orqali ifodalanadi. Mantiqiy mode/+ farqlangan holda evrestik mode/ u yoki bu muammoli soxaga spetsifik xususiyat beradiga turli xil vosita/ to’plamiga ega. Evrestik mode/ mantiqiy model/ va imkoniyat/ yoki qobiliyat/- xolis namoyon etishdan kelib chiqadi, ya’ni muammoli soxa va samarali foydalanilayotgan chiqarish mexanezmi ko’rsatishdan. Evrestik modellar quydagicha bo’ladi: 1. Tarmoqli. 2. Freymli. 3. Ishlab chiqiladigan
177	Evrestik model. Evrestik model turlari Mantiqiy modellardan farqlangan holda evristik modellar u yoki bu muammoli sohaga spesifik xususiyat beradigan turli xil vositalar to‘plamiga ega. Evristik modellar mantiqiy modellar va imkoniyatlar yoki qobiliyatlarni xolis namoyon etishdan kelib chiqadi, ya’ni, muammoli soha va samarali foydalanilayotgan chiqarish mexanizmini ko‘rsatishdan. Evristik modellar quyidagicha bo‘ladi: tarmoqli freymli ishlab chiqiladigan
178	Mantiqiy modellar bilan ishlashda amal qilinishi zarur bo’lgan qoidalar Mantiqiy modellar bilan ishlashda quydagi qoidalarga amal qilish zarur: Dalillar tartibi xar doim berilgan predmet sohasiga qabul qilingan predikatlar izohi bilan mos holda berilishi kerak. Dasturchi dalillarning fiksirlangan tartibi haqidagi qarorni qabul qiladi va boshidan oxirigacha unga amal qiladi. Predikat dalillarning istalgan miqdoriga ega bo‘lishi mumkin. Predikatdan tashkil topgan va u bilan dalillar orqali bog‘langan alohida fikrlar, murakkab fikrlarga mantiqiy bog‘lamalar orqali bog‘lanishi mumkin: VA(END, ), YoKI (or, ), YO‘Q (not, ~), →- AGAR..., UNDA formasini yo‘naltirish uchun foydalaniladigan implikatsiyalar.