|
Psevdofizik mantiq
Klassik mantiqning kamchiliklari va unga asoslangan birinchi tartibli predikatlar mantig'i atrofdagi dunyo haqidagi bilimlarni ifodalash usuli sifatida psevdofizik mantiqlarning paydo bo'lishiga olib keldi. Ular denotatning (belgining) semantikasini (maʼnosini) oʻzida ishlab chiqilgan semantikaga yaqinlashtirish maqsadida Zode [9] tomonidan ixtiro qilingan Aniqemas yoki Aniqemas tushunchalarni lingvistik oʻzgaruvchilar deb ataladigan shaklda ifodalashga asoslanadi. o'rganish (tajriba) jarayonida inson miyasi. Buning uchun intellektual tizim ishlashi kerak bo'lgan tasvirlar (belgilar) to'plami tasvirlangan tarozida nuqtalar. Masalan, "yosh" (yillarda), "ob'ektgacha bo'lgan masofa" (m yoki km) shkalalarini ko'rib chiqish mumkin. Har bir shkala lingvistik o'zgaruvchining belgilar qiymatlari to'plami bilan bog'liq. Masalan, bir xil nomdagi lingvistik o'zgaruvchining quyidagi qiymatlari "yosh" shkalasi bilan bog'lanishi mumkin: "yosh", "yosh", "etuk", "keksa", "qari", "eskirgan". Masofa bilan "masofa" - "yaqin", "juda yaqin", "yaqin", "yaqin", "uzoq emas", "uzoq", "juda uzoq", "o'rtadagi do'zax". Bu ikki tasvirlash (shkaladagi nuqtalar to‘plami va ishora qiymatlari to‘plami) o‘rtasidagi munosabat x(t) a’zolik funksiyasi yordamida aniqlanadi, bunda x – lingvistik o‘zgaruvchining qiymati, t – masshtabdagi qiymat. . A'zolik funksiyasining qiymati shkaladagi t qiymatini x ga yoki aksincha almashtirish ehtimoli sifatida izohlanadi . Shubhasiz, formulaga muvofiq a'zolik funktsiyasi qiymatlarini normallashtirish mumkin
y oki
4-rasm. Lingvistik o'zgaruvchan yoshni tavsiflash misolini ko'rsatadi.
Bu erda har bir egri chiziq o'zining bitta ramziy qiymatini tavsiflaydi.
Eng ko'p qo'llaniladigan psevdofizik mantiqlar fazoviy, vaqtinchalik va sababiy (kauzal).
5-rasm. Fazoviy mantiqiy komponentlarning tuzilishini ko'rsatadi.
Ob'ektlar, masofalar va yo'nalishlarning o'zaro joylashishi mantiqlari metrik va topologik mantiqlarga bo'linadi. Metrik mantiqdan farqli o'laroq, topologik mantiq metrik shkala bilan bog'liq emas.
5-rasm. Fazoviy mantiq
Metrik shkalalar ekzosentrik va endotsentrik, nisbiy va mutlaq turlarga bo'linadi. Ekzosentrik tarozilar kelib chiqishi sifatida intellektual tizimning o'zi bilan bog'liq nuqtaga ega. Masofalar mantig'ida "Ob'ektgacha bo'lgan masofa" lingvistik o'zgaruvchisini tavsiflash shkalasi bunday masshtabga misol bo'la oladi. Uning ramziy qadriyatlari quyidagilar bo'lishi mumkin: "juda yaqin", "yaqin", "juda, juda yaqin", "juda yaqin", "yaqin", "juda yaqin emas", "yaqin emas", "uzoq emas" , "uzoq emas, lekin juda yaqin emas", "juda uzoq emas", "yaqin emas", "uzoq", "juda uzoq" va boshqalar. Endosentrik shkala tizimdan tashqarida kelib chiqish nuqtasiga ega. Masofalarning bir xil mantig'ida "ikki ob'ekt orasidagi masofa" lingvistik o'zgaruvchisini tavsiflash shkalasi bunday masshtabga misol bo'la oladi. Nisbiy shkalalar o'zgaruvchan mos yozuvlar nuqtasiga ega (koordinatalarning kelib chiqishi), mutlaq shkalalar esa o'zgarmasga ega (odatda nazarda tutilgan, ya'ni aniq ko'rsatilmagan).
Yo'nalishlar mantig'i "o'ngga", "chapga", "oldinga", "orqaga" yoki "sharqga", "g'arbga" va hokazo tushunchalar bilan ishlaydi.
Ob'ektlarning o'zaro joylashishi mantiqida quyidagi asosiy munosabatlar tavsiflanadi: unary - "gorizontal holatga ega bo'lmoq", "vertikal holatga ega bo'lmoq", binar - "ichkarida bo'lmoq", "tashqarida bo'lmoq", on bo'lmoq. sirt”, “markazda bo‘lmoq”, “o‘rtada bo‘lmoq”, “o‘sha joyda bo‘lmoq”, “..” “noldan farqli proyeksiya bo‘lmoq”, “ - mahallada bo‘lmoq”, "bir qism bo'lmoq", "bir to'g'ri chiziqda bo'lmoq", "atrofda bo'lmoq", "chekkada bo'lmoq", "parallel bo'lmoq", "perpendikulyar bo'lmoq", "simmetrik bo'lmoq", "n birlik uzoqlikda bo'lmoq" dan..", "tayanch nuqtasi bor..", " to'xtatib turish nuqtasi bor.." , "tegish", " yuqori bo'lmoq", " pastroq bo'lmoq", " bo'lmoq". bir darajada bo‘lmoq”, “uzoqroq bo‘lmoq”, “yaqinroq bo‘lmoq”, “bir xil masofada bo‘lmoq”, n-ariy munosabat – “orada bo‘lmoq”.
Hosil munosabatlar asosiy munosabatlardan “tegma” (“aloqa”ni inkor etish), “birga bo‘lmoq..” (“bir joyda bo‘lmoq..” oqibati) kabi mantiqiy bog‘lovchilar yordamida quriladi. ), “osilmoq” (bog‘lovchisi “vertikal holatga ega” va “osilib...”), “tur” (“vertikal holatga ega” va “.. ustida tayanch nuqtasi bor”) va boshqalar.
Nazorat savollar
1. Bilimlarni ifodalash modellari: mantiqiy model.
2. Ekspert tizimlar
Do'stlaringiz bilan baham: |
