Raionament aproximativ (fuzzy)

Sisteme cu logica nuantata,

G. Oltean

Sisteme cu logic fuzzy

x

Sistem

xX; yY Orice sistem trebuie s furnizeze la ieire valori care depind de intrare (i de starea sistemului) dup o anumit funcie (total sau parial cunoscut): 1) Dac legtura dintre x i y este complet cunoscut, y=f(x), f: XY i f cunoscut, atunci, pentru orice xX, putem determina y=f(x).

Sisteme cu logica nuantata,

G. Oltean

2) Dac nu se cunoate funcia f, ci doar valorile lui f(x) pentru anumite valori x:

x = x1 y = y1 x = x y = y 2 2 . . . x = x y = y n n
dac vrem s determinm y pentru x=x, xx1, ., xn, avem nevoie de o interpolare. Interpolarea poate fi realizat: liniar; cu funcii spline, polinoame de ordin superior, etc.; cu sisteme cu logic fuzzy

Sisteme cu logica nuantata,

G. Oltean

Indiferent dac lucrm cu sisteme tranante sau cu sisteme fuzzy, deducerea valorii de ieire y pentru o valoare dat x se numete inferen, i const n rezolvarea raionamentului: Premiz: x=x Regul: y=f(x)

(cunoscut analitic sau nu)

Concluzie: y=f(x)

Sisteme cu logica nuantata,

G. Oltean

n sistemele cu logic fuzzy (SLF), n loc de interpolarea liniar sau biliniar prin puncte se realizeaz o interpolare fuzzy, bazat pe: fuzzificarea perechilor (x1,y1) (xn,yn) prin definirea unor mulimi fuzzy centrate pe valorile din fiecare pereche: (X1, Y1); ; (Xn, Yn); Se aplica raionamentul fuzzy aproximativ, de tipul: Premiz: x=x Regul 1: Dac x este X1 atunci y este Y1 Regul 2: Dac x este X2 atunci y este Y2 . . . Regul n: Dac x este Xn atunci y este Yn Concluzie: y=y Baza de reguli (R1,, Rn) f(x)
Sisteme cu logica nuantata, G. Oltean

Raionament aproximativ (fuzzy)

Raionamentul fuzzy (sau raionamentul aproximativ) este analogul logicii predicatelor pentru raionamentul cu propoziii precise Extensie a logicii propoziiilor clasice. Raionamentul fuzzy folosete propoziii fuzzy care sunt afirmaii ce pot fi adevrate n anumite grade cuprinse n intervalul [0; 1].

Sisteme cu logica nuantata,

G. Oltean

Propoziii fuzzy
Propoziiile fuzzy sunt exprimate folosind limbajul natural:
x - variabil lingvistic A - o valoare lingvistic (multime fuzzy) a variabilei x.

x este A

Amplificarea este mare

In funcie de valoarea numeric a amplificrii, propozitia Amplificarea este mare poate avea diferite grade de adevr.
Sisteme cu logica nuantata, G. Oltean

Reguli fuzzy
Regulile fuzzy: propoziii condiionale de tipul Daca-atunci care folosesc variabile i valori lingvistice fuzzy Daca x este A atunci y este B
premisa antecedent concluzie consecvent

Interpretarea unei reguli fuzzy are loc n dou etape: mai nti se evalueaz premisa (gradul de adevar al propoziiei) se aplic acest rezultat concluziei. Dac premisa este adevrat ntr-un anumit grad, atunci concluzia

este adevrat n acelai grad

Daca servirea este buna atunci bacsisul este mediu Daca temperatura este scazuta atunci nivelul de incalzire este mare

Atat premisa cat si consecinta pot fi multiple:

Daca servirea este buna si mancarea este gustoasa atunci bacsisul este mare
Sisteme cu logica nuantata, G. Oltean

Problema rationamentului aproximativ

Fapt: x este A
Baz de reguli fuzzy: R1: Dac x este A1 atunci y este B1 R2: Dac x este A2 atunci y este B2 . . . Rn: Dac x este An atunci y este Bn

Consecin: y este B.

B=?

Problema raionamentului aproximativ const n formularea matematic a inferenei fuzzy. Inferen - operaie logic de derivare a unui enun din altul, prin care se admite
o judecat n virtutea unei legturi a ei cu alte judeci considerate ca adevrate.
Sisteme cu logica nuantata, G. Oltean

Ilustrare

Dac servirea este bun atunci bacsisul este mediu

Sisteme cu logica nuantata,

G. Oltean

Raionamentul Modus Ponens clasic (MP)

Modus Ponens - mod care afirm Fapt: x este A Regul: Dac x este A atunci y este B Consecin: y este B. n limbaj propoziional, dac notm: p= x este A q= y este B, atunci MP clasic devine: Fapt: p Regul: Dac p atunci q (pq) p implic q Consecin: q Dac p este adevrat i pq este adevrat atunci q este adevrat.
Sisteme cu logica nuantata, G. Oltean

Raionamentul Modus Ponens Generalizat (MPG)

Raionamentul MPG generalizeaz (extinde) raionamentul MP clasic prin relaxarea faptului (x este A) la o variant a sa: x este A*, unde A* A , dar A* A n general.
Raionamentul MPG: Fapt: x este A* Regul: Dac x este A atunci y este B Consecin: y este B*. Exemplificare: Fapt: Servirea este de nota 7 Regul: Dac Servirea este buna atunci Bacsisul este mare Consecin: Bacsisul este mare*. Capacitatea de generalizare: Se poate determina valoarea iesirii chiar daca valoarea de intrare nu este continuta explicit in baza de reguli
Sisteme cu logica nuantata, G. Oltean

mare*

Ilustrare

Servirea este de nota 7 Fuzzificare singleton mare*

Servirea este de nota 3 Fuzzificare singleton

Sisteme cu logica nuantata,

G. Oltean

Ilustrare

Sisteme cu logica nuantata,

G. Oltean

MPG determinarea consecinei

Premisa Regul Concluzie x este A* Daca x este A atunci y este B y este B*

Aflarea concluziei B se realizeaz n urma procesului de inferen (deducie) fuzzy, care matematic se poate rezolva folosind regula compoziional de inferen propus de Zadeh:

B* = A* o (A B)
simbolizeaz operaia de implicaie (evaluarea regulii fuzzy); o simbolizeaz operaia de compunere a celor dou propoziii Trebuie realizat compunerea unei mf (A*) cu o relaie fuzzy (A B) Folosind funciile de apartenen:

B ( y ) = A (x )o ( A B (x, y ))
* *

Trebuie stabilii operatorii pentru cele dou operaii: implicaie i compunere

Sisteme cu logica nuantata, G. Oltean

Operatori
Implicatie:
AB
min (Mamdani): produs (Larsen):

A B (x, y ) = min ( A ( x), B ( y ) )

A B ( x , y ) = A ( x ) B ( y )
B* = A* o (A B)

Compunere:

B ( y ) = max min{ A (x ), A B (x, y )}, y Y

*

max-min (Mamdani):
x X

Sisteme cu logica nuantata,

G. Oltean

Inferena compozitional Mamdani

Inferenta compozitionala max-min sau Mamdani

B ( y ) = max min{ A (x ), min ( A (x ), B ( y ))}, y Y

*

B* = A* o (A B)
*

B ( y ) = max min{ A (x ), A (x ), B ( y )}, y Y

*

x X

x X

In aplicatiile practice A* rezultata in urma fuzzificarii este de tip singleton

A (x ) = 1, x = x* ; A ( x ) = 0, x x* Maximul pentru B ( y ) se poate obtine doar pentru x=x*

* *
*

B ( y ) = min{ A (x* ), A (x* ), B ( y )}, y Y

*

B ( y ) = min{ , A (x* ), B ( y )}, y Y 1

*

B ( y ) = min{ A (x* ), B ( y )}, y Y

*

Sisteme cu logica nuantata,

G. Oltean

Inferenta compozitionala Mamdani - cont.

Grad de activare al regulii

Sisteme cu logica nuantata,

G. Oltean

Inferenta compozitionala Larsen

Inferenta compozitionala max-produs sau Larsen

B ( y ) = max min{ A ( x ), A ( x ) B ( y )}, y Y

*

B* = A* o (A B)
*

x X

In aplicatiile practice A* rezultata in urma fuzzificarii este de tip singleton Maximul pentru B* ( y ) se poate obtine doar pentru x=x*
* *

A ( x ) = 1, x = x* ;
*

A ( x ) = 0, x x*
*

B ( y ) = min{ A (x* ), A (x* ) B ( y )}, y Y

B ( y ) = min{ , A (x* ) B ( y )}, y Y 1

*

B ( y ) = A (x* ) B ( y ), y Y
*

Sisteme cu logica nuantata,

G. Oltean

Inferenta compozitionala Larsen - cont.

Grad de activare al regulii

Sisteme cu logica nuantata,

G. Oltean