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

pro31ca-les
Ikez (zushyo1, zushyo1)
Ushbu deklaratsiya Ukes predikatining ikkala ob'ekti ham smytho1 turiga ­ega ekanligini bildiradi , bu Protomodning ­asosiy turlaridan biridir (boshqa asosiy turlar ­quyida muhokama qilinadi).
Biroq, ba'zi hollarda, ­predikat tomonidan ishlatiladigan ob'ekt turi haqida biroz aniqroq bo'lish kerak bo'ladi. Masalan, ­Ikes predikatida ob'ektlar "sevuvchi" va "sevilgan narsa" ma'nosini anglatadi. Buning uchun Prothod sizga ­asosiy turdagi domenlardan o'z ob'ekt turlarini qurish imkonini beradi. Masalan, YotaN3 dasturining bo'limida shunday tavsiflar paydo bo'lishi ­mumkin:
Zosha1pz
persop, ripd = sutbo1
pro31ca-les
Ikez (regzop, Ripd)
persop va bmpd nomlari ma'lum qiymatlar to'plamini (domenlarini) bildiradi. Misol uchun, quyidagi uchta bayonotni ko'rib chiqing:
11kez ("Lokp", satega).
11kez ("Bu", sotrikeg).
11kez ("Kakku", sotrikeg).
Terma. okn , Thoth va Kakku bu yerda parsop domeniga , satega va kotriker atamalari esa kk1pd domeniga tegishli . Ushbu uchta bayonot bir xil predikatga qaytadi ­- Ickes , farq faqat ob'ektlar oladigan qiymatlarda. Boshqacha qilib aytadigan bo'lsak, uchta bayonot ­ham bir xil predikatning o'zgarishidir.
Keling, domenlar tavsifiga qaytaylik. Prolod bir nechta o'rnatilgan domen turlariga ega: belgilar (barcha mumkin bo'lgan yagona ­belgilar), butun sonlar, haqiqiy raqamlar, satrlar (belgilar ketma-ketligi), ramziy nomlar ( ­harflar, raqamlar va pastki chiziqlar ketma-ketligi, bu erda birinchi belgi kichik harf, yoki qo'shtirnoq ichiga olingan har qanday belgilar ketma-ketligi) va fayllar. Har bir ­domenning turi iotaints dasturining bo'limida e'lon qilinishi kerak .
Ilgari ta'kidlanganidek, faktlar va qoidalar bo'lim bandlarida kiritiladi , har bir fakt ­nuqta bilan tugaydi.