Documente Academic
Documente Profesional
Documente Cultură
Horia-Nicolai L. Teodorescu
Science and literature are not two things, but two sides of one thing.
Thomas Huxley
CAPITOLUL 3.
66
Capitolul 3
Soare
(poziia )
Foarte cald
FC
Maxim
Max
Mediu cald
MC
Mediu
Med
Puin cald
PC
Minim
Min
(x)
MC
PC
Aer
condiionat
FC
(y)
Med
Min
Max
x
1
Fig. 1.
67
a) Problema negaiei
Sensul unei asemenea propoziii nu poate fi clarificat dect dac se clarific sensul
att al cuvntului neastmprat, ct i al unei familii semantice complete a lui, care s
clarifice cum altfel mai poate fi X. n caz contrar, nu putem construi nici mcar negata
logic, dect formal, ca non-p. O minim familie semantic a cuvntului astmprat
include cel puin cuvntul cuminte, astfel nct non(X este neastmprat) = X este
cuminte. De remarcat c astmprat i cuminte sunt i antonimice, dar permit i
construcia negatei uneia dintre ele prin cellalt cuvnt (sunt nu doar opuse, ci i
complementare n unele contexte). Aceast suprapunere de funcii poate duce la confuzii.
b) Diverse logici
Propoziia dat se poate interpreta n logica binar atunci cnd nu exist nici un dubiu
asupra ncadrrii lui X n clasa neastmprat ceea ce uneori nu este cazul. Deci
utilizarea logicii binare nu este cea mai bun alegere. O alegere mai plauzibil este o
logic multivalent; trei sau cinci valori de adevr probabil c sunt suficiente pentru
reprezentarea logic ce corespunde vorbirii colocviale, uzuale. Alegerea unei logici
trivalente este sugerat i de expresia cuminte aa-i-aa.
Ataarea unei probabiliti propoziiei date nu pare justificat, deoarece propoziia se
refer la o persoan unic (deci nu se poate aplica statistica), presupus cunoscut destul
de bine ca s se poat face afirmaii de evaluare a ei (este neastmprat). Imprecizia
propoziiei se datorete vagului expresiei astmprat i nu probabilitii de realizare.
Faptul c propoziia nu este de natur probabilist nu nseamn c nu poate constitui
premisa unei reguli cu concluzie probabilist, precum:
X este neastmprat, deci te poi atepta (sunt anse mari) s fac cel puin trei
pozne pe sptmn.
Un exemplu de interpretare concret este:
Daca X este neastmprat, el va face trei pozne sptmna viitoare cu o
probabilitate mai mare de 0,7.
Interpretarea propoziiei ntr-o logic fuzzy este dificil deoarece nu se precizeaz
vreo modalitate de msurare, de cuantificare a strii de neastmprare. Folosind o
interpretare bazat pe numrul de pozne, putem construi o funcie de apartenen discret
de forma:
68
Capitolul 3
neastmprat
0.2
0.3
0.7
>3
puin neastmprat
foarte neastmprat
exagerat de neastmprat
1
A
Fig. 2.
E
x cost obiecte
stricate
69
A P F E
E F P A
Interpretarea conectivelor logice este mai dificil, dac dorim s pstrm legtura cu
limba: o persoan nu poate fi n acelai timp i neastmprat i foarte neastmprat (nu
putem alege dect o caracterizare unic, sau, eventual, una intermediar). Urmnd o cale
pur formal, definim:
A
P
F
E
A
A
P
P
F
P
P
P
F
E
F
P
F
F
E
E
F
E
E
E
A
P
F
E
A
A
A
A
A
P
A
P
P
P
F
A
P
F
F
E
A
P
F
E
70
Capitolul 3
Dobnzi
mai
mici
pentru
cei
cu
bani.
Mari,
08
Mai
2007,
71
Indicaii. Ca multe verbe care exprim trirea unei stri, verbul a plictisi are un
coninut imprecis, vag. Logica probabilist nu este adecvat, pentru c nu exist nici o
legtur cu un numr de cazuri posibile i favorabile. Pn la dezvoltarea unor metode
calitative, neuro-psihologice, de msurare a gradului de plictis, nu putem folosi logica
fuzzy i funcii de apartenen pentru a reprezenta acest verb. Fiind ns cunoscut c ne
plictisim n diverse grade, predicatul a (se) plictisi poate fi interpretat ntr-o logic multivalent cu numr finit de grade de adevr.
Numeralul nedeterminat (vag) numeroi poate fi interpretat ntr-o logic fuzzy
(infinit-valent), prin definirea unei funcii de apartenen i restrngerea apoi a acelei
funcii la o variabil natural (din N).
Foarte variate este derivatul lui variat cu modificatorul foarte. Cum variat se refer
la proprieti nedefinite, fie suntem obligai s presupunem nite proprieti concrete, fie
s lsm proprietile nedefinite; prin alegerea uneia dintre ci, dezambiguizm discuia.
Dac proprietile rmn nedefinite, nu putem dect s folosim o logic MV cu gradele
foarte puin variat, , foarte variat. Dac vom concretiza proprietile, de exemplu
fcnd explicit referire la temperatura de nmuiere/topire, densitate etc., putem
introduce funcii de apartenen, n raport cu variabilele numerice reale temperatur,
densitate etc. n acest caz, se poate da o interpretare n cadrul logicii fuzzy. Textul ns
nu invit ctre o asemenea interpretare, la care de altfel trebuie s contribuim semnificativ
prin adugare de cunotine la cele furnizate de text.
10. ** S se dea interpretri n diverse logici pentru pronumele nehotrte adjectivele i
respectiv adverbele muli, unii, puini, numeroi, frecvent, adesea, rareori, mai puin
numeroi, mult mai numeroi,
Indicaii. Vom considera termeni precum frecvent, adesea, rar, aproape ntotdeauna.
Asemenea termeni accept cel puin dou interpretri, una pur probabilist i una
combinat, fuzzy-probabilist.
Prima interpretare se bazeaz pe determinarea unui prag, sau a unui interval crisp de
probabiliti, precum:
frecvent = cu o frecven (probabilitate) > 0,3 .
= cu o probabilitate p [0,3;1]
adesea
72
Capitolul 3
~
p1 , ~
p2 , ~
p3 sunt numere fuzzy. Un exemplu este indicat n figura 3. Graficul din
(p)
1
p(x)
~
p1
1
0,2
0,3
0 0,1
x
x1 0,7 x2
0,3
(p)
1
~
p2
~
p3
1
Fig. 3.
(h)
foarte
scund
scund
mediu
73
foarte
nalt
nalt
h [m] (brbai)
1,65
1,7
1,8
1,9
Fig. 4.
74
Capitolul 3
17. S se arate ca implicaia din logica binar satisface definiia de mai sus.
Indicaie. Se va folosi tabelul de adevr al implicaiei binare.
18. Prin definiie, implicaia n logica max-prod, cu valoare determinist (real, crisp) n
premis, este dat de schema:
~
75
x = x0
= A~ ( x0 ) B~ ( y ) y .
S se arate c ntotdeauna rezultatul (ca mulime fuzzy) obinut n logica max-prod este
inclus n rezultatul obinut, pe aceeai regul i cu aceeai valoare real x0 R , n logica
max-min.
x = x0
= min A~ ( x0 ), B~ ( y ) y .
B~ m ( y ) = min A~ ( x0 ), B~ ( y ) A~ ( x0 ) B~ ( y ) = B~* ( y )
y ,
~ ~
A, B ,
rezult
~
~
B m B* .
19. * S se arate c, n logica max-prod, pentru orice mulime fuzzy A , pentru care
~
~ ~ ~
~
~
IL
I3
A~ ( x) < 1 x , lim I A~ ( x) = , unde I n A = 1
AI
A2
A (de n ori intersecie), iar
4
4
4
4
n
n
n
este mulimea fuzzy vid. Dar n cazul n care A~ ( x) atinge valoarea 1 ntr-un singur
punct, x0 ? Ct este lim I A~ ( x) n cazul logicii max-min?
n
Atunci y este B * ,
~
cu valoarea real x0 n premis. S se arate c, pentru schema de mai sus, dac B este o
~
76
Capitolul 3
~
R. Este suficient s observm c, dac B este o funcie simetric, B * este tot o funcie
~
simetric, deci are acelai centru de greutate ca i B . Ca urmare, nici valorile defuzificate
nu se vor modifica la aplicarea uneia sau alteia dintre cele dou logici.
21. * Se consider urmtoarea regul lingvistic:
Dac facem foarte multe exerciii, vom lua not foarte bun la examen.
a) S se completeze descrierea folosind n premis gradele lingvistice reprezentate prin
sintagmele (modificatorii): mult, mediu, puin, foarte puin.
b) S se precizeze dac s-a folosit vreun modificator pentru gradele lingvistice.
c) S se dea un exemplu de funcii de apartenen pentru premise (unitate de msur,
considerat variabil real: ore/sptmn) i pentru concluzie (variabila not se
consider real).
d) S se precizeze universul de discurs pentru variabila din concluzie.
Indicaie. La punctul (b), modificatorul este foarte (vezi Figura 4).
Ca sugestie n rezolvare: universurile de discurs respective se vor alege: U premisa = [0, 8]
(presupunem c se lucreaz cel mult 8 ore/zi); U concluzie = [0,10] . Notm: Fs = foarte slab,
.., Fb = foarte bun. Stabilirea corespondenei ntre funciile de apartenen de intrare si
ieire este banal i se las cititorului.
(x)
Fp
(y)
Fm
Fb
Fm
not
h/sptmn
0,5
Fig. 5.
10