O‘zbekiston respublikasi axborot texn ologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al -xorazmiy nomidagi toshkent axborot texn ologiyalari universiteti “Axborot texnologiyalari” kafedrasi H

Tayanch iboralar: to’r, logika, baza, barqaror, probaltik.
Tweety bir pingvin bo'ladi. Penguins qushlar bor. Barcha qushlar y bo’lishi mumkin. PL1 yilda rasmiy bilimlar bazasi WEB 1 iborat pingvin (tweety) pingvin (x)) qush (x) qush (x)) y (x)
Bu olingan natija bo’lishi mumkin: y (tweety)
Yangi sinov:
Penguins bo’lishi mumkin y emas; pingvin (x)): y (x);
Bu olingan natija bo'lishi mumkin: y (tweety).
Lekin: Bundan tashqari, olingan natija bo’lishi mumkin: y (tweety) bilimlar bazasi barqaror emas. mantiq, bir xillik: yangi bilim eski bilim bekor bo’lishi mumkin emas.
Probabilistic logika

• 
  Noaniqlik: barcha qushlarning 99% y bo’lishi mumkin
  
• 
  To'liq: Agent holati haqida to'liq ma'lumot
  
• 
  jahon (real vaqt qarorlari)
  
• 
  evristik qidiruv
  
• 
  noma'lum yoki to'liq bilim bilan fikr.
  

Kelinglar faqat orqaga o'tirib nimadir haqida o'ylab ko'raylik!

11.1-rasm

Misol:

• 
  Agar bemorga o'ng og'riq hissi bo'lsa pastki qorin ko'tardi
  
• 
  Hujayra (Leykotsitlar) soni, bu appenditsit bo'lishi mumkin shubhali.
  
• 
  Oshqozon og'riq o'ng pastki ^л Leykotsitlar> 10000! appenditsit
  
• 
  Oshqozon og'riq o'ng pastki л Leykotsitlar> 10000
  
• 
  Biz appenditsit olmoq uchun modus ponensdan foydalanishimiz mumkin.
  

1976, Shortlie va Buchanan . Ishonch omillar faktlar va qoidalar aniq
ifodalaydi. A! shartli ehtimollik orqali B
misol:
Oshqozonda og'riq o'ng pastki л Leykotsitlar> 10000: 0! 6 Appendikulyar qoidalarini omillar ulash uchun formulalar. Analiz noto'g'ri. Zid natijalar olingan bo'lishi mumkin. non-bir xildagi mantiqi Default Lojik Default mantiq Dempster-Shafer nazariyasi: mantiqiy muddatga Loyqa mantiq bir e'tiqod vazifasini Bel (A) soladi () nazorat nazariyasi
Shartli ehtimolliklar bilan fikr
O'rniga ahamiyatga ega bo'lgan shartli ehtimolliklar (material ma'no) sub'ektiv ehtimolliklar, Ehtimollar nazariyasi yaxshi tashkil qilingan noaniq va to'liq bilim bilan fikr. Maksimal entropiya usuli (Maxent)
■ Bayes tarmoqlari
Misol: Ehtimollik aforizmlari o'yinlar, ehtimollik " a olti "oti b 1 = 6 ehtimoli bo'lgan " Toq o’tib 1 = 2 7,1 belgilar yakunlari majmui bo'lsin. har bir ! 2 eksperiment mumkin bo'lgan natija uchun beriladi. Wii 2 istisno bo'lsa bir-biriga, lekin barcha mumkin bo'lgan natijalarini qamrab, ular elementar hodisalar deyiladi. bir marta namuna
143

o’tib = F1; 2; 3; 4; 5; 6g ham soni f2 o’tib; 4; 6g Boshlang'ich voqea emas 5 F1 kichikroq bir qator tashlab; 2; 3; 4g Boshlang'ich voqea emas Sababi: F2; 4; 6g \ F1; 2; 3; 4g = F2; 4g 6 =; ikki tadbirlar A va B, A bilan [B voqea hisoblanadi. ishonch hosil voqeadir bo'sh majmui imkonsiz voqeadir.
Buning o'rniga A \ B, biz, chunki A ^л B yozish x 2 A \ B, 2 A ^л x 2 B
x:
A, B, etc .: tasodifiy o'zgaruvchilar. Biz n qiymati qator bilan faqat diskret tasodifiy o'zgaruvchilar ko'rib d da, soni qadriyatlar 1,2,3,4,5,6 bilan ajralgan bo'ladi. Ehtimollik, 5 yoki 6 1 = 3 o’tish:
P (2-sonli F5; 6g) = P (soni = 5 _ soni = 6) = 1 = 3:
Belgilar 7,2 Let = f 1; ! 2; :::; ! Ng bo'lsin nite. No boshlang'ich voqeadir afzal, Oli§hma chastotasi bilan bog'liq nosimmetrik taxmin anglatadi Barcha elementar hodisalar. Tadbir A ehtimoli P (A), keyin bo'ladi tomonidan rad
P (A) = JAJ jj =
A qulay natijalari soni iloji natijalari soni Misol: bir qolib uchirish, ham qator uchun ehtimollik hisoblanadi P (2-sonli F2; 4; 6g) = jf2; 4; 6gj jf1; 2;
3; 4; 5; 6gj = 3 6 =12
-v."c+K fcjauoa w Ert.1 2Г1