O'zbekiston Respublikasi Raqamli texnologiyalar vazirligi Muhammad Al-Xorazmiy nomidagi

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.

Birinchi tartibli mantiq

Bu taxminiy mantiqning bir yo'nalishi. Ob'ektlar domen deb nomlangan qisman dunyo nuqtai nazaridan haqiqiy yoki yolg'on ekanligini ko'rib chiqing. Mantiqiy dasturlash birinchi darajali mantiqni umumlashtirishga asoslanadi.
Ushbu mantiq sintaksis va semantikadan iborat. Sintaksis - tushunchalarni ifodalash uchun ishlatiladigan rasmiy til. Boshqa tomondan, birinchi darajali mantiqiy formulalarning semantikasi har qanday formulaning haqiqiy qiymatini qanday aniqlashni ko'rsatadi.
Ushbu mantiq alifbo va birinchi tartibli tilga, shuningdek aksiomalar va xulosalar qoidalariga asoslangan.

Gap shakli

Bu birinchi darajali mantiqning bir qismidir. U normallashtirilgan shaklga ega, bu erda bayonot universal prefiks yoki universal kvantatorlar zanjiri bilan belgilanadi va banddagi miqdorlarning erkin to'plami.
Dasturga so'rov yuborilganda, sarlavhasi mos kelishi mumkin bo'lgan bandning tanasi ko'rib chiqiladi. Bu mantiqda xulosa qilish qoidasini qo'llash bilan bir xil.
Xulosa qilishning bir bosqichi sifatida, ikkita xususiyat tanlangan, ular birida disjunktiv X (musbat literal), ikkinchisida disjunktiv ¬X (manfiy literal) mavjud. Ushbu savdolar bir-birini to'ldiruvchi sifatida tanilgan.
Ushbu ikkita boshlang'ich banddan, qo'shimcha harflardan tashqari barcha literallardan foydalangan holda, yangi qat'iy gap tuzilgan.

Sun'iy intellekt

Mantiqiy dasturlash - bu kompyuterlarning xulosasini chiqarishda foydalaniladigan metodologiya, chunki u bilimlarni aks ettirish uchun foydalidir. Mantiq bilim va uni boshqarish uchun xulosani ifodalash uchun ishlatiladi.
Bilimni ifodalash uchun ishlatiladigan mantiq gapning shaklidir. Bu birinchi darajali mantiq yaxshi tushunilganligi va barcha hisoblash muammolarini ifodalashga qodir bo'lgani uchun ishlatiladi.
Prolog - bu mantiqiy dasturlash g'oyalariga asoslangan dasturlash tili. Prolog g'oyasi mantiqni dasturlash tiliga o'xshatishdir.