Reja: Bilimlarga asoslangan, tushunchalarni tassavur qilish va tizimlarni ishlab chiqish

Bilimni taqdim etish usuli - bu bilimlarning rasmiy tavsiflari bilan о‘zaro bog‘liq bо‘lgan vositalar tо‘plami va bu tavsiflarning ishlashi, manipulyatsiyasi.

(Ma’lumotlar bazalari nazariyasidagi ma’lumotlar modelini konseptual darajadagi tushuncha).

 Mantiqiy usullar (asosiy, predikat til).

Faktlar (tasdiqlar) – berilgan vazifalarni yechish va foydalanuvchi bilan hamkorlikni tashkil qilish uchun zarur bо‘lgan bilimlarga aytiladi.

Fakt (xaqiqat) − ayrim mantiqdagi formuladir.

Bilimlar tizimi − formulalar tо‘plami.

Bilimlar bazasi - kompyuter tushunishidagi bilimlar tizimi.

 Asosiy operatsiyalar: mantiqiy xulosa (teoremalarni

 SI tizimlarida metabilim:

  Meta-bilim - AI tizimining о‘z bilimlari bilan tanishishi: qanday tuzilganligi, qanday va qanday sharoitlarda о‘zgartirilishi mumkinligi (avtoritet masalasini hisobga olgan holda: avtomatlashtirilgan о‘zgarish, foydalanuvchini tasdiqlashdan keyin о‘zgartirish, foydalanuvchining о‘zgarishi).Mutaxassislik tizimlarida meta-ma’lumotlardan foydalanish tegishli bо‘limga kiritiladi.Ushbu bо‘limda biz metodikani A.I. tizimining (ma’lumotlar bazasining mazmuni) mavjud bо‘lgan bilimlari va kirish ma’lumotlari о‘rtasidagi ziddiyatni hal qilish vositasi sifatida kо‘rib chiqamiz.

Nizolar misollari:

- vazifa ahvoli matnini tahlil qilishni yakunlash mumkin emas A.I. tizimiga noma’lum sо‘z bor edi;

- qarorni rejalashtirishni davom ettirish mumkin emas qidiruv daraxti keyingi verteksiga hech qanday operator amal qilmaydi;

- Yangi haqiqat ilgari ma’lum bо‘lganlardan biriga rasmiy ravishda zid.

 

Mojaroni bartaraf etish (masalan, A.I. tizimining lug‘atiga kiritilmagan sо‘zning bosh matnida kо‘rinish):

- mumkin bо‘lgan sabablarni izlash (notanish sо‘z - bu haqiqatan ham yangi sо‘z yoki imlo xatolari bilan sо‘z);

- ularning dinamikligi (taniqli foydalanuvchi bilan muloqotning joriy sessiyasida: kо‘pincha klaviatura xatosi, boshqasi odatiy / kamdan-kam sо‘zlarni ishlatishni yaxshi kо‘radi);

 

- nizoni bartaraf etishning eng yaxshi usulini tanlash (xatni almashtirish, bо‘sh joyni kiritish va h.k.);

- ma’lumot bazasini zaruriy vaqtinchalik tuzatish (masalan, noma’lum sо‘zlarning paydo bо‘lishiga taqiqni vaqtinchalik olib tashlash) yoki kirish ma’lumotlarining о‘zgarishi (imlo xatosini tuzatish);

- о‘rganish (ixtiyoriy), masalan, yangi sо‘z tizimining lug‘atiga yozish.