Aqlli tizimlarda ishonchli va ishonchli xulosa
Turli maqsadlar uchun intellektual tizimlarda ishonchli (deduktiv) va ishonchli (abduktiv, induktiv) xulosalar usullari ko'rib chiqiladi. Grafik tuzilmalarda deduktiv xulosa chiqarish usullari berilgan. Klassik va monoton bo'lmagan modal mantiqlar tasvirlangan: ishontirish va bilim mantiqlari, Mak-Dermott va Doylning monoton bo'lmagan mantiqlari, Murning avtoepistemik mantiqlari, Reiterning sukut mantiqlari. Argumentatsiya nazariyasining asoslari va abduktiv xulosa chiqarish usullari keltirilgan. O'qitish va qaror qabul qilish tizimlarini qurishning asosiy printsiplari ko'rib chiqiladi va "o'qituvchisiz" va "o'qituvchi bilan"o'qitish vazifalari beriladi. To'liq bo'lmagan ma'lumotlar uchun induktiv usullar va taxminiy to'plamlar nazariyasi usullari bayon etilgan. 2-nashrga bayonotlarni hisoblash va birinchi darajali predikatlarni hisoblash, shuningdek, tushunchalarni induktiv shakllantirish vazifasida haqiqiy "shovqinli" ma'lumotlar bazalari bilan ishlash bo'yicha boblar qo'shildi. Rossiya federatsiyasi ta'lim vazirligi tomonidan "amaliy matematika va informatika", "Informatika va kompyuter texnologiyalari" yo'nalishlari va "amaliy informatika" (yo'nalishlar bo'yicha) va "amaliy matematika va informatika"mutaxassisliklari bo'yicha tahsil olayotgan universitet talabalari uchun o'quv qo'llanma sifatida qabul qilingan. 2-nashr, qayta ko'rib chiqilgan va to'ldirilgan.
Sharhlar topilmadi
