Go to top
This page is a translated version of the page Fuzzy logic language and the translation is 99% complete.
Other languages:
Fuzzy1.jpg

In questo capitolo parleremo della logica fuzzy. Si chiama fuzzy perché è caratterizzata da una gradualità: a un oggetto si può attribuire una qualità che può avere vari gradi di verità.

Nella prima parte di questo capitolo, verrà discusso concettualmente il significato della verità graduata, mentre nella seconda parte, ci addentreremo nel formalismo matematico introducendo la funzione di appartenenza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {\tilde {A}}}(x)} : l'elemento che ci permette di sintetizzare matematicamente le sfumature di questa logica del linguaggio. È stato possibile dimostrare che con il ragionamento 'fuzzy', a differenza delle precedenti logiche del linguaggio, le diagnosi mostrano meno incertezza. Nonostante questo, però, si sente ancora la necessità di raffinare ulteriormente il metodo linguistico e di arricchirlo con altre 'logiche'.. 

Masticationpedia

 

Introduzione

Siamo arrivati a questo punto perché, come colleghi, ci troviamo molto spesso di fronte a responsabilità e decisioni che sono molto difficili da prendere e entrano in gioco questioni come la coscienza, intelligenza ed umiltà. In tale situazione, però, ci troviamo di fronte a due ostacoli ugualmente difficili da gestire: quello di una Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} (Knowledge Basis, Conoscenza di base), come l'abbiamo discussa nel capitolo 'Logica del linguaggio probabilistico', limitata nel tempo che codifichiamo in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_t} , e una Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} limitata nel contesto specifico (Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} ). Questi due parametri dell'epistemologia caratterizzano l'epoca scientifica in cui viviamo. Inoltre, sia la Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_t} che la Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} sono variabili dipendenti della nostra filogenesi e, in particolare, della nostra plasticità concettuale e attitudine al cambiamento.[1]

«I'm not following you»
(I'll give you a practical example)
  • Quante ricerche sono state prodotte sull'argomento "logica fuzzy"?

Pubmed risponde con 2862 articoli negli ultimi 10 anni[2][3], così che possiamo dire che il nostro è attuale ed è sufficientemente aggiornato. Tuttavia, se volessimo focalizzare l'attenzione su un argomento specifico come 'Disturbi Temporomandibolari', il database risponderà con ben 2.235 articoli. [4] Quindi, se volessimo controllare un altro argomento come 'Orofacial Pain', Pubmed ci dà 1.986 articoli.[5] Questo significa che il Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_t} per questi tre argomenti negli ultimi 10 anni è stato sufficientemente aggiornato.

Se, ora, volessimo verificare l'interconnessione tra gli argomenti, noteremo che Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} nei contesti sarà il seguente:

  1. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c=} 'Disturbi temporomandibolari E dolore orofacciale'Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rightarrow} 9 articoli negli ultimi 10 anni[6]
  2. 'Disturbi temporomandibolari E Dolore orofacciale E Logica fuzzy' 0 articoli negli ultimi 10 anni[7]

L'esempio indica che il Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_t} è relativamente aggiornato individualmente per i tre argomenti, mentre diminuisce drasticamente quando gli argomenti tra i contesti sono uniti e specificamente a 9 articoli per il punto 1 e anche a 0 articoli per il punto 2. Perciò, la Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_t} è una variabile dipendente dal tempo mentre la Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} è una variabile cognitiva dipendente dalla nostra attitudine al progresso della scienza, come già accennato, tra l'altro, nel capitolo "Introduzione".

«mi hai quasi convinto»
(Aspetta e vedrai)

