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

Takrorlash uchun savollar:

1. 
   Ish muhitlarining xususiyatlari?
   
2. 
   Agent strukturasi?
   
3. 
   Agent dasturlar?
   

6. 
   - MA’RUZA TANQID CHEKLOVLARI
   

Reja:

1. 
   Qidirish joy muammosi
   
2. 
   Notugallik va qaror qabul qila olishlik.
   
3. 
   
   
   Tayanch iboralar: qidirish, notugallik, qaror qabul qilish, muammolar.
   
   6.1-rasm
   Qaror qila olishlik va notugallik
   

Avtomatlashtirilgan isbotlovchilar bir sekundda 20000 hulosani namoyish eta oladilar. Inson klar esa faqat 1 sekundta 1 xul osaningina namoyish eta oladilar.

• 
  Sabablar:
  
• 
  Insonlar yuqori darajada ishlaydigan intuitive (sezgir) hisobdan foydalanadilar.
  

Insonlar goya, fikrlar bilan ishlaydilar Muammolar
Odamlar intuitive ilm haqidagi bilimlarni og'zaki tarzda ifoda eta olmaydilar. Insonlar evristikani tajriba orqali o'rganadilar. Yechim:

• 
  Evristikani mexanizm organish texnikasi, ya'ni Ertel/Shuman/Sutner/Sutner/Ertel kabilar orqali o'rganing.
  

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 xatolarraqamiorgali, ijobiyxatolarraqami, vaqt murakkabligi. Ba'zilar mexanizm organish algoritmini muvaffaqiyatli dalillar Ertel/Shuman/Sutner; Sutner/Ertellarnio'rganish uchun qo'llaydi. Muvaffaqiyat luqaror qadamlari ijobiydek saqlanadi. Muvaffaqiyatsiz qaror odimlari salbiydek saqlanadi. Mexanizm organish 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 yuztutadi. Agar til kuchayib boyib ketsa, til notugallikka yuz tutadi. Misol PL1 Misol: buteoriy apara dosklar (hammaning fikriga zid g'oya)ga yol qo'yadi. Misol: buteoriy apara dosklar (hammaning fikriga zid g'oya)ga yo l qo'yadi. Ozining soqolini olmaydiganlarning soqolini oladigan barbenlar to'plami.
Taajjub: yetarlicha kuchli bo'lgan til qisqartirishlarga olib keladi. Uchadigan pingvin

1. 
   Tvitiy bu pingvin.
   
2. 
   pingvin bu qush.
   
3. 
   qush y qila oladi
   

Pingvin(Tvitiy)
Pingvin(x)=>qush(x)
Qush(x)=>uchish(x)
Pingvin(Tvitiy)=> uchish(Tvitiy)


Yangi shart: pingvinlar ucmaydi

Pingvin(x)^ uchish(x)

Ф uchish(Tvitiy)
Ammo:
-bilimlar bazasi mos emas
-monoton logika(yangi qobiliyat eskisini ozgartira olmaydi)
Gavda muammolari Monoton bolmagan mantiq: bilimni bilimlar omboridan olib tashlash mumkin. Yanglish mantiq: obyektlar boyligi, boshqa qonunlar amalga kiritilmasa saqlanib qolinadi. Misolda, qushlarning uchaolmaslik qopnuni xato qoidalar bolishi mumkin.

• 
  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.