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

prexca-les
c1^y (sutbo1, susbho1) a11 sles
saiurer
s1Ru ("Samara", "Volga"). s1Ru ("Saratov", "Volga"). c1^y ("Rostov", "Don"). s1Ru ("Moskva", "Moskva"). s1Ru ("Volgograd", "Volga").
/*shaharlarning toʻliq roʻyxatini olish qoidasi*/
ur1Ve (C), n1,
RaI.
doa1
ur1Ue ("Shaharlarning to'liq ro'yxati:"), n1, a11_c1P1ez.
2-misol. Ma’lumotlar bazasida ­bir nechta shaharlar haqidagi ma’lumotlar (shahar nomi va shahardan ­oqib o‘tuvchi daryo nomi) faktlar to‘plami sifatida saqlansin. Maqsad ekranda ko'rsatilgan daryoda joylashgan shaharlar ro'yxatini olishdir.
prexca-les
josus (sushho1, sushho1) seags. (sutho1) bandlari
s1Ru ("Samara", "Volga"). s1Ru ("Saratov", "Volga"). s1Ru ("Rostov", "Don"). s1Ru ("Moskva", "Moskva"). s1Ru ("Volgograd", "Volga").
/*qidiruv qoidasi*/ zearc. (K): - s1Ru (S, K),
ur1Ve (C), n1,
RaI.
doa1
ur1Re ("Daryo nomini ko'rsating: "), geai1p (K ^ er), n1,
urlRe ("Daryo boʻyida turgan shaharlar", K^er, ":"), n1, zeags. (K^er).

2. 
   Kesish va orqaga qaytarish usuli
   

Ba'zi hollarda ma'lumotlarning faqat ma'lum bir qismiga kirish imkoniyati bo'lishi kerak. Kesish va orqaga qaytarish (RO) usuli ma'lumotlar bazasi tasdiqlaridan tanlangan ma'lumotlarni filtrlash uchun ishlatilishi mumkin . ­Ma'lumotlar bazasini skanerlashni tugatish shartini qo'yish orqali siz ma'lumotlarning faqat kerakli qismini olishingiz mumkin.
Shu maqsadda Prothod o'rnatilgan predikatga ega sID ("kesish"), u undov ­belgisi ( ! ) bilan belgilanadi. Har doim muvaffaqiyatli bo'lgan bu predikat ­ichki birlashtirish ­tartiblarini joriy pastki maqsadni baholashga urinishlar paytida o'rnatilgan har qanday zaxira ko'rsatkichlarni "unutishga" olib keladi ­. Boshqacha qilib aytadigan bo'lsak, SID predikati " to'siqni o'rnatadi ­", bu sizni ­joriy pastki maqsadga barcha muqobil echimlarga qaytishingizga to'sqinlik qiladi. Biroq, keyingi kichik maqsadlar yangi orqaga qaytish ko'rsatkichlarini yaratishi va shu bilan ­SID predikati doirasida bo'lmagan yangi echimlarni topish uchun sharoit yaratishi mumkin ­. Ammo agar keyingi barcha maqsadlar muvaffaqiyatsizlikka uchrasa, sd predikati tomonidan o'rnatilgan to'siq orqaga qaytish mexanizmini SD predikati doirasidan tashqaridagi boshqa mumkin bo'lgan echimlarga darhol qaytish ­orqali ­SD doirasidagi barcha qarorlarni to'xtatib qo'yishiga olib keladi . Shunday qilib, kesish va orqaga qaytarish usuli muvaffaqiyatsiz hisoblashni taqlid qiladi va ma'lum bir shart topilgunga qadar keyingi orqaga qaytishni amalga oshiradi va sID predikati barcha keyingi orqaga qaytishlarni bartaraf etishga xizmat qiladi .­
Misol. Faraz qilaylik, bir nechta bolalar ismlarini o'z ichiga olgan ma'lumotlar bazasi mavjud. Maqsad, ushbu nomlar ro'yxatini va DBAP nomini o'z ichiga olgan holda qaytarishdir .
/* Orqaga qaytarish va kesish usulini namoyish qilish */ pre3Dca-les pathe (mybo1) sDoDce cDaises yo‘li (“Magy”). pate ("Bob").
yo'l ("B1ana"). pate ("L'o'n"). pate ("ReReg").
/*qidiruv qoidasi*/ tanlash:- III yo‘l),
ur1Re (N), n1,
N="^^apa",!.