Abbiamo concluso il capitolo precedente affermando che la logica di un linguaggio classico e successivamente la logica probabilistica ci hanno aiutato molto nel progresso della scienza medica e della diagnostica, ma implicitamente portano in sé i limiti della propria logica di linguaggio, che limita la visione dell'universo biologico.. Abbiamo anche verificato che con la logica di un linguaggio classico, per così dire aristotelico, la sintassi logica che ne deriva nella diagnostica della nostra Mary Poppins limita, di fatto, la conclusione clinica..

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}} (vedi capitolo Classical Language's Logic),

afferma che: "qualsiasi paziente normale Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall\text{x} } che è positivo all'esame radiografico della ATM Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{\mathcal{A}}(\text{x})} soffre di Disordini Temporomandibolari (DTM)Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rightarrow\mathrm{\mathcal{B}}(\text{x})} , come diretta conseguenza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vdash} avendo Mary Poppins un referto positivo radiologico positiva della ATM (ed essendo anche una paziente "normale") Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(a)} , allora anche Mary Poppins è affetta da DTM Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rightarrow \mathcal{B}(a)}

La limitazione del percorso logico seguito ci ha portato a intraprendere un percorso alternativo, in cui si evita la bivalenza o la natura binaria della logica linguistica classica e si segue un modello probabilistico. Il collega dentista, infatti, ha cambiato il vocabolario e ha preferito una conclusione come:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(D| Deg.TMJ \cap TMDs)=0.95}

e cioè che la nostra Mary Poppins è affetta al 95% da DTM poiché ha una degenerazione dell'articolazione temporomandibolare sostenuta dalla positività dei dati Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D=\{\delta_1,\dots\delta_4\}} in un campione di popolazione Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} . Tuttavia, lo abbiamo anche trovato nel processo di costruzione della logica probabilistica (Analysandum Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle = \{P(D),a\}} ) che ci ha permesso di formulare le suddette conclusioni diagnostiche differenziali e di scegliere quella più plausibile, c'è un elemento cruciale nell'insieme AnalysandFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle = \{\pi,a,KB\}} rappresentato dal termine Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} che indica, nello specifico, una 'Base di conoscenza' del contesto su cui si costruisce la logica del linguaggio probabilistico.

Abbiamo quindi concluso che forse il collega dentista avrebbe dovuto venire a conoscenza della propria 'Incertezza Soggettiva' (colpita da DTM o Dolore Orofacciale?) nOP? e "Incertezza oggettiva" (probabilmente più influenzata da DTM o Dolore orofacciale?nOP?).

  • Perché siamo arrivati a queste conclusioni critiche?

Per una forma ampiamente condivisa di rappresentazione della realtà, sostenuta dalla testimonianza di figure autorevoli che ne confermano la criticità. Questo ha dato origine a una visione della realtà che, a prima vista, sembrerebbe inadatta al linguaggio medico; infatti, espressioni come "circa 2" o "moderatamente" possono suscitare legittime perplessità e sembrare un anacronistico ritorno a concetti pre-scientifici. Al contrario, però, l'uso dei numeri fuzzy o delle asserzioni permette di trattare i dati scientifici in contesti in cui non si può parlare di 'probabilità' ma solo di 'possibilità'.[8]

«Probabilità o possibilità?»

Verità fuzzy

Nell'ambizioso tentativo di tradurre in matematica la razionalità umana, si è pensato a metà del XX secolo di espandere il concetto di logica classica formulando la logica fuzzy. La logica fuzzy riguarda le proprietà che potremmo chiamare 'gradualità', cioè che possono essere attribuite a un oggetto con gradi diversi. Esempi sono le proprietà 'essere malato', 'avere dolore', 'essere alto', 'essere giovane', e così via.

Matematicamente, la logica fuzzy ci permette di attribuire a ciascuna proposizione un grado di verità tra Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} . L'esempio più classico per spiegare questo concetto è quello dell'età: si può dire che un neonato ha un 'grado di giovinezza' pari a Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} , un diciottenne pari aFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0,8} , un sessantenne pari aFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0,4} , e così via.

Nel contesto della logica classica, invece, le affermazioni:

    • un bambino di dieci anni è giovane
    • un trentenne è giovane

sono entrambe vere. Tuttavia, nel caso della logica classica (che ammette solo i due dati vero o falso), questo significherebbe che il bambino e il trentenne sono ugualmente giovani. Il che è ovviamente sbagliato.

L'importanza e il fascino della logica fuzzy derivano dal fatto che è in grado di tradurre l'incertezza insita in alcuni dati del linguaggio umano in un formalismo matematico, codificando concetti 'elastici' (come quasi alto, abbastanza buono, ecc.), al fine di renderli comprensibili e gestibili dai computer.

