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

Baza uchun
iplayer(pache, ^eash, po51^1op)
Eslatib o'tamiz, Protod-dagi ma'lumotlar bazasi bo'limi ­ma'lumotlar bazasi predikatlarini tavsiflash uchun mo'ljallangan. Ushbu predikatning barcha turli bayonotlari Probod dinamik ma'lumotlar bazasini tashkil qiladi. U dinamik deb ataladi ­, chunki dastur ishlayotgan vaqtda uning tarkibidagi har qanday bayonotni undan olib tashlash, shuningdek, yangilarini qo'shish mumkin. Bu "statik" ma'lumotlar bazalaridan farq qiladi ­, bu erda tasdiqlar dastur kodining bir qismidir va dastur ishlayotgan paytda o'zgartirilmaydi. Dinamik ma'lumotlar bazasining yana bir muhim xususiyati shundaki, u diskka yozilishi va keyinchalik diskdan asosiy xotiraga o'qilishi mumkin. Dinamik ma'lumotlar bazasi faqat faktlarni (qoidalarni emas) o'z ichiga olishi ham muhimdir .­
ma'lumotlar bazasi ma'lumotlarining bir qismini statik ma'lumotlar bazasi bayonotlari sifatida saqlash afzalroqdir ; keyin bu ma'lumotlar ­dastur faollashtirilgandan so'ng darhol dinamik ma'lumotlar bazasiga kiritiladi . ­Buning uchun maxsus ­predikatlar qo'llaniladi. Umuman olganda, statik ma'lumotlar bazasi predikatlari boshqa nomga ega, ammo dinamik ma'lumotlar bazasi predikatlari bilan bir xil ma'lumotlarni ko'rsatish shakli. Masalan, ­dinamik ma'lumotlar bazasi uchun iplayer predikatiga mos keladigan statik ma'lumotlar bazasi predikati ­quyidagicha ta'riflanishi mumkin: pre31ca-les
p1auer (pashe, keash, ros1k1op)
bandlar
p1auer("Bap Mag1po", "M1ash1 Bo1rypz", "0B"). o'yinchi ("Kicargy Benk", "Chisado Beags", "BE"). player("Bern1e Koza^", "C1eVe1apy Broinz", "OB"). o'yinchi ("Boid Kossi", "Balaz Kubios", "TE"). futbolchi("Mark Matone", "Pkkzbigdb. Skee1erz", "C>B").

2. 
   Prolodda dinamik ma'lumotlar bazasi predikatlari
   

Progod dinamik ma'lumotlar bazasi bilan ishlash uchun maxsus o'rnatilgan predikatlarga ega: azzegka, azzegkz, argaek, zaVe, eopzi1k, geadkersh va knpnaH.
Azzegka, azzegkg va gekgask predikatlari ­dinamik maʼlumotlar bazasidagi maʼlum joyga fakt qoʻshish yoki undan mavjud faktni olib tashlash imkonini beradi. Bunda azzegka predikati ­kompyuterning operativ xotirasida joylashgan ma'lumotlar bazasiga yangi faktni kiritadi . ­Yangi fakt berilgan predikatning barcha kiritilgan gaplari oldiga qo'yiladi. Sintaksis:
azzerca (Clase).
Masalan, ma'lumotlar bazasiga bayonot qo'yish uchun
o'yinchi ("Bern1e Goat", "C1eVetagnBroinz", "OB").
allaqachon mavjud bo'lgan bayonotlardan oldin, siz quyidagi predikat ifodasini qo'llashingiz kerak:
azzerca(yr1auer("Bern1e Cosag",
"S1eVe1apy Vroinz", "OV")).
Azzegkg predikati (masalan, azzegca) ­ma'lumotlar bazasiga yangi bayonotlarni kiritadi, lekin yangi bayonotni ­ma'lumotlar bazasida mavjud bo'lgan bir xil predikatning barcha bayonotlaridan keyin joylashtiradi. (Eslash oson: ­predikatning oxirgi harfi "a" yoki " 2 ". "a" harfi ingliz alifbosining barcha boshqa harflaridan ­oldin keladi va " 2 " barcha harflardan keyin keladi ; xuddi shu tarzda, bular predikatlar qo‘shilgan gapni ham joylashtiradi ­. ) Sintaksis:
azzegUr(band).
geVasY predikati dinamik ­ma'lumotlar bazasidan tasdiqni olib tashlaydi. Uning sintaksisi:
geUgasY(Ex1zU1pd_c1ase).
Masalan, ma'lumotlar bazasidan tasdiqni olib tashlash uchun
iplayer("Boid Cossie", "Balaz Coubous", "TE") ­quyidagi ifodani yozishingiz kerak:
geYgasY(flayer("Boid Cossie", "Balaz Coubous", "TE")) .
Xuddi azzegYa va azzegYr kabi geUgary predikati ­faqat faktlarga tegishli.
Ma'lumotlar bazasini o'zgartirish uchun siz azzegYa, azzegYr va rvgYa predikatlari bilan ifodalar birikmasidan foydalanishingiz mumkin.
yozish uchun zaVe va conpy1Y predikatlari ­mos ravishda dinamik ma'lumotlar bazasiga fayl mazmunini yuklash uchun ishlatiladi. Bunday holda, ­zaVe predikati xotiradagi ma'lumotlar bazasini matn faylida saqlaydi. Sintaksis:
zaue (P11e_path).
Masalan, siz yozishingiz mumkin:
zaVe("YooYba11.dba").
Natijada, xotiradagi dinamik ma'lumotlar bazasining barcha bayonotlari VooYla11 fayliga yoziladi. dba. Agar diskda xuddi shu nomdagi fayl allaqachon mavjud bo'lsa, uning oldingi tarkibi o'chiriladi.
Conspy predikati yordamida ma'lumotlar bazasi faylini xotiraga o'qish (yuklash) mumkin . ­Sintaksis:
conzy1U(Pie_pache).
diskda bo'lmasa, faylda xatolar bo'lsa (masalan, fayldagi predikat sintaksisi dasturning fayl nomi bo'limidagi tavsiflarga mos kelmasa ) conzip1Y predikati muvaffaqiyatsiz tugadi. ­bo'sh joy etishmasligi sababli fayl tarkibini xotirada saqlash mumkin emas.
GeyVerm predikati , dasturda belgilangan domenga tegishli bo'lgan fayldan ob'ektlarni o'qish uchun ishlatiladi ­. Sintaksis:
geyVerm(Bota1n, Term). ,
Bu erda Bosha1n domen nomini belgilaydi va Tegm bu domen uchun turli xil ob'ektlar qiymatlari to'plamidir. Masalan, predikativ ifodada:
geaiVerm(auVo_gesop1, auVoChate, Vear, Pr1ce)).
auVo_recopy bilan almashtiriladi va Term auVo ^ate,Veag,Pr1ce) bilan almashtiriladi , bu erda auVo atamasi ushbu domenning barcha qiymatlar to'plamini belgilaydi. Bunday holda, domenlarning tavsifi quyidagicha ko'rinishi kerak: