Toshkent kimyo-texnologiya instituti oziq-ovqat mahsulotlari texnologiyasi fakulteti

Formallashtirish usuli

Ob’ektdagi xossalar, miqdoriy qiymatlar va strukturaviy shakllarni simvollar (belgilar) bilan ifodalab, shu simvollar bilan ishlash, ular orqali ma’lum tuzilish, munosabat va modellarni tadqiq qilish mumkin. Simvollar, ularning tuzilmalari bilan ob’ektni xossalari va tomonlarini ifodalab, keyin faqat shu simvollar bilan ishlash formallashtirish usulini tashkil qilaid.

Simvollar qatori tartiblashtirilganda shakl hosil bo‘ladi. Predmetda mazmunni bildiradigan unsurlar mavjud bo‘ladi. Shakl tuzilganda unsurlar simvollar bilan almashtiriladi. Shu tarzda mazmunni ifodalaydigan formulalar, tenglamalar, belgilardan tuzilgan shakllar ishlab chiqiladi.
Formallashtirish usulidan foydalanish asosida barqaror xolatda turgan mazmundan ajratib olingan shaklni simvollarda belgilash, simvollar tizimida berilgan matematik, lingvistik va shakliy ifodalar bilan ishlash yotadi. Mazmun o‘zgargan taqdirda tizimga yangi simvollar kiritiladi, tadqiqot davom etadi.
Formallashtirishning birinchi tarixiy ko‘rinishi matematik ifodalarni qo‘llashda, matematik amallarni bajarishda namoyon bo‘ldi.
Formallashtirish usulidan foydalanishda, qayd qilinganidek, simvollar tuzilmasidan iborat bo‘lgan shakliy tizim ishlatiladi. Mantiqda qo‘llaniladigan sillogistik figuralar (masalan, ), matematikada ifodalash vositasi bo‘lgan differensial tenglamalar, strukturaviy lingvistikada tilning simvolik modeli, kompyuter texnologiyasida algoritm va dasturlar shakliy tizimlar namunasini bildiradi.
Tadqiqot ob’ektini ifodalaydigan (yoki modellashtiradigan) shakliy tizimni ishlab chiqish uchun quyidagilarga e’tibor berish kerak:
1) ma’lum belgilardan iborat bo‘lgan alfavitni tuzish;
2) belgilardan «so‘zlar» va «formulalar» tuzish uchun qoidalar ishlab chiqish;
3) bir turdagi ifoda va formullardan boshqa ifodalar va formulalarga o‘tish imkoniyatini beradigan qoidalarni ishlab chiqish
Keng tatbiq qilish sohasiga ega bo‘lgan formallashtirishni turi mantiqiy formallashtirish bo‘lib, bu usul tafakkur mazmunini mantiqiy shakllarida ifodalash imkoniyatini beradi. Sun’iy til va sun’iy intellekt mantiqiy shaklni namoyon bo‘lishidir.
Tafakkurni modellashtirish, uning bir ko‘rinishi bo‘lgan ekspertlar tizimini tuzish formallashtirish usulini nihoyatda samarali tatbiq qilingan sohasi hisoblanadi.
To‘g‘ri, formallashtirish usulidan foydalanish mutloq mazmunni to‘la qamrab olish imkoniyatiga ega emas. Buni sotsiologiyada shakliy maktab namoyondalari olib borgan tadqiqotlarda ko‘rish mumkin. Mazkur yo‘nalish doirasida xukmdorlik va boshqa ijtimoiy jarayonlarni formallashtirish ishi olib borildi. Lekin, bunday faoliyat qayd qilsa bo‘ladigan natijaga olib kelmadi. Dinamik ijtimoiy jarayonlar bilan sof shakllar o‘rtasidagi farqni, ziddiyatni bartaraf qilib bo‘lmaydi. Shakliy sotsiologiyani ishlab chiqish loyihasi amalga oshmadi.
Formallashtirish usulidan foydalanish sohasida uchrab turadigan ayrim kamchiliklarga qaramasdan uning umumilmiy samarasi va ijodiy imkoniyati shubha o‘yg‘otmaydigan faktdir.