|
Tomonidan tan olingan, ammo boshqalar ham ma'lum
|
| bet | 1/6 | | Sana | 24.01.2024 | | Hajmi | 36,54 Kb. | | #144809 |
Bog'liq 10,11-Лекция узб
Ma'ruza 10.11. MANTIQIY DASTURLASH
Tadqiqot va dizayn ishlari odatda amaliy echim izlash bosqichidan o'tadi. Ushbu bosqichni qo'llab-quvvatlash uchun mantiqiy dasturlash (LP) tartiblar, protseduralar va funktsiyalarni aniqlash kontseptsiyasidan muhim og'ishni taklif qiladi. Harakatlarning kengaytirilgan ta'rifi sifatida "Klauz"deb nomlangan cheklangan to'plamdan teng ravishda tanlangan variantlarga ruxsat beriladi. Vazifani o'rganayotganda, bu to'plamni tasodifiy tartibda to'ldirish mumkin. Aynan shu g'oya mustaqil paradigma sifatida ajralib turadigan dori vositalarining jozibali xususiyatlaridan biridir. Tenglik faqat o'lik vaziyatga taalluqli emas, agar taklif qilingan variant maqsadli natijaga olib kelmasa.
Mantiqiy dasturlash paradigmasi berilgan faktlar va qoidalar asosida ma'lumotlarni avtomatik ravishda chiqarish g'oyasidan foydalanadi. Mantiqiy dasturlash rasmiy mantiq nazariyasi va apparatiga asoslangan . Rasmiy mantiqqa muvofiq yozilgan dastur ba'zi bir domenga oid faktlar va qoidalarni aks ettiruvchi ko'plab mantiqiy shakllardir. Mantiqiy dasturlashning asosiy tili Prologtomonidan tan olingan, ammo boshqalar ham ma'lum – Planner, ASP va Datalog. Ushbu tillarning barchasida qoidalar quyidagicha:
H :- B11, …, BNn,
mantiqiy amal sifatida tushuniladi
yoki
if (B11 and … and BN) then H B11&…&BN→H
qoidalarning boshi, B11, ..., bn esa tanasi deb ataladi.
Faktlar-bu tanasiz qoidalar. Atom va kompozit bulutlarni ajrating. Tanani tashkil etuvchi predikatlar naqshga mos keladigan uslubda ifodalanishi mumkin. Muhim mexanizm – bu Klauz tanasida inkorlardan foydalanish, bu esa monoton bo'lmagan mantiqqa olib keladi. Dastur mantig'i maqsadlarni hisoblashda protsessual uslubdan foydalanishi mumkin:
to solve H, solve B1, and ... and solve Bn.
Dasturlarni tushunishga deklarativ yondashuv dasturchidan to'g'riligini muntazam tekshirishni talab qiladi. Bundan tashqari, mantiqiy dasturlarni ularning yanada samarali ekvivalentlariga aylantirish qo'llaniladi, bu esa LPni makro texnologiyalarga yaqinlashtiradi. Dasturlarning samaradorligini oshirish uchun dasturchi hisoblash mexanizmining xatti-harakatlarining xususiyatlarini va ishlatilgan iboralarning hisoblash chegaralarini bilishi kerak.
|
| |
