Intellektual tizimlar haqida umumiy ma’lumot

Mantiqiy xulosa chiqarish to’g’ri fikrlash zanjirini mexanizmi

Mantiqiy xulosa chiqarish to’g’ri fikrlash zanjiri ishlashini uumlashtirilgan algoritmi



Mantik algebrada tugri va soxtapiligni belgilash uchun I (yoki 1), L (S yoki 0) ramzlar kirngiladi. Mantikiy boglamapar «Ili/Yoki»- v (diz’yunksiya); «I/VA» - (kon’yunksiya); «Implikatsiya (—»); «ekvivalent­nost (—); «Ne/Inkor»- « - «[»_!»] rmzlar bilan belgilanadi. Bu ramzlar mantik algebra funksiyapar sinfini tashkil etadi.

5. 
   X (X emas) X inkori. U“x soxta (0ga teng) ligi X tugri (1ga teng)ligida buladi va aksincha” fikrni ifodalaydi.
   
6. 
   XtA Xg /X 1*Xg (Xi va Xg) - kon’yunksiya.
   

U “Bu funksiya tugri bulishi fakat X] va Xg tutriligida buladi” fikrni ifodalaydi..

7. 
   X1VX2 (Xi yoki Xg) — diz’yunksiya. U “Bu funksiya tugri bulishi yoki X| yoki Xg tutriligida buladi” fikrni ifodalaydi.
   
8. 
   Xi—> Xg - implikatsiya (agar Xi u xolda Xg yoki Xi dan Xg kelib chikadi). U “Bu funksiya fakat Xi tugri Xg esa soxta bulganda soxta buladi ” fikrni ifodalaydi.
   
9. 
   X1SX2 (X|~Xg) - ekvivalensiya (Xi kiymati/ma’nosi/axamiyati Xggateng; Xi bulishi agar va fakat Xg bulishida mumkin). U “Bu funksiya fakat Xi va Xg ikkalasi yoki tugri yoki soxta bulganida tugri buladi”.
   

Tablitsa istinnosti / Tugrilik jadvali
Tugri xulosa chikarish (modus ponens — m.p.) koidasi:
A. A—»V V
U “Agar A va A—»V tugri bulsa, U xolda V tugri buladi” fikrni ifodalaydi.
Ikkilik Uzgaruvchanlarni kullaydigan fikrlar xisobini predikat xdsobi deb ataydi. Predikat - bu mazkur ikkilik uzgaruvchanlar xar kanday mikdordagi argumentlar funksiyalari

47.