Qidirish joy muammosi


Download 1.7 Mb.
Sana13.12.2020
Hajmi1.7 Mb.

Sun’iy Intelekt

Qidirish joy muammosi

Qidirish joy muammosi

  • Avtomatlashtirilgan isbotlovchilar bir sekundda 20000 xulosani namoyish eta oladilar.
  • Insonlar esa faqat 1 sekundta 1 xulosaningina namoyish eta oladilar.
  • Sabablar:
  • Insonlar yuqori darajada ishlaydigan intuitive (sezgir) hisobdan foydalanadilar.
  • Insonlar g`oya, fikrlar bilan ishlaydilar.

Qidiruv joy muammosi

  • Muammolar
  • Odamlar intuitive ilm haqidagi bilimlarni og`zaki tarzda ifoda eta olmaydilar.
    • Insonlar evristikani tajriba orqali o`rganadilar.
  • Yechim:
  • Evristikani mexanizm o`rganish texnikasi, ya`ni Ertel/Shuman/Sutner/Sutner/Ertel kabilar orqali o`rganing.

Qidiruv joy muammosi

  • Misol:qaror
  • Daliliy yo`nalish moduli turli xil alternativlarni keyingi qadam uchun evriskit tarzda baholaydi.
  • Alternativlarni eng zo`r, a`lo darajadagi baholash bilan tanlaydi.
  • Mavjud gaplarni baholanishi xatola rraqami orgali, ijobiy xatolar raqami, vaqt murakkabligi.
  • Ba`zilar mexanizm o`rganish algoritmini muvaffaqiyatli dalillar Ertel/Shuman/Sutner; Sutner/Ertellarnio`rganish uchun qo`llaydi.
  • Muvaffaqiyat luqaror qadamlari ijobiydek saqlanadi.
  • Muvaffaqiyatsiz qaror odimlari salbiydek saqlanadi.
  • Mexanizm o`rganish tizimi gaplarning baholanishi uchun programma yaratadi. Notugallik va qaror qabul qila olishlik.
  • Bu yerda to`gri va to`liq hisob va teorema isbotlovchilari mavjud.

Notugallik va qaror qabul qila olishlik.

  • Har qanday teorema aniq bir vaqtda isbot qilinishi mumkin.
  • Har qanday teorema aniq bir vaqtda isbot qilinishi mumkin.
  • Agar gap yolg`on bo`lsa nima bo`ladi?

Qaror qila olishlik va notugallik

  • Agar til kuchayib boyib ketsa, til notugallikka yuz tutadi. Misol PL1

Qaror qila olishlik va notugallik

  • Agar til kuchayib boyib ketsa, til notugallikka yuz tutadi. Misol PL1
  • Misol: buteoriy apara dosklar (hammaning fikriga zid g`oya)ga yo`l qo`yadi.
  • Misol: buteoriy apara dosklar (hammaning fikriga zid g`oya)ga yo`l qo`yadi.
  • O`zining soqolini olmaydiganlarning soqolini oladigan barbenlar to`plami.

Taajjub: yetarlicha kuchli bo`lgan til qisqartirishlarga olib keladi. Uchadigan pingvin

Uchadigan pingvin

Uchadigan pingvin

Uchadigan pingvin

Abraksas qarg’asi

Quzg`un abraka (afsonaviy so`z)

Gavda muammolari

Gavda muammolari

  • Monoton bo`lmagan mantiq: bilimni bilimlar omboridan olib tashlash mumkin.
  • Yanglish mantiq: obyektlar boyligi, boshqa qonunlar amalga kiritilmasa saqlanib qolinadi.
  • Misolda, qushlarning uchaolmaslik qopnuni xato qoidalar bo`lishi mumkin.

Noaniqlikni modellashtirish:

  • P(qish(X))Y(X))=0:99
  • P(YJqush)=0:99 bilan ishlash osonroq
  • Noaniq bilimlarining modellashtirilishi
  • Noaniq bilimlarning modellashtirilishi uchun turli xil rasmiylikning taqqoslanishidir.

Noaniq bilimlarining modellashtirilishi

  • Davomiy o’zgaruvchan yomg’irning ehtimollik zichligi 10 va 20 mm
  • Yomg’ir juda o’xshash.

Noaniq bilimlarning modellashtirilishi uchun turli xil rasmiylikning taqqoslanishidir.

  • Formalizm
  • Ifoda etiladigan ehtimolliklar
  • G’oyaviy mantiq
  • 2
  • ̶
  • ̶
  • Davomiy ehtimolli mantiq
  • n
  • Ha
  • Ha

Download 1.7 Mb.

Do'stlaringiz bilan baham:




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