Teoria degli insiemi

Come accennato nel capitolo precedente, il concetto base della logica fuzzy è quello della multivalenza, cioè, in termini di teoria degli insiemi, della possibilità che un oggetto possa appartenere a un insieme anche solo parzialmente e, quindi, anche a più insiemi con gradi diversi.. Ricordiamo fin dall'inizio gli elementi di base della teoria degli insiemi ordinari. Come si vedrà, in essi appaiono le espressioni formali dei principi della logica aristotelica, ricordati nel capitolo precedente..

Quantificatori

  • Appartenenza: rappresentato dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \in } (appartenenza), - per esempio il numero 13 appartiene all'insieme dei numeri dispari Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \in } Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 13\in Odd }
  • Non appartenenza: rappresentato dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \notin } (Non appartiene)
  • Inclusione: Rappresentato dal simboloFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \subset} (is content), - (è contenuto), - ad esempio l'intero Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} è contenuto all'interno dell'insieme più grande Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \subset U} (in questo caso si dice che Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} è un subset di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} )
  • Quantificatore universale, che è indicato dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall} (per ciascuno)
  • Dimostrazione, cosa indica il simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mid} (tale che)

Operatori di insiemi

Dato l'intero universo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} indichiamo con Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} il suo elemento generico in modo che Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in U} ; quindi, consideriamo due sottoinsiemi Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} interni a Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} cosicché Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \subset U} e Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B \subset U}

Venn0111.svg
Unione: rappresentati dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cup} , indica l'unione di due sets Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} e Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A\cup B)} . È definito da tutti gli elementi che ne fanno parte Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} e Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} o ambedue:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A\cup B)=\{\forall x\in U \mid x\in A \land x\in B\}}

sinistra Intersezione: rappresentata dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cap} , indica gli elementi appartenenti a entrambi gli insiemi:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A\cap B)=\{\forall x\in U \mid x\in A \lor x\in B\}}

Venn0010.svg
Differenza: rappresentata dal simbolo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -} , per esempio Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A-B} mostra che tutti gli elementi di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} tranne quelli condivisi con Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B}
Venn1000.svg
Complementarità: rappresentato da una barra sopra il nome del termine, indica da Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{A}} la complementarità di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , cioè, l'insieme degli elementi che appartengono all'intero universo eccetto quelli di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , in formule: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{A}=U-A}

La teoria della logica del linguaggio fuzzy è un'estensione della teoria classica degli insiemi in cui, tuttavia, i principi di non contraddizione e il terzo escluso non sono validi. Ricordiamoci nella logica classica, dato l'insieme Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} e la propria complementarità Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{A}} , il principio di non contraddizione afferma che se un elemento appartiene al tutto Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} non può contemporaneamente appartenere anche al suo complementare Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{A}} ; secondo il principio del terzo escluso, invece, l'unione di un tutto Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} e la propria complementarità Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{A}} costituisce l'universo completo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} .

In altre parole, se un elemento non appartiene al tutto, deve necessariamente appartenere al suo complementare.

Fuzzy set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}} e funzione di appartenenza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {\tilde {A}}}(x)}

Scegliamo - come formalismo - di rappresentare un insieme fuzzy con la 'tilde':Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}} . Un insieme fuzzy è un insieme in cui gli elementi hanno un 'grado' di appartenenza (coerente con la logica fuzzy): alcuni possono essere inclusi nell'insieme al 100%, altri in percentuali inferiori.

Rappresentare matematicamente questo grado di appartenenza è la funzione Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {\tilde {A}}}(x)} chiamato 'Funzione di Appartenenza'. La funzionen è una funzione continua definita nell'intervallo Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [0;1]} dove è:

  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_ {\tilde {A}}(x) = 1\rightarrow } se Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} è totalmente contenuta in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} (questi punti sono chiamati 'nucleo', indicano valori predicativi plausible).
  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_ {\tilde {A}}(x) = 0\rightarrow } se Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} non è contenuto in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A}
  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<\mu_ {\tilde {A}}(x) < 1 \;\rightarrow } se Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} è parzialmente contenuto in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} (questi punti sono chiamati 'supporto', indicano i valori del predicato possible).

