formalnie: Rozmyte systemy wnioskujące

formalnie:

Rozmyte systemy wnioskujące

Dorota Cendrowska

nieformalnie:

Parafrazując: nikt nam nie będzie wmawiał, że białe jest białe, a czarne jest czarne…

Plan wykładu

zbiory rozmyte: definicje operacje na zbiorach zastosowania

rozmyte systemy wnioskujące: struktura podstawowe bloki i ich rola

Rozmyty system wnioskujący

dane wejściowe(informacja ilościowa)

blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł

dane wyjściowe(informacja ilościowa)

operacje na danych

jakościowych

Powtórka z rozrywki... dane, informacja

15°C

59°F

288,15°K

ciepło

zimno21

dorosły

22

młody

stary

[255, 102, 0]

ceglany

pomarańczowy

Informacja „ilościowa”: dane numeryczne

Informacja „jakościowa”: dane porządkowe, dane symboliczne

[0, 60, 100,0]

semantyczna nieostrość zakresu tych pojęć :(

Nie zapomnij kupić piękną cytrynę.

Tak, chodzi o rajstopy cieńsze niż grubsze.

Czy mógłbyś wyjąć z szafy żółty szal?

Lingwistyczne problemy „płci” :)

Wzrost: Typ numeryczny: 155 cm, 192 cm Pojęcie lingwistyczne: wysoki, średni, niski

Waga: Typ numeryczny: 80 kg, 45 kg, 110 kg Pojęcie lingwistyczne: mała, średnia, duża

Numeryczne czy lingwistyczne?


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł



Waga: Typ numeryczny: 80 kg, 45 kg, 110 kg Pojęcie lingwistyczne: mała, normalna, duża


wzrost w centymetrach

waga w kilogramach

wartość liczbowawspółczynnika określającego

„poprawność” wagi ciała

wzrost-110 BMI wzrost-100 milion innych

pomysłów

?


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł







Kiedy człowiek jest wysoki?

Kiedy człowiek ma nadwagę?


Zbiór rozmyty Z to:

gdzie Z jest funkcją przynależności

zbioru rozmytego:

pełna przynależność (wartość 1),

brak przynależności (wartość 0),

częściowa przynależność (pozostałe wartości).

Logika rozmyta...

logika dwuwartościowa:

prawda

fałsz

logika rozmyta:

wMieście=1.0,

po22=0.9,

naMazurachNadRanem=0.3,

„Prawdziwość” a zbiory rozmyte

Środkiem płatniczym w Polsce jest złoty

Gdy przestrzeń X jest skończona to:

wówczas:

„Leniwy człowiek” jako zbiory rozmyty

Zbiór rozmyty D — „dobra ocena”:

Zbiór rozmyty L — „leniwy” ktoś:

„Leniwy człowiek” jako zbiory rozmyty

Graficzna reprezentacja zbiorów rozmytych:

„leniwy”

„dobra ocena”

Zbiory rozmyte: graficznie

Ania Bartek Tomeczek Zbynio Zenek

0.5

1

2 2.5 3 3,5 4 4,5 5

0.5

1

Graficzna reprezentacja zbiorów rozmytych:

waga:

wzrost:

Zbiory rozmyte: graficznie

mała

50

0.5

1normalna duża

30 70 90

niski

170

0.5

1średni wysoki

150 190

suma:

Operacje na zbiorach rozmytych

0.5

1A B

0.5

1A B

przecięcie:

0.5

1A B

0.5

1A B


negacja:

0.5

1A B

0.5

1A


wzrost: 150 cm, waga: 67 kg

System rozmyty — rozmywanie


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


mała

50

0.5

1normalna duża

30 70 9067

niski

170

0.5

1średni wysoki

150 190

wzrost:niski=0.45średni=0.80wysoki=0.00

waga:mała=0.15normalna=0.50duża=0.60

„Baza reguł” (z życia wzięta)

Jak rozmiar nosi ktoś o wadze 75,5kg i wzroście 155,5cm?

JEŚLI wzrost=niski && waga=duża TO diagnoza=nadwaga

JEŚLI wzrost=wysoki && waga=mała TO diagnoza=niedowaga

JEŚLI diagnoza=nadwaga && przyczyna=złe odżywianie TO ryzyko=cukrzyca

