Contribuţii la achiziţia şi structurarea cunoştinţelor în sisteme inteligente pentru diagnoza defectelor
Abordări aproximative privind alocarea şi încărcarea resurselor pentru SADU
utilizează principiul rezoluţiei care necesită aducerea propoziţiilor la o
formă standard numită clauză.
Clauzele uzuale se pot clasifica în:
clauze cu premise complexe şi consecinţă unică;
clauze cu premise complexe şi consecinţe alternative.
În cazul modelului nostru vom utiliza doar clauze cu premise
complexe şi consecinţă unică, astfel încât, orice formulă bine formată şi
închisă poate fi adusă la forma clauzală.
Pornind de la cele afirmate, putem crea o mare varietate de reguli de
inferenţă logică utilizând diferiţi operatori logici (conjuncţie ∧,
disjuncţie ∨, echivalenţă, negaţie, implicaţie, etc.) în diferite poziţii ale
clauzelor.
Cel mai uzual tip de inferenţă este inferenţa min-max, datorită
operatorilor implicaţi în relaţia fuzzy, care au următorul mod de
desfăşurare:
Se compară pe rând mărimile de intrare fuzzyficate prin
operatorul min cu premizele fiecărei reguli. Aici vor fi active
doar regulile pentru care comparaţia produce grade de
apartenenţă diferite de 0.
Reunind prin operatorul max concluziile fiecărei reguli active
şi ţinând cont de gradul ei de activare obţinem rezultatul final.
În literatura de specialitate apar şi alte tipuri de inferen ţă, bazate de
exemplu pe diferite implicaţii logice cum ar fi implicaţia Lukasiewicz
sau a operatorilor „produs” şi „sumă probabilistică”, etc. Cu toate
acestea mare majoritate a aplicaţiilor, apelează la inferenţa min-max.
Din modul de alcătuire a cadrului cognitiv se cunoaşte, de
asemenea, că din setul de reguli de conducere pot fi activate mai multe
în acelaşi timp, fiecare dintre ele putând induce câte o comandă proprie.
Ţinând cont de faptul că iniţializarea algoritmului de echilibrare a
încărcării o face Expeditorul, baza de cunoştinţe propusă cuprinde
următoarele reguli:
R1. If (IndiceIncarcareNod is min) then (StareNod is Receptor)
R2. If (IndiceIncarcareNod is moderat) and (NrNoduriIncarcate is
Putine) then (StareNod is Expeditor)
R3. If (IndiceIncarcareNod is moderat) and (NrNoduriIncarcate is
Multe) then (StareNod is Receptor)
84