Digital technologies: problems and solutions of practical implementation in the spheres

 
INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE
“DIGITAL TECHNOLOGIES: PROBLEMS AND SOLUTIONS OF PRACTICAL 
IMPLEMENTATION IN THE SPHERES” 
APRIL 27-28, 2023 
809
tushunchalar bilan to'ldiriladi. Bundan tashqari, zamonaviy kompyuterlar yanada aqlli bo'lib 
bormoqda, ularning ishlashi uchun asos semantik dialogdir.
Kurs mazmunining to‘ldirilishi munosabati bilan uni o‘qitish metodikasi ham 
takomillashtirilmoqda.
Shu sababli, informatika fanining ta'lim maqsadlari tizimini o'zgartirish, tadqiqot uchun 
yangi mavzular va savollarni kiritish, asosiy tezisning mazmunini aniqlashtirish jarayonida 
aniqroq tushunchalarni tuzish va tasniflash kerak. Bu ta'lim jarayonini tahlil qilish va 
loyihalashdir. 
Tushunchalarni dastlabki tizimlashtirish vazifalarini shakllantirish didaktik talablarga 
javob beradi va biz tomonidan sun'iy intellekt nazariyasi va matematik informatika nazariyasi 
(A.L. Semenov, A.V. Chechkin) va semantik tarmoqlar (M. Quillian, G. Hendrix) asosida tuzilgan. 
Bilimlarni tizimlashtirish usullarini tahlil qilish uchun ma'nosi adabiyotlarda aniqlangan ba'zi 
tushunchalarni kiritish kerak[1]. Bunday tushuncha bilim sohasidir. Bilim sohasi - ekspert 
bilimlari tizimidan aniqlangan fan sohasi tushunchalari o'rtasidagi asosiy munosabatlarning shartli 
tavsifi. Pz bilim sohasi ekspert tizimlarini ishlab chiqish bosqichida - strukturalash bosqichida 
shakllanadi. Bilim sohasi, rasmiylashtirish yo'lidagi birinchi qadam sifatida, fan sohasi haqidagi 
bilim modelidir, chunki tahlilchi uni qandaydir "o'z" tilida ifodalay oldi [1]. 
Pz bilim maydoni - bu mavzu sohasining xususiyatlariga ko'ra grafik, rasm, jadval, 
diagramma, formula yoki matn sifatida ifodalanishi mumkin bo'lgan semiotik model. Intellektual 
tizimlarda (IT) bilimlarni ifodalashning turli usullari mavjud. Turli xil usullarning mavjudligi, 
birinchi navbatda, eng yuqori samaradorlik bilan har xil turdagi mavzularni taqdim etish istagi 
bilan bog'liq. ITda vakillik usuli bilimlarni ifodalash modeli bilan tavsiflanadi. Bilimlarni 
ifodalash modellari odatda mantiqiy (rasmiy), evristik (rasmiylashtirilgan) va aralash(1-rasm) 
bo'linadi. 
1-rasm. Bilimlarni ifodalashning eng keng tarqalgan modellari. 
Bilimlarni ifodalashning mantiqiy modellari rasmiy tizim (nazariya) tushunchasiga 
asoslanadi. Rasmiy nazariyalarga misollar predikat hisobi va har qanday ishlab chiqarish tizimidir. 
Mantiqiy modellarda, qoida tariqasida, bir qator evristik strategiyalar bilan to'ldirilgan birinchi 
darajali predikatlar hisobi qo'llaniladi. Ushbu usullar deduktiv turdagi tizimlardir, ya'ni, ular qaror 
qabul qilish qoidalarining qat'iy tizimidan foydalangan holda berilgan binolar tizimidan xulosa 
olish uchun modeldan foydalanadilar. 
BILIMLARNI IFODALASH MODELLARI 
Aqliy charchoq
Predikatlar hisobi
Semiotik
Evristik
Ishlab chiqarish
Semantik
Ramkalar
Namunaga asoslangan
Ob'ektga yo'naltirilgan
Aralashgan
tartiblangan 
mantiqqa asoslangan
ko'p darajali 
mantiqqa asoslangan

---