Qidirish joy muammosi

Sun’iy Intelekt

• 5 lektsiya

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	Haqiqiy baho raqamlari	Ifoda etiladigan ehtimolliklar
G’oyaviy mantiq	2	̶
Diskret ehtimolli mantiq	∞	̶
Davomiy ehtimolli mantiq	n	Ha
	∞	Ha