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


Download 34.59 Kb.
bet2/5
Sana15.02.2023
Hajmi34.59 Kb.
#1201496
1   2   3   4   5
Bog'liq
Mavzu Mantiqiy dasturlash xususiyatlari va misollari Reja Man

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.

Download 34.59 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling