Logica di linguaggio fuzzy

In questo capitolo parleremo della logica fuzzy. Si chiama sfocato perché è caratterizzato 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 di verità graduata, mentre nella seconda parte approfondiremo il formalismo matematico introducendo la funzione di appartenenza $\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 ciò, però, si sente ancora la necessità di affinare ulteriormente il metodo linguistico e di arricchirlo di ulteriori “logiche”.

 

 

Introduzione

Siamo arrivati a questo punto perché, come colleghi, molto spesso ci troviamo di fronte a responsabilità e decisioni molto difficili da prendere e entrano in gioco questioni come la coscienza, l'intelligenza e l'umiltà. In una situazione del genere, però, ci troviamo di fronte a due ostacoli altrettanto difficili da gestire quello dello '$KB$' (Conoscenza Base), discusso nel capitolo 'Logica del linguaggio probabilistico',e che in questo contesto codifichiamo in $KB_{t}$ (conoscenza di base limitata dal tempo $t$ ) ed un $KB_{c}$ (conoscenza di base limitata dal contesto medico specialistico). Questi due parametri dell'epistemologia caratterizzano l'epoca scientifica in cui viviamo. Inoltre, sia lo $KB_{t}$ che lo $KB_{c}$ sono variabili dipendenti dalla nostra filogenesi, ed in particolar modo dalla nostra plasticità concettuale e attitudine al cambiamento.

«Non ti seguo»
(Ti faccio un esempio pratico)

• Quante ricerche sono state prodotte sul tema 'Logica fuzzy'?

Pubmed risponde con 2862 articoli negli ultimi 10 anni, tanto da poter dire che il tema è attuale e sufficientemente aggiornato. Tuttavia, se volessimo concentrare l'attenzione su un argomento specifico come "Disturbi temporo-mandibolari", il database risponderà con ben 2.235 articoli. Quindi, se volessimo controllare un altro argomento come "Dolore orofacciale", Pubmed ci fornisce 1.986 articoli. Ciò significa che lo $KB_{t}$ per questi tre argomenti negli ultimi 10 anni è stato sufficientemente aggiornato.

Se, ora, volessimo verificare l'interconnessione tra gli argomenti, noteremo che $KB_{c}$ nei contesti sarà il seguente:

1. $KB_{c}=$ 'Disturbi temporo-mandibolari & Dolore orofacciale '$\rightarrow$ 9 articoli negli ultimi 10 anni
2. $KB_{c}=$ 'Disturbi temporo-mandibolari & Dolore orofacciale & Fuzzy logic' 0 articoli negli ultimi 10 anni

L'esempio significa che lo $KB_{t}$ è relativamente aggiornato individualmente per i tre argomenti mentre diminuisce drasticamente quando gli argomenti tra i contesti vengono uniti e in particolare a 9 articoli per il punto 1 e persino a 0 articoli per il punto 2. Quindi, lo $KB_{t}$ è una variabile dipendente dal tempo mentre lo $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 portano implicitamente dentro di sé i limiti della propria logica del linguaggio, che limita la visione della l'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.

Il predicato $\{a\in x\mid \forall {\text{x}}\;A({\text{x}})\rightarrow {B}({\text{x}})\vdash A(a)\rightarrow B(a)\}$ (vedi capitolo Logica di linguaggio classica),

sostiene che:

"ogni paziente normale $\forall {\text{x}}$ che risulta positivo all'esame radiografico dell'ATM $\mathrm {\mathcal {A}} ({\text{x}})$ ha un TMDs $\rightarrow \mathrm {\mathcal {B}} ({\text{x}})$, e che come diretta conseguenza $\vdash$ essendo Mary Poppins positiva (ed è anche una paziente "normale") alla radiografia dell'ATM $A(a)$ è anche è affetta da TMD $\rightarrow {\mathcal {B}}(a)$.

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

$P(D|Deg.TMJ\cap TMDs)=0.95$

e cioè che la nostra Mary Poppins è affetta per il 95% da TMD poiché ha una degenerazione dell'articolazione temporo-mandibolare supportata dalla positività del dato $D=\{\delta _{1},\dots \delta _{4}\}$ in un campione di popolazione $n$. Tuttavia, abbiamo anche riscontrato che nel processo di costruzione probabilistica logica (Analysandum $=\{P(D),a\}$ che ha permesso di formulare le suddette conclusioni diagnostiche differenziali e scegliere quella più plausibile, c'è un elemento cruciale all'intero dello Analysand $=\{\pi ,a,KB\}$ rappresentato dal termine $KB$. Quest'ultimo 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 odontoiatra avrebbe dovuto venire a conoscenza della propria 'Incertezza Soggettiva' (affetta da TMD o _nOP?) e 'Incertezza Oggettiva' (probabilmente più affetta da TMD o nOP?).

• Perché siamo giunti a queste conclusioni critiche?

Per una forma ampiamente condivisa di rappresentazione della realtà, supportata dalla testimonianza di autorevoli figure che ne confermano la criticità. Ne è scaturita una visione della realtà che, a prima vista, sembrerebbe inadatta al linguaggio medico. Le espressioni, infatti, come “circa 2” o “moderatamente” possono suscitare legittime perplessità e sembrare un anacronistico ritorno a concetti prescientifici. Al contrario, però, l'uso di numeri fuzzy o asserzioni consente di trattare dati scientifici in contesti in cui non si può parlare di "probabilità" ma solo di "possibilità"..

«Probabilità o Possibilità?»

Fuzzy truth

In the ambitious attempt to mathematically translate human rationality, it was thought in the mid-twentieth century to expand the concept of classical logic by formulating fuzzy logic. Fuzzy logic concerns the properties that we could call ‘graduality’, i.e., which can be attributed to an object with different degrees. Examples are the properties ‘being sick’, ‘having pain’, ‘being tall’, ‘being young’, and so on.

Mathematically, fuzzy logic allows us to attribute to each proposition a degree of truth between $0$ and $1$. The most classic example to explain this concept is that of age: we can say that a new-born has a ‘degree of youth’ equal to $1$, an eighteen-year-old equal to $0,8$, a sixty-year-old equal to $0,4$, and so on

In the context of classical logic, on the other hand, the statements:

• • a ten-year-old is young
  • a thirty-year-old is young

are both true. However, in the case of classical logic (which allows only the two true or false data), this would mean that the infant and the thirty-year-old are equally young. Which is obviously wrong.

The importance and the charm of fuzzy logic arise from the fact that it is able to translate the uncertainty inherent in some data of human language into mathematical formalism, coding ‘elastic’ concepts (such as almost high, fairly good, etc.), in order to make them understandable and manageable by computers.

Set theory

As mentioned in the previous chapter, the basic concept of fuzzy logic is that of multivalence, i.e., in terms of set theory, of the possibility that an object can belong to a set even partially and, therefore, also to several sets with different degrees. Let us recall from the beginning the basic elements of the theory of ordinary sets. As will be seen, in them appear the formal expressions of the principles of Aristotelian logic, recalled in the previous chapter.

Quantifiers

• Membership: represented by the symbol $\in$ (belongs), - for example the number 13 belongs to the set of odd numbers $\in$ $13\in Odd$
• Non-membership: represented by the symbol $\notin$ (It does not belong)
• Inclusion: Represented by the symbol $\subset$ (is content), - for example the whole $A$ it is contained within the larger set $U$, $A\subset U$ (in this case it is said that $A$ is a subset of $U$)
• Universal quantifier, which is indicated by the symbol $\forall$ (for each)
• Demonstration, which is indicated by the symbol $\mid$ (such that)

Set operators

Given the whole universe $U$ we indicate with $x$ its generic element so that $x\in U$; then, we consider two subsets $A$ and $B$ internal to $U$ so that $A\subset U$ and $B\subset U$

	Union: represented by the symbol $\cup$, indicates the union of the two sets $A$ and $B$ $(A\cup B)$. It is defined by all the elements that belong to $A$ and $B$ or both: $(A\cup B)=\{\forall x\in U\mid x\in A\land x\in B\}$
	Intersection: represented by the symbol $\cap$, indicates the elements belonging to both sets: $(A\cap B)=\{\forall x\in U\mid x\in A\lor x\in B\}$
	Difference: represented by the symbol $-$, for example $A-B$ shows all elements of $A$ except those shared with $B$
	Complementary: represented by a bar above the name of the collection, it indicates by ${\bar {A}}$ the complementary of $A$, that is, the set of elements that belong to the whole universe except those of $A$, in formulas: ${\bar {A}}=U-A$

The theory of fuzzy language logic is an extension of the classical theory of sets in which, however, the principles of non-contradiction and the excluded third are not valid. Remember that in classical logic, given the set $A$ and its complementary ${\bar {A}}$, the principle of non-contradiction states that if an element belongs to the whole $A$ it cannot at the same time also belong to its complementary ${\bar {A}}$; according to the principle of the excluded third, however, the union of a whole $A$ and its complementary ${\bar {A}}$ constitutes the complete universe $U$.

In other words, if any element does not belong to the whole, it must necessarily belong to its complementary.

Fuzzy set ${\tilde {A}}$ and membership function $\mu _{\displaystyle {\tilde {A}}}(x)$

We choose - as a formalism - to represent a fuzzy set with the 'tilde':${\tilde {A}}$. A fuzzy set is a set where the elements have a 'degree' of belonging (consistent with fuzzy logic): some can be included in the set at 100%, others in lower percentages.

To mathematically represent this degree of belonging is the function $\mu _{\displaystyle {\tilde {A}}}(x)$ called 'Membership Function'. The function $\mu _{\displaystyle {\tilde {A}}}(x)$ is a continuous function defined in the interval $[0;1]$where it is:

• $\mu _{\tilde {A}}(x)=1\rightarrow$ if $x$ is totally contained in $A$ (these points are called 'nucleus', they indicate plausible predicate values).
• $\mu _{\tilde {A}}(x)=0\rightarrow$ if $x$ is not contained in $A$
• $0<\mu _{\tilde {A}}(x)<1\;\rightarrow$ if $x$ is partially contained in $A$ (these points are called 'support', they indicate the possible predicate values).