La rappresentazione grafica della funzione Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {\tilde {A}}}(x)} può essere variato; da quelli con linee lineari (triangolari, trapezoidali) a quelli a forma di campana o 'S' (sigmoidale) come rappresentato in Figura 1, che racchiude l'intero concetto grafico della funzione di appartenenza.[9][10]

Figura 1: Tipi di grafici per la funzione di appartenenza.

Il support set di un fuzzy set è definito come la zona in cui risulta il grado di appartenenza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<\mu_ {\tilde {A}}(x) < 1} ; il core è invece definito come l'area in cui assume valore il grado di appartenenza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_ {\tilde {A}}(x) = 1}

Il 'Support set' rappresenta i valori del predicato ritenuti possibili, mentre il 'core' rappresenta quelli ritenuti più plausibili.

Se Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}} rappresentato un insieme nel senso ordinario del termine o della logica linguistica classica precedentemente descritta, la sua funzione di appartenenza poteva assumere solo dei valori Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} oppure Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0} , Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {{A}}}(x)= 1 \; \lor \;\mu_{\displaystyle {{A}}}(x)= 0} a seconda che l'elemento Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} appartiene al tutto o meno, come considerato. La figura 2 mostra una rappresentazione grafica del concetto nitido (rigidamente definito) o sfocato di appartenenza, che richiama chiaramente le considerazioni di Smuts.[11]

Torniamo al caso specifico della nostra Mary Poppins, in cui vediamo una discrepanza tra le affermazioni del dentista e del neurologo e cerchiamo un confronto tra logica classica e logica fuzzy:

Figura 2: Rappresentazione del confronto tra ensemble classico e fuzzy.

Figura 2: Immaginiamo l'universo della scienza Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} in cui ci sono due mondi o contesti paralleli, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}} e Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}} .

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}=} Nel contesto scientifico, il cosiddetto 'nitido', e ci siamo convertiti nella 'logica del 'Linguaggio Classico, in cui il medico ha un background scientifico assoluto Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} con una chiara linea di demarcazione che abbiamo nominato Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} .

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}=} In un altro contesto scientifico chiamato "logica fuzzy", e in cui c'è un'unione tra i sottoinsiemi Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}} in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}} che possiamo arrivare a dire: unione tra Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} .

Noteremo notevolmente le seguenti deduzioni:

  • Logica Classica nel 'contesto dentale' Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}} in cui solo un processo logico che dà come risultati Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {{A}}}(x)= 1 } sarà possibile, o Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {{A}}}(x)= 0 } essendo la gamma di dati Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D=\{\delta_1,\dots,\delta_4\}} ridotto alla conoscenza di base nel set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {A}} . Ciò significa che al di fuori del mondo dentale c'è un vuoto e che il termine di teoria degli insiemi è scritto proprio Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_{\displaystyle {{A}}}(x)= 0 } e che è sinonimo di un'alto range di:


«errori nella diagnosi differenziale»
  • Logica fuzzy in un contesto dentale Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{A}} in cui sono rappresentati, al di là delle conoscenze di base, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} del contesto dentale anche quelli parzialmente acquisiti dal contesto neurofisiologico Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<\mu_ {\tilde {A}}(x) < 1} avrà la prerogativa di restituire un risultato Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu_\tilde{A}(x)= 1 } ed un risultato Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<\mu_ {\tilde {A}}(x) < 1} poiché la conoscenza di base Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} che a questo punto è rappresentato dall'unione di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} dei contesti dentali e neurologici. Il risultato di questa implementazione scientifico-clinica dell'odontoiatria consentirebbe a
    «Riduzione dell'errore nella diagnostica differenziale»

Considerazioni finali

Gli argomenti che potevano distrarre l'attenzione del lettore erano, infatti, essenziali per dimostrare il messaggio. Normalmente, infatti, quando una mente più o meno brillante si permette di lanciare un sasso nello stagno della Scienza, si genera un'onda d'urto, tipica del periodo della scienza straordinaria di Kuhn, contro la quale remano contro la maggior parte dei membri della comunità scientifica internazionale. In buona fede, possiamo affermare che questo fenomeno – per quanto riguarda gli argomenti qui trattati – è ben rappresentato nella premessa all'inizio del capitolo.

