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 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. | | | - Ifoda etiladigan ehtimolliklar
| | | | | | | | | | | | | | | | |
Do'stlaringiz bilan baham: |
