Mavzu: Mantiqiy dasturlashning xususiyatlari va misollari. Birinchi tartibli mantiq Reja: Mantiqiy dasturlash xususiyatlari

Mavzu: Mantiqiy dasturlashning xususiyatlari va misollari. Birinchi tartibli mantiq

Reja:

1. Mantiqiy dasturlash xususiyatlari

2. Haqiqat va mantiqiy ajratish

3. Birinchi tartibli mantiq

4. Sun’iy intelekt

Mantiqiy dasturlash 
bu faktlar va qoidalar qanday bayon qilinishini boshqarish uchun faqat matematik funktsiyalardan ko'ra mantiqiy davrlardan foydalanadigan dasturiy paradigma.
Qachon bajarilishini va funktsiya chaqiruvlarini yoki boshqa ko'rsatmalarni qanday baholashni belgilaydigan puxta tuzilgan boshqaruv oqimi o'rniga dasturning mantiqiy qoidalari mantiqiy band yoki predikat sifatida yoziladi.
Ko'pincha evolyutsion va genetik dasturlashda qo'llaniladigan ushbu yondashuv, odatda, qanday maqsadga erishish uchun emas, balki modelga qanday maqsadga erishish kerakligini aytadi.
Har bir qoida bajariladigan matematik funktsiyani emas, balki sarlavha va rasmiylashtirilgan mantiqga ega tanani o'z ichiga oladi. Masalan, "Va to'g'ri (sarlavha): agar C1, C2 va C3 haqiqiy bo'lsa (tanasi)." Faktlar yoki natijalar "Va haqiqat" kabi tanasiz ifodalanadi.
Biroq, ba'zi bir Prolog kabi dasturlash tillari bilan modelga ba'zi muammolarni qanday hal qilishni aytib berish uchun imperativ dasturlash ham kiritilishi mumkin. Masalan, "Y ni echish uchun C1, C2 va C3 ni qo'shing."

Mantiqiy dasturlashning xususiyatlari

Mantiqiy dasturlash boshqa mavjud dasturlash strategiyalaridan sezilarli darajada farq qiladi. Dastur bilan kompyuterga ko'rsatmalar berish o'rniga, ob'ektlar o'rtasida munosabatlar o'rnatiladi. Shu tarzda kompyuter ushbu aloqalarni asoslashi va shu bilan mantiqiy echimlarga erishishi mumkin.
Mantiqiy dastur doirasida ikkita asosiy kodlar to'plami mavjud: faktlar va qoidalar. Qoidalar atrof-muhit to'g'risida bilim olish uchun faktlarga nisbatan qo'llaniladi.

Haqiqat va mantiqiy ajratish

Mantiqiy dasturlarni ikkita muhim tushunchalar orqali hal qilish mumkin: haqiqat va mantiqiy deduksiya. Haqiqat dasturdagi hisob-kitoblarning to'g'riligiga yoki yo'qligiga, dastur belgilarining bajarilishi ostida chiqadi. Mantiqiy deduktsiya mantiqiy band dasturning natijasi ekanligini aniqlaydi.
Ushbu ko'rsatmalar har doim mantiqiy jumlalar va jumlalar sifatida talqin qilinadi, ularning bajarilishi natijasi tarkibidagi hisob-kitoblarning mantiqiy natijasidir.