In questi capitoli, infatti, è stato affrontato un tema fondamentale per la scienza: la rivalutazione, il peso specifico a cui è sempre stato attribuito Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P-value} , consapevolezza dei contesti scientifico/clinici Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} , aver intrapreso un percorso di Fuzzy Logic più elastico rispetto a quello Classico, rendendosi conto dell'estrema importanza di Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB} e infine l'unione di contesti Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle KB_c} per aumentare la sua capacità diagnostica.[12][13]

Nel prossimo capitolo saremo pronti per intraprendere un percorso altrettanto affascinante: ci porterà nel contesto di una linguaggio di logica di sistema, e ci permetterà di approfondire le nostre conoscenze, non più solo nella semeiotica clinica, ma nella comprensione delle funzioni di sistema (di recente è in corso di valutazione nelle discipline neuromotorie per il morbo di Parkinson).[14]

In Masticationpedia, ovviamente, riporteremo l'argomento 'System Inference' nell'ambito del sistema masticatorio come potremmo leggere nel prossimo capitolo intitolato 'System logic'.

Bibliography & references
  1. Takeuchi S, Okuda S, «Knowledge base toward understanding actionable alterations and realizing precision oncology», in Int J Clin Oncol, 2019».
    PMID:30542800 - PMCID:PMC6373253
    DOI:10.1007/s10147-018-1378-0
    Open Access logo green alt2.svg
    This is an Open Access resource!
     
  2. Fuzzy logic on Pubmed
  3. Tutte le statistiche raccolte a seguito di visite al sito Pubmed (https://pubmed.ncbi.nlm.nih.gov/). Ultimo controllo: Dicembre 2020.
  4. Disturbi temporomandibolari in Pubmed
  5. Dolore orofacciale in Pubmed
  6. Disturbi temporomandibolari E dolore orofacciale in Pubmed
  7. "Disturbi temporomandibolari E dolore orofacciale E logica fuzzy" in Pubmed
  8. Dubois D, Prade H, «Fundamentals of Fuzzy Sets», Kluwer Academic Publishers, 2000, Boston». 
  9. Zhang W, Yang J, Fang Y, Chen H, Mao Y, Kumar M, «Analytical fuzzy approach to biological data analysis», in Saudi J Biol Sci, 2017».
    PMID:28386181 - PMCID:PMC5372457
    DOI:10.1016/j.sjbs.2017.01.027 
  10. Lazar P, Jayapathy R, Torrents-Barrena J, Mol B, Mohanalin, Puig D, «Fuzzy-entropy threshold based on a complex wavelet denoising technique to diagnose Alzheimer disease», in Healthc Technol Lett, The Institution of Engineering and Technology, 2016».
    PMID:30800318 - PMCID:PMC6371778
    DOI:10.1049/htl.2016.0022 
  11. •SMUTS J.C. 1926, Olismo ed Evoluzione, London: Macmillan.
  12. Mehrdad Farzandipour, Ehsan Nabovati, Soheila Saeedi, Esmaeil Fakharian. Fuzzy decision support systems to diagnose musculoskeletal disorders: A systematic literature review . Comput Methods Programs Biomed. 2018 Sep;163:101-109. doi: 10.1016/j.cmpb.2018.06.002. Epub 2018 Jun 6.
  13. Long Huang, Shaohua Xu, Kun Liu, Ruiping Yang, Lu Wu. A Fuzzy Radial Basis Adaptive Inference Network and Its Application to Time-Varying Signal Classification . Comput Intell Neurosci, 2021 Jun 23;2021:5528291.
    doi: 10.1155/2021/5528291.eCollection 2021.
  14. Mehrbakhsh Nilashi, Othman Ibrahim, Ali Ahani. Accuracy Improvement for Predicting Parkinson's Disease Progression. Sci Rep. 2016 Sep 30;6:34181. doi: 10.1038/srep34181.
Wiki.png