Основы искусственного интеллекта: учебное пособие

Rezolyutsiya (resolu va op) - bu berilgan takliflardan kelib chiqadigan takliflarni hisoblash imkonini beruvchi ­xulosa qilish qoidasi , bu esa ­teoremani avtomatik isbotlash sohasida potentsial qo'llanilishiga ega bo'lgan usulni ta'minlaydi [5]. Rezolyutsiya disjunktiv ­shakldagi bayonotlarga qo'llanilishi uchun ixtiro qilingan .­
Rezolyutsiya tushunchasi quyidagicha. Aytaylik ­, bizga quyidagi shakllarda ikkita bayonot berilgan:
kattaroq(Joanna, Jek) => ona(Joanna, Jek)
dono(Joanna, Jek) => kattaroq(Joanna, Jek)
Ushbu bayonotlarga asoslanib, rezolyutsiyadan foydalanib, siz yangi bayonot yaratishingiz mumkin:
dono(Joanna, Jek) => ona(Joanna, Jek)
Ushbu rezolyutsiyaning mexanizmi oddiy: bu ikki bayonotning chap tomonidagi shartlar mantiqiy ­VA operatsiyasi bilan birlashtirilib, yangi bayonotning chap tomonini tashkil qiladi ­. Keyin yangi bayonotning o'ng tomoni xuddi shunday shakllanadi:
kattaroq (Joanna, Jek) va donoroq (Joanna, Jek) =>
=> onasi (Joanna, Jek) Va kattaroq (Joanna, Jek)
Va keyin yangi gapning ikkala qismida paydo bo'lgan atama ­ulardan olib tashlanadi ("qisqartirilgan"):
dono(Joanna, Jek) => ona(Joanna, Jek)
Bu jarayon iboralar ­bir yoki ikkala qismda qo‘shma atamalar bo‘lsa ham qo‘llaniladi. Yangi olingan gapning chap tomonida birinchi navbatda berilgan ikkita gapning chap tomonining barcha shartlari mavjud; lekin ­o'ng tomoni ham xuddi shunday qurilgan. Keyin yangi gapning ikkala qismida paydo bo'lgan atamalar olib tashlanadi.
Aslida, rezolyutsiya bu oddiy misolda ko'rsatilganidan ko'ra murakkabroq jarayondir. Xususan, so'zlardagi o'zgaruvchilarning mavjudligi ushbu o'zgaruvchilar qiymatlarini qidirish uchun hal qilish jarayonini talab qiladi, bu ­esa moslashish jarayoniga olib keladi . O'zgaruvchilar uchun foydali qiymatlarni aniqlashning ushbu jarayoni birlashma deb ataladi va birlashtirish maqsadida o'zgaruvchilarga vaqtincha qiymatlarni belgilash instantsiya deb ­ataladi ­.
Odatda, rezolyutsiya vaqtida o'zgaruvchi istalgan moslikni ­to'liq qondirmaydigan ba'zi qiymatga keltiriladi, ­so'ngra oxirgi amalni bekor qilish va o'zgaruvchini yangi qiymat bilan yaratish kerak ­. (Biz birlashtirishni Prolod tili kontekstida batafsilroq o'rganamiz.)
Rezolyutsiyaning o'ta muhim xususiyati uning ­berilgan bayonotlar to'plamidagi har qanday qarama-qarshilikni aniqlash qobiliyatidir. Bu xususiyat bizga ­teoremalarni quyidagi tarzda isbotlash uchun ruxsatdan foydalanish imkonini beradi. Takliflar hisobi nuqtai nazaridan, biz ­teoremaning isbotini tegishli takliflarning berilgan to'plami deb hisoblashimiz mumkin, bunda teoremani ­inkor ­etishning o'zi yangi ­taklif sifatida shakllantiriladi. Shunday qilib, teorema inkor qilinadi, shuning uchun qarama-qarshilikni topib, bu teoremani isbotlash uchun ruxsatdan foydalanish mumkin. Bu qarama-qarshilik bilan isbotdir. Odatda, dastlabki mulohazalar gipoteza, teoremani inkor qilish esa maqsad deb ataladi.

3. 
   Prolog tilida xulosa chiqarish jarayoni
   

Ushbu bo'lim prolog tilidagi rezolyutsiyani o'rganadi. Protod -dan samarali foydalanish ­dasturchidan Protos tizimi o'z dasturi bilan nima qilayotganini aniq bilishini talab qiladi.