Baza reguł


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga

wzrost wysoki

OK

niedowaga

OK

diagnoza={niedowaga, OK, nadwaga}

JEŚLI wzrost=niski & waga=duża TO diagnoza=nadwaga

JEŚLI wzrost=wysoki & waga=mała TO diagnoza=niedowaga

JEŚLI diagnoza=nadwaga & przyczyna=złe odżywianie TO ryzyko=cukrzyca

Jak duża nadwaga, niedowaga a kiedy norma?

Pojęcia lingistyczne i systemy regułowe

wzrost: 150cm, niski=0.45, średni=0.8, wysoki=0

waga 67kg, mała=0.15, normalna=0.5, duża=0.6

JEŚLI waga=mała i wzrost=niski TO diagnoza=OK

Zbiory rozmyte i reguły — wnioskowanie


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga

wzrost wysoki

OK

niedowaga

OK


niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.15, 0.45}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




JEŚLI waga=mała i wzrost=średni TO diagnoza=niedowaga

niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.15, 0.8}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




JEŚLI waga=normalna i wzrost=niski TO diagnoza=OK

niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.45, 0.5}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




JEŚLI waga=normalna i wzrost=średni TO diagnoza=OK

niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.5, 0.8}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




JEŚLI waga=duża i wzrost=niski TO diagnoza=nadwaga

niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.45, 0.6}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




JEŚLI waga=duża i wzrost=średni TO diagnoza=nadwaga

niedowaga

22,5

0.5

1OK nadwaga

20 25

min {0.6, 0.8}



blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


wzrost wysoki

OK

niedowaga

OK

wzrost niski

OK

OK

nadwaga

waga mała

waga normalna

waga duża

wzrost średni

OK

niedowaga

nadwaga




wynik=alternatywa wyników wszystkich reguł

niedowaga

22,5

0.5

1OK nadwaga

20 25

metody: maksimum środek przedziału maksimum środek ciężkości

System rozmyty — wyostrzanie


blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


300

0.5

1

200 400

y=295




blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


y=27,35

niedowaga

22,5

0.5

1OK nadwaga

20 25 27,5 30




blokrozmywania

blokwnioskowania

blokwyostrzania

baza reguł


y=24,6

niedowaga

22,5

0.5

1OK nadwaga

20 25 27,5 30

≈5 + ≈–3 = ?

1

0.5

1około pięć

-1 3 5-3

coś koło -3

Zbiory rozmyte i... liczby

≈5 + ≈–3 = ?

1

0.5

1

-1 3 5-3

zbiór rozmyty: "czyżby dwa?"

Zbiory rozmyte i... liczby

≈5 + ≈–3 = ?

„coś koło -3” = A =[-3,-3,-1]

„około 5”=B=[3, 4, 5, 6]

1

0.5

1około pięć

-1 3 5-3

coś koło -3 dokładnie jeden

42-2 6

Skierowane liczby rozmyte

≈5 + ≈–3 = ?

„coś koło -3” = A =[-3,-3,-1]=[-3,-3,-3,-1]

„około 5”=B=[3, 4, 5, 6]

A+B=[0, 1, 2, 5]

1

0.5

1około pięć

-1 3 5-3

coś koło -3 dokładnie jeden

42-2 6


≈5 + ≈–3 = ≈2

„coś koło -3” = A =[-3,-1]=[-3,-3,-1]=[-3,-3,-3,-1]

„około 5”=B=[3, 4, 5, 6]

A+B=[0, 1, 2, 5]

skierowana liczba rozmyta"około dwa"

1

0.5

1

-1 3 5-3 42-2 6


jak zwykle, zamiast zakończenia...

filozoficznie:

fragment okładki i książki pt. „Paddington daje sobie radę”

(autor: Michael Bond)

— Wie pani — powiedział do pani Bird, gdy przyszła do jadalni, by sprawdzić, czy już zjadł grzankę z marmoladą — nigdy dotąd nie zrobiłem wszystkiego, bo gdybym zrobił, to nie czekałyby mnie już żadne niespodzianki.

formalnie: Rozmyte systemy wnioskujące

Documents

Transcript of formalnie: Rozmyte systemy wnioskujące