The graphical representation of the function $\mu _{\displaystyle {\tilde {A}}}(x)$ can be varied; from those with linear lines (triangular, trapezoidal) to those in the shape of bells or 'S' (sigmoidal) as depicted in Figure 1, which contains the whole graphic concept of the function of belonging.

Figure 1: Types of graphs for the membership function.

The support set of a fuzzy set is defined as the zone in which the degree of membership results $0<\mu _{\tilde {A}}(x)<1$; on the other hand, the core is defined as the area in which the degree of belonging assumes value $\mu _{\tilde {A}}(x)=1$

The 'Support set' represents the values of the predicate deemed possible, while the 'core' represents those deemed more plausible.

If ${A}$ represented a set in the ordinary sense of the term or classical language logic previously described, its membership function could assume only the values $1$ or $0$, $\mu _{\displaystyle {A}}(x)=1\;\lor \;\mu _{\displaystyle {A}}(x)=0$ depending on whether the element $x$ belongs to the whole or not, as considered. Figure 2 shows a graphic representation of the crisp (rigidly defined) or fuzzy concept of membership, which clearly recalls Smuts's considerations.

Let us go back to the specific case of our Mary Poppins, in which we see a discrepancy between the assertions of the dentist and the neurologist and we look for a comparison between classical logic and fuzzy logic:

Figure 2: Representation of the comparison between a classical and fuzzy ensemble.

Figure 2: Let us imagine the Science Universe $U$ in which there are two parallel worlds or contexts, ${A}$ and ${\tilde {A}}$.

${A}=$ In the scientific context, the so-called ‘crisp’, and we have converted into the logic of Classic Language, in which the physician has an absolute scientific background information $KB$ with a clear dividing line that we have named $KB_{c}$.

${\tilde {A}}=$ In another scientific context called ‘fuzzy logic’, and in which there is a union between the subset ${A}$ in ${\tilde {A}}$ that we can go so far as to say: union between $KB_{c}$.

We will remarkably notice the following deductions:

• Classical Logic in the Dental Context ${A}$ in which only a logical process that gives as results $\mu _{\displaystyle {A}}(x)=1$ will be possible, or $\mu _{\displaystyle {A}}(x)=0$ being the range of data $D=\{\delta _{1},\dots ,\delta _{4}\}$ reduced to basic knowledge $KB$ in the set ${A}$. This means that outside the dental world there is a void and that term of set theory is written precisely $\mu _{\displaystyle {A}}(x)=0$ and which is synonymous with a high range of:

«Differential diagnostic error»

• Fuzzy logic in a dental context ${\tilde {A}}$ in which they are represented beyond the basic knowledge $KB$ of the dental context also those partially acquired from the neurophysiological world $0<\mu _{\tilde {A}}(x)<1$ will have the prerogative to return a result $\mu _{\tilde {A}}(x)=1$ and a result $0<\mu _{\tilde {A}}(x)<1$ because of basic knowledge $KB$ which at this point is represented by the union of $KB_{c}$ dental and neurological contexts. The result of this scientific-clinical implementation of dentistry would allow a
  «Reduction of differential diagnostic error»

Consideraciones finales

Los temas que podían distraer la atención del lector eran, de hecho, esenciales para demostrar el mensaje. Normalmente, en efecto, cuando cualquier mente más o menos brillante se permite arrojar una piedra al estanque de la Ciencia, se genera una onda expansiva, propia del período de la ciencia extraordinaria de Kuhn, contra la que se pelean la mayoría de los miembros de la comunidad científica internacional. De buena fe podemos decir que este fenómeno —en lo que se refiere a los temas que aquí abordamos— está bien representado en la premisa al inicio del capítulo.

En estos capítulos, en realidad, se ha abordado un tema fundamental para la ciencia: la reevaluación, el peso específico que siempre se le ha dado al $P-value$, la toma de conciencia de los contextos científico/clínicos $KB_{c}$, habiendo emprendido un camino más elástico de la Lógica Difusa que el Clásica, dándose cuenta de la extrema importancia del $KB$ y en definitiva de la unión de los contextos $KB_{c}$ para aumentar su capacidad diagnóstica.

En el próximo capítulo estaremos listos para emprender un camino igualmente fascinante: nos conducirá al contexto de una lógica de Lenguaje de Sistemas, y nos permitirá profundizar nuestro conocimiento, ya no solo en la semiótica clínica, sino en la comprensión de la lógica de sistemas. funciones (recientemente se está evaluando en disciplinas neuromotoras para la enfermedad de Parkinson).

En Masticationpedia, por supuesto, informaremos sobre el tema 'Inferencia del sistema' en el campo del sistema masticatorio, como podemos leer en el próximo capítulo titulado 'Lógica del sistema'.

 

The logic of probabilistic language   System logic

Bibliography & references

Masticationpedia is a charity, a not-for-profit organization operating in dentistry medical research,
particularly focusing on the field of the neurophysiology of the masticatory system
 

Home

Introduction

Latest chapter

Ed. Lab

Donate

Contacts