Bilimlarning ochiqligi muammosi AI tizimining "bilimlari" to'plami muqarrar ravishda unga muammoli muhit dinamikasini va AI tizimiga yuklangan vazifalar dinamikasini aks ettiruvchi yangi ma'lumotlarni kiritish uchun ochiq bo'lishi kerak.
Ochiqlik turli yo'llar bilan amalga oshirilishi mumkin:
bilimlar bazasini "jarrohlik yo'li bilan" to'ldirish (dasturchi / administrator bilimlar bazasi matnlariga o'zgartirishlar kiritadi),
foydalanuvchi tomonidan tizimni ish rejimida o'rgatish;
tizimni o'z-o'zini o'rganish (uni yangi shartlarga / vazifalarga moslashtirish). 3. Bilimlarni ifodalashning asosiy usullari:
Bilimlarni ifodalash usuli - bu bilimlarni rasmiy tavsiflashning o'zaro bog'liq vositalari va bu tavsiflarning ishlashi (manipulyatsiyasi).
(Ma'lumotlar bazalari nazariyasidagi ma'lumotlar modelining analogi - kontseptual daraja tushunchasi)
Mantiqiy usullar (predikatlar tili) Muammolarni hal qilish va foydalanuvchilarning o'zaro ta'sirini tashkil qilish uchun zarur bo'lgan bilimlar - faktlar (bayonotlar).
Fakt - bu qandaydir mantiqdagi formula.
Bilimlar tizimi formulalar to'plamidir.
Bilimlar bazasi - bu kompyuter tasviridagi bilimlar tizimi. Asosiy amallar: xulosa chiqarish (teoremani isbotlash) Misollar: bor (Anvar, kitob) "Anvarning kitobi bor"
bor (Anvar, kitoblar) ∀ bor (Anvar, kitob) "Agar Anvarning kitoblari bo'lsa, unda
kitobi bor"
(∀x) [shaxs (x) → bor (x, kitob)] “Har kimning kitobi bor”
(∀x) [erkin (x) → ¬ (∃y) ((y, x) bo‘yicha)] “Agar x kubi bo‘sh bo‘lsa, x kubida y kubi yo‘q”.
Afzalliklari:
xulosa chiqarishning rasmiy apparati (yangi faktlar / ma'lum faktlar / bilimlardan olingan bilimlar),
yaxlitlikni nazorat qilish qobiliyati,
oddiy va tushunarli yozuv. Kamchiliklari:
bilimni tuzish qiyin,
ko'p sonli formulalar bilan chiqish juda uzoq vaqt oladi,
ko'p sonli formulalar bilan ularning kombinatsiyasini ko'rish qiyin.
