Mantiqiy modellar - 2. Bilimlarni taqdim etish modellari

|
2. Bilimlarni taqdim etish modellari
|
bet | 2/5 | Sana | 22.12.2023 | Hajmi | 376,63 Kb. | | #126537 |
Bog'liq SI 3 uzbMantiqiy modellar. Modellarning bu klassi propozitsion hisob yoki predikat hisobiga (inglizcha predikatdan - “bayonot”) asoslanadi va rost yoki yolgʻon boʻlishi mumkin boʻlgan bayonotlar (bayonotlar) bilan shugʻullanadi.
orqali bitta predikatni belgilaymiz, bu erda obyekt o'zgaruvchisining (obyekt) belgisi. o'zgaruvchisini aniqlashning sohasi (predmet sohasi); predikat belgisi ("xususiyat"). predikati ikkita qiymatni oladi: agar obyekti xossaga ega bo'lsa, "To'g'ri" yoki obyekti xossaga ega bo'lmasa, "Yolg’on".
Masalan, “kompyuter zarur” iborasini predikat sifatida yozish mumkin, bu erda “zarur bo'lish” xossasi;
ikkilik predikati va obyektlari o'rtasidagi qandaydir munosabatni belgilaydi, masalan, " obyekti obyektidan kattaroq (uzunroq, kattaroq va hokazo)"..
Ko'p o'rinli ( mahalliy) predikat , ob'ektlar guruhi ichidagi obyektlar orasidagi munosabatni belgilaydi, va ular ga nisbatan bir-biri bilan bog'liq.
Mantiqiy bog'lanishlardan foydalanish (qo’shish, YOKI ), (ko’paytrish, VA), (inkor, EMAS), (implikatsiya) va boshqalar, elementar bayonotlardan (predikatlardan) yanada murakkab bayonotlarni tuzish mumkin. Masalan,
bu erda predikatlar; ba'zi mantiqiy funktsiya; va predmet o'zgaruvchilari (obyektlar). Ushbu formulaning (bayonotning) haqiyligi faqat va o'zgaruvchilarning aniq qiymatlari uchun tekshirish mumkin.
Mantiqiy modellarning afzalliklari aniq rasmiy semantika, matematik mantiqqa asoslangan mantiqiy xulosaning rivojlangan mexanizmlaridan foydalanish imkoniyatidir.
Semantik tarmoqlar. Bular grafik ko'rinishidagi grafik modellar bo'lib, ularning uchlari (tugunlari) ma'lum tushunchalarga (ob'ektlar, hodisalar, jarayonlar), bog'lanishlari (ya'ni, grafik yoylari) bu tushunchalar orasidagi munosabatlarga mos keladi. Tarmoq tugunlari doira shaklida, ular orasidagi bog'lanishlar esa strelkali chiziqlar sifatida tasvirlangan. Ushbu aloqalar turli xil munosabatlarni tavsiflab, bir-biridan farq qilishi mumkin: meros bo'yicha; vaqt munosabatlari; fazoviy joylashuv; sabab-oqibat munosabatlari.
Quyidagi matnni misol qilib keltiraylik: "kompyuter protsessor, xotira, ma'lumot kiritish-chiqarish qurilmasi va boshqaruv moslamasidan iborat. Protsessor xotiradan ma'lumotlarni o'qiydi va olingan natijalarni xotiraga yozish uchun uzatadi.
Ma'lumotlar, shuningdek, ma'lumot kiritish-chiqarish qurilmasidan xotiraga kiradi va ushbu qurilma yordamida xotiradan o'qilishi mumkin. Protsessor, xotira va kiritish-chiqarish qurilmasining ishlashi boshqaruv qurilmasi tomonidan boshqariladi”.
Keling, ushbu matndagi ma'lumotlarni semantik tarmoq yordamida tasvirlaymiz (1-rasm). Ushbu tarmoqning tugunlari sifatida siz "kompyuter", "protsessor", "Xotira", "kiritish-chiqarish qurilmasi", "boshqaruv moslamasi" tushunchalarini kiritiladi. Ularning tushunchalari o'rtasidagi aloqalar (munosabatlar) quyidagicha nomlanadi: "bor", "ma'lumotlarni yozadi", "ma'lumotlarni o'qiydi", "boshqaradi".
1-rasm. "Kompyuter" semantik tarmog'i.
1-rasmdan ko’rib shuni aytish mumkinki, ushbu semantik tarmoq strukturasi deb ataladigan obyektlarning ma'lum sinfini ("Kompyuter") belgilaydi. Ushbu struktura to'rtta atribut bilan tavsiflanadi ("Protsessor", "Xotira", " kiritish-chiqarish qurilmasi", "Boshqaruv qurilmasi").
Muayyan obyekt (masalan," HP Compaq ix9010 shaxsiy kompyuteri") ushbu strukturaga tegishli bo'lib, barcha sanab o'tilgan atributlarga ega.
Semantik tarmoqni tavsiflash (kompyuterda ifodalash) uchun qisqartmalar qo'llaniladigan quyidagi turdagi kvadrat matritsadan foydalanish mumkin: KChQ - kiritish-chiqarish qurilmasi; BQ - boshqaruv qurilmasi.
Ushbu matritsaning qatori va ustunining kesishmasida, agar tugundan tugunga chiziq (bog'lanish) o'tsa, mos keladigan munosabatning nomi yoziladi. Bizning misolimizda ("HP Compaq ularning 9010" tanlangan ob'ektini hisobga olmaganda) bizda beshta qator va beshta ustun mavjud (tushunchalar soni bo'yicha - tarmoq tugunlari). Matritsaning bo'sh bo'lmagan hujayralarining umumiy soni 11 ta, ya'ni tarmoqdagi belgilangan ulanishlar soni.
Har bir tarmoq tugunining o'z tuzilishi bo'lishi mumkin, ya'ni bu tushunchaning mohiyatini ochib beruvchi o‘ziga xos semantik tarmoq shaklida taqdim etilishi mumkin. Masalan, "protsessor" tushunchasini "summator", "operand registrlari", "Shift registrlari" va boshqalarning o'zaro ta'sir qiluvchi komponentlar to'plami sifatida aniqlash mumkin. Bunday holda, biz ko'rib chiqilayotgan tarmoqni bir qator kichik tarmoqlarga bo'lishni o'z ichiga olgan ierarxik semantik tarmoq haqida keltirishimiz mumkin.
Semantik tarmoqlarning afzalliklari: ko'rinish (axborotning "semantik vizualizatsiyasi" atamasi tasodifan paydo bo'lgan emas); ko'rib chiqilayotgan predmetning asosiy tushunchalari o'rtasidagi turli munosabatlarni ko'rsatish uchun vositalar boyligi; bilimlar bazasi qoidalarini yaratish qobiliyatidir.
|
| |