Iyerarxik va alternativ fazolarda yechimni izlash.
Sun’iy intellektda mantiqiy xulosalash.
Formal mantiq.
Predikatlar mantiqi.
Birinchi tartibli predikatlar mantiqi.
Deduktiv mantiqiy xulosalash.
Abduktiv va induktiv mantiqiy xulosalash keltirilgan.
Bilimlarni tasvirlashning tarmoqli modellari.
Semantik tarmoklari, ularning klassifikasiyasi, modellar turlari, Tarixiy ma’lumotlar.
Tarmoqli modellarni klassifasiyalash.
Funksional tarmoqlar.
Semantik tarmoqlar.
Semantik tarmoqlarni tavsiflash.
Semantik tarmoqlarning turlari.
Semantik tarmoqlarda munosabatlarning turlari.
Semantik tarmoqlarni qurish muammolari.
Semantik tarmoqlarni qurish modellari.
Assosiativ tarmoqlar.
Mahsuliy modellar va tizimlar.
Maxsuliy modellarni tavsiflash.
Maxsuliy tizimlarning interpretatori.
To’g’ri va teskari xulosa.
Konfliktlarni hal qilish mexanizmi.
Maxsuliy tizimlarni amaliyotda qo’llash.
Xulosalarni tushuntirish.
Maxsuliy tizimlarning afzalliklari va kamchiliklari.
Bilimlarni taqdim etishning freymli modellari.
Noravshan va lingvistik o’zgaruvchilar va ularni tasvirlash.
Bilimlarning noaniqligi va ularni qayta ishlash usullari.
Masalalarni tavsiflashda noaniqliklarning turlari.
Dostları ilə paylaş: |
