logica fuzzy -...
TRANSCRIPT
![Page 1: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/1.jpg)
Logica fuzzyFabio Aurelio D’Asaro
![Page 2: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/2.jpg)
“formal logic ... is one of the technically most refractory parts of mathematics. The reason for
this is that it deals with rigid, all-or-none concepts, and has very little contact with the continuous concept of the real or of complex
number, that is, with mathematical analysis. Yet analysis is the technically most successful and best-elaborated part of mathematics.
Thus formal logic is, by the nature of its approach, cut off from the best cultivated
portions of mathematics, and forced onto the most difficult part of the mathematical terrain,
into combinatorics.”
Dall’articolo di John von Neumann: The General and Logic Theory of Automata
![Page 3: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/3.jpg)
In logica classica...
Ogni enunciato ben formato è vero (1) o falso (0) e soddisfa il ben noto principio di non contraddizione:
¬(A⋀¬A)
Altrimenti, per il principio dell’ex falso quodlibet, potremmo dedurre qualsiasi cosa (tutto e il contrario di tutto)
L’enunciato “7 è un numero primo” è vero.
![Page 4: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/4.jpg)
Quali paletti sono “alti”?
![Page 5: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/5.jpg)
Quali paletti sono “alti”?
![Page 6: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/6.jpg)
Quali paletti sono “alti”?
![Page 7: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/7.jpg)
Quali paletti sono “alti”?
1 mt
![Page 8: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/8.jpg)
Quali paletti sono “alti”?
1 mt
![Page 9: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/9.jpg)
Quali paletti sono “alti”?
1 mt
perché questoè “alto” e
quest’altro no?
![Page 10: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/10.jpg)
Grafico riassuntivo
metri
alti
nonalti
|1 mt0.5 mt 1.5 mt
![Page 11: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/11.jpg)
E se invece...
alti
nonalti
|1 mt0.5 mt metri1.5 mt
![Page 12: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/12.jpg)
E se invece...
alti
nonalti
|1 mt0.5 mt metri1.5 mt
![Page 13: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/13.jpg)
E se invece...
alti
nonalti
|1 mt0.5 mt metri1.5 mt
alto e non altoin una certa misura...
![Page 14: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/14.jpg)
Insiemi fuzzy
Un insieme fuzzy A è definito dalla sua funzione di appartenenza (o membership function) che ad ogni elemento x in un dato universo U assegna il suo grado di appartenenza all’insieme fuzzy A.
Il grado di appartenenza è un reale compreso tra 0 ed 1
Esempio:U = [0, 10]A = insieme dei “numeri grandi”
Come definire la funzione di appartenenza μA:U→[0,1]?
![Page 15: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/15.jpg)
Insiemi fuzzy
![Page 16: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/16.jpg)
Insiemi fuzzy
![Page 17: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/17.jpg)
Insiemi fuzzy
Il passaggio agli enunciati è immediato: ad esempio, possiamo chiederci: il numero 7 è grande?
Il valore di verità associato a tale enunciato può essere calcolato attraverso la funzione di appartenenza corrispondente all’insieme dei numeri grandi:
μA(7) = 7/10 = 0.7
![Page 18: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/18.jpg)
Insiemi fuzzy
![Page 19: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/19.jpg)
Insiemi fuzzy
![Page 20: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/20.jpg)
Negazione e connettivi
Un breve richiamo...
A B not A A and B A or B
0 0 1 0 0
0 1 1 0 1
1 0 0 0 1
1 1 0 1 1
![Page 21: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/21.jpg)
Negazione e connettivi
E in logica fuzzy?
Supponiamo che il valore di verità di A sia 0.9 e quello di B sia 0.3.
Quanto ci aspettiamo che valga la loro congiunzione?
E la disgiunzione?
E la negazione di A?
![Page 22: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/22.jpg)
Negazione e connettivi
Nell’articolo originale di Zadeh troviamo queste possibilità:
Congiunzione = min
Disgiunzione = max
Negazione = 1 - x
A B not A A and B A or B
0.9 0.3 0.1 0.3 0.9
![Page 23: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/23.jpg)
Negazione e connettivi
Dobbiamo notare, comunque, che queste scelte non costituiscono le uniche possibilità!
Ad esempio, in alternativa al min per la congiunzione è possibile considerare il prodotto:
A and B = 0.9 * 0.3 = 0.27
In alternativa al max per la congiunzione è possibile considerare la somma probabilistica:
A or B = 0.9 + 0.3 - 0.9*0.3 = 0.93
Per la negazione si può usare invece...
not A = (1 - 0.9)/(1 + 0.9) ≈ 0.053
![Page 24: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/24.jpg)
Unione ed intersezione
Le definizione date per i connettivi possono essere estese agli insiemi
Dati due insiemi sullo stesso universo U specificati dalle rispettive funzioni di appartenenza μA e μB possiamo definire...
μ A ∪ B(x) = max(μA(x), μB(x))
μ A ∩ B(x) = min(μA(x), μB(x))
μ ¬A(x) = 1 - μA(x)
![Page 25: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/25.jpg)
Unione ed intersezione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 26: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/26.jpg)
Unione ed intersezione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 27: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/27.jpg)
Intersezione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 28: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/28.jpg)
Intersezione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 29: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/29.jpg)
Intersezione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 30: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/30.jpg)
Unione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 31: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/31.jpg)
Unione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 32: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/32.jpg)
Unione
1
0
|1 mt0.5 mt metri1.5 mt
![Page 33: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/33.jpg)
Alcuni sviluppi...
Fuzzy Control
Misure difuzziness
Connettivit-norms, t-conorms,strong negations...
![Page 34: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/34.jpg)
Fuzzy Control
![Page 35: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/35.jpg)
Sviluppi: Fuzzy control
Supponiamo di avere un sistema formato dalle seguenti regole:
i) Se x è minore di 0.5, allora y è uguale a 10x
ii) Se x è maggiore o uguale a 0.5, allora y è uguale a 7
Domanda: Qual è l’output per x=0.4?
Sistemax y
![Page 36: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/36.jpg)
Sviluppi: Fuzzy control
Ipotizziamo ora di avere un sistema descritto dalle seguenti regole:
i) Se x è piccolo, allora y è grande
ii) Se x è molto grande, allora y è piccolo
Domanda: Qual è l’output per x=0.4?
Sistemax y
![Page 37: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/37.jpg)
![Page 38: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/38.jpg)
Sviluppi: Fuzzy control
A volte, la necessità di controllare un sistema fisico può dar vita ad equazioni differenziali molto complesse da risolvere...
(M +m) x�m`
¨
✓ cos ✓ +m`
˙
✓
2sin ✓ = F
`
¨
✓ � g sin ✓ = x cos ✓
Equazioni differenzialinon lineari
![Page 39: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/39.jpg)
Sviluppi: Fuzzy control
Pendolo invertito
Fuzzy Controller
Velocità angolare
Angolo
Forza
![Page 40: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/40.jpg)
Un esempio di regola nell’esempio del pendolo invertito potrebbe essere la seguente:
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
Questa regola richiede di specificare il significato di “angolo piccolo”, “velocità angolare bassa”, “leggera forza nel verso negativo”, “e”, “Se...allora...”, ...
Sviluppi: Fuzzy control
![Page 41: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/41.jpg)
Sviluppi: Fuzzy control
Questo compito può essere adempiuto utilizzando le già viste funzioni di appartenenza:
| | | | |
grado diappartenenza
0
1“Angolo piccolo”
0 maxrad-maxradrad
![Page 42: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/42.jpg)
Sviluppi: Fuzzy control
Questo compito può essere adempiuto utilizzando le già viste funzioni di appartenenza:
| | | | |0 maxvel-maxvel
rad/s
grado diappartenenza
0
1“Bassa velocità angolare negativa”
![Page 43: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/43.jpg)
Sviluppi: Fuzzy control
Questo compito può essere adempiuto utilizzando le già viste funzioni di appartenenza:
| | | | | | |0 0.5 1 1.5-0.5-1-1.5 N
grado diappartenenza
0
1“Leggera forza negativa”
![Page 44: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/44.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
![Page 45: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/45.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
![Page 46: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/46.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
![Page 47: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/47.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
![Page 48: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/48.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
![Page 49: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/49.jpg)
Sviluppi: Fuzzy control
| | | | |0
1
| | | | |v Θ
Se l’angolo è piccolo, e la velocità angolare è bassa nel verso negativo, allora va applicata una leggera forza nel verso negativo.
questo dato va poi“defuzzificato”...
![Page 50: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/50.jpg)
Sviluppi: Fuzzy control
Due tecniche per “defuzzificare”:
Center of Gravity: Mean of Maxima:
y =
Px2U
(x · µA
(x))Px2U
µ
A
(x)y =
X
x:µ
A
(x)=max
x2U
µ
A
(x)
x
n
![Page 51: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/51.jpg)
Funziona?
Testo
Dall’articolo di Mamdani e Assilian: “An experiment in Linguistic Synthesis with a Fuzzy Logic Controller”
Vediamo come si comporta un sistema di controllo fuzzy formato da 24 regole:
![Page 52: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/52.jpg)
![Page 53: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/53.jpg)
Misure di Fuzziness
![Page 54: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/54.jpg)
Sviluppi: Misure di fuzziness
metri
1
0
|1 mt0.5 mt 1.5 mt
![Page 55: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/55.jpg)
metri
1
0
|1 mt0.5 mt 1.5 mt
Sviluppi: Misure di fuzziness
![Page 56: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/56.jpg)
metri
1
0
|1 mt0.5 mt 1.5 mt
Sviluppi: Misure di fuzziness
![Page 57: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/57.jpg)
metri
1
0
|1 mt0.5 mt 1.5 mt
Sviluppi: Misure di fuzziness
![Page 58: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/58.jpg)
metri
1
0
|1 mt0.5 mt 1.5 mt
Sviluppi: Misure di fuzziness
![Page 59: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/59.jpg)
Il concetto intuitivo appena introdotto può essere formalizzato come segue:
Una misura di fuzziness è un funzionale d che ad ogni insieme fuzzy A in un universo U assegna un valore nonnegativo (la sua misura) tale che:i) d(A)=0 SSE A è un insieme crispii) d(A) assume valore massimo quando μA(x)=1/2 per ogni x in Uiii) d(A*)≤d(A) se A* è tale che μA*(x)≤ μA(x) quando μA(x)≤1/2 e μA*(x)≥μA(x) quando μA(x)≥1/2
Sviluppi: Misure di fuzziness
![Page 60: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/60.jpg)
Si possono inoltre imporre le seguenti ulteriori condizioni:iv) d(A) = d(AC)v) d(A∪B) + d(A∩B) = d(A) + d(B)
È stato dimostrato che aggiungendo un’ulteriore condizione dal significato meno intuitivo (chiamata additività generalizzata), l’unica definizione possibile è la seguente:
Sviluppi: Misure di fuzziness
d(A) =X
x2U
(µA
(x) · |1� µ
A
(x)|)
![Page 61: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/61.jpg)
Connettivi, negazioni
![Page 62: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/62.jpg)
Sviluppi: Connettivi, negazioni
Il ruolo dei connettivi è stato generalizzato dalle T-Norme, T-Conorme1 e Negazioni forti2, che sono definite rispettivamente come segue:
Una T-Norma è una funzione T:[0,1]×[0,1]→[0,1] che soddisfa le seguenti proprietà:
i) Commutatività: T(a, b)=T(b, a)ii) Associatività: T(a, T(b, c)) = T( T(a, b), c)iii) Monotonicità: se a ≤ c e b ≤ d, allora T(a, b) ≤ T(c, d)iv) T(1, x) = T(x, 1) = x
![Page 63: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/63.jpg)
Sviluppi: Connettivi, negazioni
Similemente, una T-Conorma è una funzione S:[0,1]×[0,1]→[0,1] che soddisfa le seguenti proprietà:
i) Commutatività: S(a, b)=S(b, a)ii) Associatività: S(a, S(b, c)) = S( S(a, b), c)iii) Monotonicità: se a ≤ c e b ≤ d, allora S(a, b) ≤ S(c, d)iv) S(0, x) = S(x, 0) = x
Una negazione forte è una funzione N:[0,1]→[0,1] che soddisfa le seguenti proprietà:
i) Se a ≤ b, allora N(b) ≤ N(a)ii) N(0)=1 ed N(1)=0iii) N(N(x)) = x
![Page 64: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/64.jpg)
Bibliografia/Ulteriori letture
Un saggio divulgativo e “leggero”:- B. Kosko: Il fuzzy-pensiero. Teoria e applicazioni della logica fuzzy
Alcuni libri più tecnici:- D. Dubois, H. Prade: Fuzzy Sets and Systems: Theory and Applications- E. Trillas: Fundamentals of approximate reasoning
![Page 65: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/65.jpg)
L’originale articolo di Zadeh sugli insiemi fuzzy:- L. Zadeh: Fuzzy sets, Information and Control 8(3): 338–353 (1965)
Sulle misure di fuzziness:- S. Termini, A. De Luca: A Definition of a Nonprobabilistic Entropy in the Setting of Fuzzy Sets Theory, Information and Control 20(4): 301–312 (1972)
Bibliografia/Ulteriori letture
![Page 66: Logica fuzzy - infoteorica.weebly.cominfoteorica.weebly.com/uploads/1/7/8/9/17895653/slides_fuzzylogic.pdf · una leggera forza nel verso negativo. Questa regola richiede di specificare](https://reader030.vdocuments.us/reader030/viewer/2022011808/5c69c15509d3f2b2078bac50/html5/thumbnails/66.jpg)
Bibliografia/Ulteriori letture
Per T-Norme, T-Conorme, Negazioni forti:- C. Alsina, E. Trillas e L. Valverde: On some logical connectives for fuzzy sets theory, Journal of Mathematical Analysis and Applications 93(1): 15–23 (1983)- E. Trillas: Sobre functiones de negacion en la teoria de conjunctos difusos, Stochastica 3(1): 47–60 (1979); disponibile anche in traduzione inglese: On negation functions in fuzzy set theory, Advances in Fuzzy Logic: 31–40 (1998)