Intellektual tizimlar haqida umumiy ma’lumot

Produksiya qoidasi nima va nima vazifani bajaradi?



TFZ mexanizmi{“A|=>Ag”, Ag=>Az”, ... “A_d-i=>A„”} produksion koidalarni shart va okibatlarni kullash xamda
ularni shart va okibatlarini taxdillash ketma-ketligi yuli bilan xulosalarni shakllantirishdan iborat.
Shunday kilib, TFZ mexanizmi deduktiv xulosa chikrish ketma- ketligini(toyi8 ponens koidalardan foydalanib) amalga oshiradi: Ai-i=>Ai Ai.i - tugri Ai -tugri.
TFZ ishlashini umumlapggirilgan algoritmi.

8. 
   Tadkikot ob’ektni belgipaydigan Ai ye M xolat va Ai-i=>Ai koidalar tuplamini shakllantirish.
   
9. 
   Dastlabki (Ai) xolatni anikdash, BBda unga oid shart kismida Ai kiymati mavjud bulgan 1-koidani topish va yangi Ai chikarish.
   
10. 
    Xar bir navbatdagi (A) xolat uchun shart kismida A kiymati mavjud bulgan (Ai=>A;+i) koidani BBda topish.
    
11. 
    Olinadigan joriy (A+i) xulosalarni (koidalar U XOLDA kismi kiymatlarini) taxdil kilish va kayta ishlash xamda mavjud xolat tuplamiga yangi xolat sifatida (koidalar AGAR kismi kiymatlariga) Kushish. Ya’ni (Ai,A2,..., A, Ai+i} tuplamini shakllantirish.
    
12. 
    Apgoritmni 2-boskichiga utish.
    
13. 
    Olingan xolatlar tuplami uchun xech bulmasa shart kismida tegishli xolatni majud bulgan bitta konsa topilguncha mazkur fnkrlashnn davom etish.
    
14. 
    BMdagi barcha koidalarni va ulardagi xolatlarni kayta ishlash va taxdil kilish jaryonni tugatish.
    

Olingan yakuniy koidaning kurinishi: AGAR Ai va Ag va ... va An-i, U XOLDA Ap.

Mantikiy xulosalarni chikarish teskari fikrlash zanjiri (GskFZ)ni mexanizmi.
TskFZ mexanizmi {“A-x=>A” ,“A-g=> A-i”, ... ,“Ai=>A” } produksiey koidaparni shart va okibatlarni kullash va taxdilpash ketma-ketligi yuli^ bilan paydo bulgan xolat (xulosa, okibat)ni sabab(shart)parni anikdashdan iborat.
Shunday kilib, TskFZ mexanizmi induyugiv xulosa chikrish
Ai-i=>Ai
A; -tUgri Ax -tugri
ketma-ketligiыi (modus tollens kovdalardan foydalanib) amalga oshiradi.
TskFZ ishlashini umumlashtirilgan algoritmi.
Tadkikot ob’ektni belgilaydiganA, yeM xolat va Aj-i=>Ai koidalar
si - koida kullash sharti di - koida kullash natijasi.

1. 
   Maxsuliy (produksiya) koidalar asosidagi bilim modellari, freym modellari birgalikda, keng tarkalgan modellar deb xisoblanadi. Ular bilimlarni “AGAR — U XOLDA” shaklda tasvirlaydi. K,oidani “AGAR” kismi koidani kullanish kator shartlarni, “U XOLDA” kismi esa — shartlar bajirilgan xolda amalga oshiriladigan tegi shli xarakat, xulosani shaklllaydi.
   

Masalan:
AGAR teletasvir kontrasti(yorugligi) past bulsa V A vakti bilan pasaysa
VA u negativ(teskari) tasvirga ayna boshlasa,
U XOLDA kineskop ishdan chikdi, uni almashtirish kerak.
Misol:
AGAR patsient gripp bilan kasallangan bulsa VA kasallik darajasi = boshlangich,
U XOLDA 0,95 extimoli bilan uning xarorati baland VA 0,85 extimoli bilan bosh ogrigi

100.