Indice

Insieme sfocato

Un insieme sfocato o insieme sfumato (in inglese fuzzy set) è un insieme che rientra in un'estensione della teoria classica degli insiemi. Il concetto è stato introdotto da Lotfi A. Zadeh, nel 1965, come estensione della classica definizione di insieme.

Un insieme sfocato è caratterizzato da una funzione di grado di appartenenza, che mappa gli elementi di un universo in un intervallo reale continuo [ 0 ,

1 ] . {\displaystyle [0,1].}

Il valore 0 (zero) indica che l'elemento non è per niente incluso nell'insieme sfocato, il valore 1 (uno) indica che l'elemento è certamente incluso nell'insieme (questi due valori corrispondono alla teoria classica degli insiemi), mentre i valori tra zero e uno indicano il grado di appartenenza dell'elemento all'insieme sfocato in questione.

Dato un universo

U {\displaystyle U} e una funzione del grado di appartenenza

μ A :

U → [ 0 , 1 ]

{\displaystyle \mu _{A}\colon U\to [0,1]} si definisce la sfocatura di U

{\displaystyle U} rispetto ad A

{\displaystyle A} , e si indica A ( U

) {\displaystyle A(U)} il grafico di

μ A {\displaystyle \mu _{A}}

:

Esempio

Un insieme fuzzy A ( U

) {\displaystyle A(U)} è l'insieme delle coppie ordinate

( u , μ A

( u ) ) , {\displaystyle (u,\mu _{A}(u)),}

con u ∈ U

{\displaystyle u\in U} dove:

Ad esempio, prendiamo come insieme U = {

4 , 2 , 0 , 9 }

{\displaystyle U=\{4,2,0,9\}} e come funzione d'appartenenza

Se μ

A ( x ) = μ

( x | 2 )

{\displaystyle \mu _{A}(x)=\mu (x|2)} , la sfocatura di A ( U

) {\displaystyle A(U)} risulta essere:

L'unico vincolo circa le funzioni d'appartenenza è quello sul codominio, ma, in maniera meno generale ma più pragmatica, si può dire che solitamente si tratta di funzioni monotone, triangolari, trapezoidali e gaussiane. È possibile eseguire tra insiemi fuzzy anche le classiche operazioni insiemistiche quali unione, intersezione e complemento. Si noti che non è possibile parlare di un insieme sfocato prescindendo dalla sua funzione di sfocatura e che questa, almeno in principio, è puramente arbitraria.

Proprietà degli insiemi sfocati

Gli insiemi fuzzy non godono di relazioni di univocità e biunivocità fra gli elementi di insiemi diversi. Pertanto, gli insiemi fuzzy sono un'estensione, ma non una generalizzazione, degli insiemi della teoria classica; ossia sono una teoria che allarga ma è inclusa in quella degli insiemi, piuttosto che includerla in una teoria nuova e più vasta.

Un semplice passaggio di notazione da un discreto fra 0 e 1 a un intervallo continuo di appartenenza fra gli stessi due estremi rappresenta un notevole salto concettuale ed è un esempio dell'importanza di disporre di una notazione matematica sintetica e potente.

Sugli insiemi fuzzy valgono gli operatori insiemistici: unione, intersezione e complementare. Valgono inoltre le leggi di De Morgan; non valgono invece il principio del terzo escluso (per cui l'unione di un insieme con il suo complementare è tutto l'insieme ambiente) e il principio di non-contraddizione (per cui l'intersezione di un insieme con il suo complementare è un insieme vuoto). Il discorso è valido in quanto la complementarità è definita indipendentemente da questi principi fondamentali di logica (e da tutti gli altri, che ne sono una derivazione) come proprietà di un singolo insieme e non di due o più insiemi in relazione tra loro.

Siano

μ A : U

→ [ 0 , 1 ] {\displaystyle \mu _{A}\colon U\to [0,1]}

e μ B

: U → [ 0 , 1

] {\displaystyle \mu _{B}\colon U\to [0,1]} il grado di appartenenza associato alle sfocature

A {\displaystyle A} e

B {\displaystyle B} . L'operazione di unione su due insiemi fuzzy

A {\displaystyle A} e

B {\displaystyle B} si esegue applicando ad ogni elemento

x {\displaystyle x} di

A {\displaystyle A} e

y {\displaystyle y} di

B {\displaystyle B} una funzione chiamata s-norm. Sia

σ : [ 0 , 1 ] × [

0 , 1 ] → [ 0 , 1

] {\displaystyle \sigma \colon [0,1]\times [0,1]\to [0,1]} tale per cui valgano le seguenti proprietà

Allora si definisce l'unione di due sfocature

A ∪ B {\displaystyle A\cup B} come segue:

Tipicamente si considera la funzione

σ ( x , y ) =

max { x , y } {\displaystyle \sigma (x,y)=\max\{x,y\}}

con x , y ∈

[ 0 , 1 ] {\displaystyle x,y\in [0,1]}

.

In un modo analogo è possibile definire l'intersezione tra due sfocature di un insieme U {\displaystyle U}

definendo una funzione, anche chiamata t-norm, τ : [ 0 ,

1 ] × [ 0 , 1 ] →

[ 0 , 1 ] {\displaystyle \tau \colon [0,1]\times [0,1]\to [0,1]}

tale per cui

In analogia definiamo l'intersezione come:

Tipicamente si considera la funzione τ ( x , y

) = min { x , y }

{\displaystyle \tau (x,y)=\min\{x,y\}} con x ,

y ∈ [ 0 , 1 ]

{\displaystyle x,y\in [0,1]} .

Si può definire il complementare di un insieme definendo μ

A c :

U → [ 0 , 1 ]

{\displaystyle \mu _{A^{c}}\colon U\to [0,1]} funzione di appartenenza del complementare. Sia ν : [

0 , 1 ] → [ 0 , 1

] {\displaystyle \nu \colon [0,1]\to [0,1]} tale per cui valgano

per ogni

x ∈ [ 0 , 1 ]

{\displaystyle x\in [0,1]} , allora μ

A c (

x ) = ν ( μ A ( x ) ) {\displaystyle \mu _{A^{c}}(x)=\nu (\mu _{A}(x))} . Si definisce il complementare di un insieme come segue:

Tipicamente si considera la funzione ν ( x ) = 1 − x {\displaystyle \nu (x)=1-x} con x ∈ [ 0 , 1 ] {\displaystyle x\in [0,1]} .

Utilizzo

La validità degli operatori booleani (con cui lavora l'algebra relazionale) consente di interrogare basi di dati fuzzy con il FSQL (Fuzzy SQL), un linguaggio nato nel 1998 come estensione dell'SQL.

Voci correlate