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.
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.
Do'stlaringiz bilan baham: |