«Elektronika va avtomatika» fakulteti «intellektuаl oʼLChАSh аsboblаri» fanidan amaliy mashg‘ulotlarni o‘tkazish uchun uslubiy ko’rsatmalar toshkent 2021-2022

Bilimlarni ifodalshning semantik modellari
O‘zaro bog‘langan tushunchalar to‘plami tushunchalarning semantik tarmog‘ini tashkil qiladi. Ushbu tarmoq dasturiy ta'minotning kontseptual modelidir. Odatda u turli toifadagi tushunchalardan iborat: ob'ektlar, xususiyatlar, operatsiyalar, hodisalar va boshqalar.
Tushunchalarning semantik tarmog'i birinchi navbatda dasturiy ta'minot haqida intensial bilimlarni o'z ichiga oladi. Agar dasturiy ta'minot tushunchalar va ular o'rtasidagi bog'lanishlar (aloqalar) yig'indisi sifatida qaralsa, semantik tarmoqlar dasturiy ta'minot haqidagi bilimlarni vizual va tuzilgan shaklda ifodalash imkonini beradi, bu bilimlarni ifodalashning boshqa usullari bilan har doim ham mumkin emas. Semantik kontseptsiya tarmoqlari dasturiy ta'minotni yo'naltirilgan grafik ko'rinishida taqdim etadi, ularning uchlari tushunchalar, qirralari esa ular orasidagi bog'lanishdir. Agar tarmoq umumlashtirish ierarxiyasini ta'minlasa, u holda xususiyatlarning merosxo'rligiga asoslangan xulosa qilish mexanizmidan foydalanishingiz mumkin. Misol uchun, navigatsiyani asl kontseptsiyadan boshlab, ma'lum bir qadamda havola qirralari bo'ylab boshqa kontseptsiyaga erishishingiz mumkin. Biroq, agar tushunchalar tarmog'i orqali harakatlanish yo'li aniqlanmagan bo'lsa, bunday navigatsiya variantlarning oddiy ro'yxatiga aylanishi mumkin.
Semantik tarmoqni Ar B shaklidagi uchlik (sintagmalar) tarkibi sifatida ko'rish mumkin, bu erda A va B ikkita tushuncha, r esa ular orasidagi bog'lanishdir. Semantik tarmoq tushunchalari o'rtasidagi bog'liqlik bilimning minimal miqdorini, ikkita tushuncha bilan bog'liq eng oddiy faktni ifodalaydi. Semantik Internetdagi yanada murakkab bayonotlarni tegishli subgraflarni ajratib ko'rsatish orqali aniqlash mumkin. Tabiiy tilda bunday subgraflar dasturiy ta'minot tushunchalari o'rtasida yuzaga keladigan muayyan vaziyatlarni tavsiflovchi alohida to'liq jumlalar yordamida ajratiladi.
Mavzu sohasi har bir vaqtning har bir daqiqasida ob'ektlar, tushunchalar va vaziyatlar to'plami sifatida ifodalanishi mumkin. Dasturiy ta'minot ob'ektlari, tushunchalari va holatlarining tanlangan to'plami uning holati deb ataladi. Dasturiy ta'minot holatidagi har qanday o'zgarishlar dasturiy ta'minotdagi biron bir hodisa bilan bog'liq bo'ladi. Hodisalardan foydalanishning asosiy sohasi dasturiy ta'minot tushunchalari holatini o'zgartirishga olib keladigan vaziyatlardir.
Har bir vaziyat uning haqiqati yoki yolg'onligi haqidagi ba'zi bayonot yoki hukm bilan bog'lanishi mumkin, shuning uchun tushunchalar guruhining aloqasi axborot xarakteriga ega, bu bizga vaziyatlarni dasturiy ta'minotni tavsiflashning asosiy toifasi sifatida ko'rib chiqishga imkon beradi. Kontseptual modellashtirish usullarining farqi, asosan, vaziyatlarni tasvirlash uchun qo'llaniladigan rasmiy vositalar bilan belgilanadi: semantik tarmoqlar va ramkalarda bu tushunchalar va ularning o'zaro bog'liqligi, mantiqiy usullarda - predikatlar va mantiqiy formulalar, ob'ektga yo'naltirilgan yondashuvda - ob'ektlar. , sinflar va xabarlar. Vaziyatlardan foydalanish dasturiy ta'minotni soddaroq, semantik jihatdan bog'liq bo'lgan tushunchalar bloklariga modellashtiruvchi tushunchalarning semantik tarmog'ini parchalash mexanizmini ta'minlaydi. Vaziyat dasturiy ta'minot tomonidan ko'rib chiqiladigan tushunchalar semantik tarmog'ining ma'lum bir avtonom bloki sifatida harakat qila oladigan eng oddiy mantiqiy to'liq tuzilmadir.
Semantik tarmoq modeli cho'qqilar bilan ifodalangan dasturiy ta'minot tushunchalariga asoslanadi. SIMER - MIR tizimida tarmoq tugunlari (tugunlari) hodisalar, atributlar, belgilar va protseduralar majmualariga bo'linadi.
Hodisalar deganda dasturiy ta'minotning turli ob'ektlari tushuniladi: mulohazalar, faktlar (individual tushunchalar), kuzatish natijalari, tavsiyalar. Voqealarni ham iboralar, ham raqamlar bilan ifodalash mumkin. Voqealar tematik yoki funktsional jihatdan bo'limlarga bo'linadi. Ikkinchisining nomlari ularga kiritilgan voqealar nomlaridan farq qilishi kerak. Bitta hodisa bir nechta bo'limda bo'lishi mumkin.
Tizimdagi hodisalar xarakterlovchi va xarakterlovchi (hodisa-belgilar)ga bo'linadi. Masalan, yomg'irli hodisa yomg'irli hodisa bilan tavsiflanadi. Bu hodisa avvalgisining shartli belgisi deb ataladi, chunki yomg'irli ob-havo yomg'irsiz mumkin emas. Hodisaga ta'sir qilish yo'nalishiga qarab, belgilar ijobiy va salbiyga bo'linadi. Yomg'ir misoli ijobiy belgini ko'rsatadi. Salbiy xususiyatga misol – quruq er.
Bir nechta qiymatga ega bo'lgan xarakterlovchi hodisa atribut deb ataladi. Masalan, “fasl” tushunchasining xossasi “ob-havo”dir. Ikkinchisi bir nechta ma'noga ega bo'lganligi sababli: "sovuq", "iliq", "yomg'irli", u "fasllar" tushunchasining atributi hisoblanadi.
Bir nechta xususiyatlar hodisani bitta xususiyatdan ko'ra ko'proq darajada tavsiflovchi kompleksga birlashtirilishi mumkin. Agar hodisaning mavjudligi uning barcha xossalari amalga oshgandagina mumkin bo'lsa, u to'liq hodisalarga ishora qiladi. To'liq, xususan, bitta atribut yoki xususiyatlar to'plamiga ega bo'lgan hodisa.
Protseduralar axborotni o'zgartiruvchi maxsus tarmoq komponentlaridir. Ular sizga raqamlar va belgilar bilan ishlaydigan ba'zi atributlarning qiymatlarini boshqalar asosida hisoblash imkonini beradi.
Bilimlarni olish uchun tarmoq modelidagi hodisalar boshlang'ich (xususiyatlar) va maqsadli (gipotezalarga) bo'linadi. Xususiyat qiymatlari ma'lum deb taxmin qilinadi. Barcha belgilar o'ziga xos ma'nolaridan tashqari: rost (ha) va noto'g'ri (yo'q) yana ikkita standart ma'noga ega: "hali noma'lum" va "noma'lum". Oxirgi qiymatni belgilashda xarakteristikani hisobga olishdan chiqarib tashlanadi. Asl atributlarning qiymatlari ma'lum bir ro'yxatdan tanlanadi yoki tashqaridan kiritiladi. Ko'rib chiqilayotgan modeldagi xulosalar ob'ektlari gipotezalardir. Bularga tavsiyalar, tashxislar, bashoratlar va boshqa dasturiy ta'minotga oid qarorlar kiradi. Xulosa uchun shart kamida bitta gipotezaning mavjudligi bo'lishi kerak. Bunday holda, yechim uning haqiqatini baholashdir.