View source for Fuzzy logic language/it

{{Bookind2}}

<languages />

[[File:Fuzzy1.jpg|left|250px]]
In questo capitolo parleremo della ''logica fuzzy''. Si chiama ''fuzzy'' perché è caratterizzata da una gradualità: ad 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 <math>\mu_{\displaystyle {\tilde {A}}}(x)</math>: 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'..{{ArtBy|
| autore = Gianni Frisardi
| autore2 = Riccardo Azzali
| autore3 = Flavio Frisardi
}}

==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 <math>KB</math> (''Knowledge Basis'',  Conoscenza di base), come l'abbiamo discussa nel capitolo '[[La logica del linguaggio probabilistico|Logica del linguaggio probabilistico]]', limitata nel tempo che codifichiamo in <math>KB_t</math>, e una <math>KB</math> limitata nel contesto specifico (<math>KB_c</math>). Questi due parametri dell'epistemologia caratterizzano l'epoca scientifica in cui viviamo. Inoltre, sia la <math>KB_t</math> che la <math>KB_c</math> sono variabili dipendenti della nostra filogenesi e, in particolare, della nostra plasticità concettuale e attitudine al cambiamento.<ref>{{Cite book 
 | autore = Takeuchi S
 | autore2 = Okuda S
 | titolo = Knowledge base toward understanding actionable alterations and realizing precision oncology 
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6373253/
 | volume = 
 | opera =  Int J Clin Oncol
 | anno = 2019
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 30542800 
 | PMCID = PMC6373253
 | DOI = 10.1007/s10147-018-1378-0 
 | oaf = yes<!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>{{q2|I'm not following you|I'll give you a practical example}}

*<blockquote><big>Quante ricerche sono state prodotte sull'argomento "logica fuzzy"?</big></blockquote>

Pubmed risponde con 2862 articoli negli ultimi 10 anni<ref>[https://pubmed.ncbi.nlm.nih.gov/?term=%22Fuzzy+logic%22&filter=datesearch.y_10 Fuzzy logic on Pubmed]</ref><ref>Tutte le statistiche raccolte a seguito di visite al sito Pubmed (https://pubmed.ncbi.nlm.nih.gov/). Ultimo controllo: Dicembre 2020.</ref>, 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. <ref>[https://pubmed.ncbi.nlm.nih.gov/?term=%22Temporomandibular+disorders%22&filter=datesearch.y_10 Disturbi temporomandibolari in Pubmed]</ref>  Quindi, se volessimo controllare un altro argomento come 'Orofacial Pain', Pubmed ci dà 1.986 articoli.<ref>[https://pubmed.ncbi.nlm.nih.gov/?term=%22orofacial+Pain%22&filter=datesearch.y_10 Dolore orofacciale in Pubmed]</ref> Questo significa che il <math>KB_t</math> per questi tre argomenti negli ultimi 10 anni è stato sufficientemente aggiornato.

Se, ora, volessimo verificare l'interconnessione tra gli argomenti, noteremo che <math>KB_c</math> nei contesti sarà il seguente:

#<math>KB_c=</math> 'Disturbi temporomandibolari E dolore orofacciale'<math>\rightarrow</math> 9 articoli negli ultimi 10 anni<ref>[https://pubmed.ncbi.nlm.nih.gov/?term=%22Temporomandibular+disorders+AND+Orofacial+Pain%22&filter=datesearch.y_10 Disturbi temporomandibolari E dolore orofacciale in Pubmed]</ref>
#<math>KB_c=</math> 'Disturbi temporomandibolari E Dolore orofacciale E Logica fuzzy' 0 articoli negli ultimi 10 anni<ref>[https://pubmed.ncbi.nlm.nih.gov/?term=%22Temporomandibular+disorders+AND+Orofacial+Pain+AND+Fuzzy+logic%22&filter=datesearch.y_10 "Disturbi temporomandibolari E dolore orofacciale E logica fuzzy" in Pubmed]</ref>

L'esempio indica che il <math>KB_t</math> è 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 <math>KB_t</math> è una variabile dipendente dal tempo  mentre la  <math>KB_c</math> è una variabile cognitiva dipendente dalla nostra attitudine al progresso della scienza, come già accennato, tra l'altro, nel capitolo "Introduzione".
{{q2|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..

<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math> (vedi capitolo [[The logic of classical language|Classical Language's Logic]]),

afferma che: "qualsiasi paziente normale ''<math>\forall\text{x}
</math>'' che è positivo all'esame radiografico della ATM ''<math>\mathrm{\mathcal{A}}(\text{x})</math>'' soffre di Disordini Temporomandibolari (DTM)''<math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>'', come diretta conseguenza ''<math>\vdash</math>'' avendo Mary Poppins un referto positivo radiologico positiva della ATM  (ed essendo anche una paziente "normale") ''<math>A(a)</math>'', allora anche Mary Poppins è affetta da DTM ''<math>\rightarrow \mathcal{B}(a)</math>''

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:

<math>P(D| Deg.TMJ   \cap TMDs)=0.95</math>

e cioè che la nostra Mary Poppins è affetta al 95% da DTM poiché ha una degenerazione dell'articolazione temporomandibolare sostenuta dalla positività dei dati <math>D=\{\delta_1,\dots\delta_4\}</math> in un campione di popolazione <math>n</math>. Tuttavia, lo abbiamo anche trovato nel processo di costruzione della logica probabilistica (Analysandum <math>  = \{P(D),a\}</math>) che ci ha permesso di formulare le suddette conclusioni diagnostiche differenziali e di scegliere quella più plausibile, c'è un elemento cruciale nell'insieme Analysand'''<math>= \{\pi,a,KB\}</math>''' rappresentato dal termine <math>KB</math> 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?) <sub>n</sub>OP? e "Incertezza oggettiva" (probabilmente più influenzata da DTM  o Dolore orofacciale?<sub>n</sub>OP?).

*<blockquote><big>Perché siamo arrivati a queste conclusioni critiche?</big></blockquote>

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à'.'''<ref>{{Cite book 
 | autore = Dubois D
 | autore2 = Prade H
 | titolo = Fundamentals of Fuzzy Sets
 | url = https://books.google.it/books?id=OCznBwAAQBAJ&lpg=PR15&ots=TXlc29Hczd&dq=Fundamentals%20of%20Fuzzy%20Sets%20Editors%3A%20Dubois%2C%20Didier%2C%20Prade%2C%20Henri&lr&hl=it&pg=PR15#v=onepage&q=Fundamentals%20of%20Fuzzy%20Sets%20Editors:%20Dubois,%20Didier,%20Prade,%20Henri&f=false
 | volume = 
 | opera = 
 | anno = 2000
 | editore = Kluwer Academic Publishers
 | città = Boston
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>

{{q2|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.

<span lang="en" dir="ltr" class="mw-content-ltr">Mathematically, fuzzy logic allows us to attribute to each proposition a degree of truth between <math>0</math> and <math>1</math>. 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 <math>1</math>, an eighteen-year-old equal to <math>0,8</math>, a sixty-year-old equal to <math>0,4</math>, and so on</span> 

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 <math>\in </math> (appartiene), - per esempio il numero 13 appartiene all'insieme dei numeri dispari <math>\in </math> <math>13\in Odd </math>
*Non appartenenza: rappresentato dal simbolo <math>\notin </math> (Non appartiene)
*Inclusione: <span lang="en" dir="ltr" class="mw-content-ltr">Represented by the symbol <math>\subset</math> (is content), - for example the whole <math>A</math> it is contained within the larger set <math>U</math>, <math>A \subset U</math> (in this case it is said that <math>A</math> is a subset of <math>U</math>)</span>
*Quantificatore universale, <span lang="en" dir="ltr" class="mw-content-ltr">which is indicated by the symbol <math>\forall</math> (for each)</span>
*Dimostrazione, <span lang="en" dir="ltr" class="mw-content-ltr">which is indicated by the symbol <math>\mid</math> (such that)</span>

===<span lang="en" dir="ltr" class="mw-content-ltr">Set operators</span>===

<span lang="en" dir="ltr" class="mw-content-ltr">Given the whole universe</span> <math>U</math> <span lang="en" dir="ltr" class="mw-content-ltr">we indicate with</span> <math>x</math> <span lang="en" dir="ltr" class="mw-content-ltr">its generic element so that</span> <math>x \in U</math>; <span lang="en" dir="ltr" class="mw-content-ltr">then, we consider two subsets</span> <math>A</math> and <math>B</math> <span lang="en" dir="ltr" class="mw-content-ltr">internal to</span> <math>U</math> cosicché <math>A \subset U</math> e <math>B \subset U</math>
{|
|[[File:Venn0111.svg|left|80px]]
|'''Unione:''' <span lang="en" dir="ltr" class="mw-content-ltr">represented by the symbol</span> <math>\cup</math>, <span lang="en" dir="ltr" class="mw-content-ltr">indicates the union of the two sets</span> <math>A</math> e <math>B</math> <math>(A\cup B)</math>. <span lang="en" dir="ltr" class="mw-content-ltr">It is defined by all the elements that belong to</span> <math>A</math> e <math>B</math> <span lang="en" dir="ltr" class="mw-content-ltr">or both</span>:

<math>(A\cup B)=\{\forall x\in U \mid x\in A \land x\in B\}</math>
|-
|[[File:Venn0001.svg|sinistra|80px]]
|'''Intersezione:''' <span lang="en" dir="ltr" class="mw-content-ltr">represented by the symbol</span> <math>\cap</math>, <span lang="en" dir="ltr" class="mw-content-ltr">indicates the elements belonging to both sets</span>:

<math>(A\cap B)=\{\forall x\in U \mid x\in A \lor x\in B\}</math>
|-
|[[File:Venn0010.svg|left|80px]]
|'''Differenza:''' <span lang="en" dir="ltr" class="mw-content-ltr">represented by the symbol</span> <math>-</math>, per esempio <math>A-B</math> <span lang="en" dir="ltr" class="mw-content-ltr">shows all elements of</span> <math>A</math> <span lang="en" dir="ltr" class="mw-content-ltr">except those shared with</span> <math>B</math>
|-
|[[File:Venn1000.svg|left|80px]]
|'''<span lang="en" dir="ltr" class="mw-content-ltr">Complementary</span>:''' <span lang="en" dir="ltr" class="mw-content-ltr">represented by a bar above the name of the collection, it indicates by</span> <math>\bar{A}</math> <span lang="en" dir="ltr" class="mw-content-ltr">the complementary of</span> <math>A</math>, cioè, <span lang="en" dir="ltr" class="mw-content-ltr">the set of elements that belong to the whole universe except those of</span> <math>A</math>, in formule: <math>\bar{A}=U-A</math><br />
|}

<span lang="en" dir="ltr" class="mw-content-ltr">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</span>. <span lang="en" dir="ltr" class="mw-content-ltr">Remember that in classical logic, given the set</span> <math>A</math> <span lang="en" dir="ltr" class="mw-content-ltr">and its complementary</span> <math>\bar{A}</math>, <span lang="en" dir="ltr" class="mw-content-ltr">the principle of non-contradiction states that if an element belongs to the whole</span> <math>A</math> <span lang="en" dir="ltr" class="mw-content-ltr">it cannot at the same time also belong to its complementary</span> <math>\bar{A}</math>; <span lang="en" dir="ltr" class="mw-content-ltr">according to the principle of the excluded third, however, the union of a whole</span> <math>A</math> <span lang="en" dir="ltr" class="mw-content-ltr">and its complementary</span> <math>\bar{A}</math> <span lang="en" dir="ltr" class="mw-content-ltr">constitutes the complete universe</span> <math>U</math>. 

<span lang="en" dir="ltr" class="mw-content-ltr">In other words, if any element does not belong to the whole, it must necessarily belong to its complementary</span>.

==<span lang="en" dir="ltr" class="mw-content-ltr">Fuzzy set</span> <math>\tilde{A}</math> <span lang="en" dir="ltr" class="mw-content-ltr">and membership function</span> <math>\mu_{\displaystyle {\tilde {A}}}(x)</math>==
We choose - as a formalism - to represent a fuzzy set with the 'tilde':<math>\tilde{A}</math>. 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 <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> called '<nowiki/>'''Membership Function''''. The function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> is a continuous function defined in the interval <math>[0;1]</math>where it is:

*<math>\mu_ {\tilde {A}}(x) = 1\rightarrow </math>   if <math>x</math> is totally contained in <math>A</math> (these points are called 'nucleus', they indicate <u>plausible</u> predicate values).
*<math>\mu_ {\tilde {A}}(x) = 0\rightarrow </math>  if <math>x</math> is not contained in <math>A</math>
*<math>0<\mu_ {\tilde {A}}(x) < 1 \;\rightarrow </math> if <math>x</math> is partially contained in <math>A</math> (these points are called 'support', they indicate the <u>possible</u> predicate values).

The graphical representation of the function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> it 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.<ref>{{Cite book 
 | autore = Zhang W
 | autore2 = Yang J
 | autore3 = Fang Y
 | autore4 = Chen H
 | autore5 = Mao Y
 | autore6 = Kumar M
 | titolo = Analytical fuzzy approach to biological data analysis
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5372457/
 | volume = 
 | opera = Saudi J Biol Sci
 | anno = 2017
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 28386181 
 | PMCID = PMC5372457
 | DOI = 10.1016/j.sjbs.2017.01.027
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
}}</ref><ref>{{Cite book 
 | autore = Lazar P
 | autore2 = Jayapathy R
 | autore3 = Torrents-Barrena J
 | autore4 = Mol B
 | autore5 = Mohanalin
 | autore6 = Puig D
 | titolo = Fuzzy-entropy threshold based on a complex wavelet denoising technique to diagnose Alzheimer disease
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6371778/
 | volume = 
 | opera = Healthc Technol Lett
 | anno = 2016
 | editore = The Institution of Engineering and Technology
 | città = 
 | ISBN = 
 | PMID = 30800318
 | PMCID = PMC6371778
 | DOI = 10.1049/htl.2016.0022
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>
[[File:Fuzzy_crisp.svg|alt=|left|thumb|400px|'''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 <math>0<\mu_ {\tilde {A}}(x) < 1</math>; on the other hand, the '''core''' is defined as the area in which the degree of belonging assumes value <math>\mu_ {\tilde {A}}(x) = 1</math>

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

If <math>{A}</math> represented a set in the ordinary sense of the term or classical language logic previously described, its membership function could assume only the values <math>1</math> or <math>0</math>, <math>\mu_{\displaystyle {{A}}}(x)= 1 \; \lor \;\mu_{\displaystyle {{A}}}(x)= 0</math> depending on whether the element <math>x</math> whether or not it belongs to the whole, as considered. Figure 2 shows a graphic representation of the crisp (rigidly defined) or fuzzy concept of membership, which clearly recalls Smuts's considerations.<ref name=":0">•SMUTS J.C. 1926, [[wikipedia:Holism_and_Evolution|Holism and Evolution]], London: Macmillan.</ref> 

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:
[[File:Fuzzy1.jpg|thumb|400x400px|'''Figure 2:''' Representation of the comparison between a classical and fuzzy ensemble.]]
'''Figure 2:''' Let us imagine the Science Universe <math>U</math> in which there are two parallel worlds or contexts, <math>{A}</math> and <math>\tilde{A}</math>.

<math>{A}=</math>  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 <math>KB</math>  with a clear dividing line that we have named <math>KB_c</math>. 

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

We will remarkably notice the following deductions:

*'''Classical Logic''' in the Dental Context <math>{A}</math> in which only a logical process that gives as results <math>\mu_{\displaystyle {{A}}}(x)= 1 </math> it will be possible, or <math>\mu_{\displaystyle {{A}}}(x)= 0 </math> being the range of data <math>D=\{\delta_1,\dots,\delta_4\}</math>reduced to basic knowledge <math>KB</math> in the set <math>{A}</math>. This means that outside the dental world there is a void and that term of set theory, it is written precisely <math>\mu_{\displaystyle {{A}}}(x)= 0 </math> and which is synonymous with a high range of:

<br />{{q2|Differential diagnostic error|}}

*'''Fuzzy logic''' in a dental context <math>\tilde{A}</math> in which they are represented beyond the basic knowledge <math>KB</math> of the dental context also those partially acquired from the neurophysiological world <math>0<\mu_ {\tilde {A}}(x) < 1</math> will have the prerogative to return a result <math>\mu_\tilde{A}(x)= 1
 </math> and a result <math>0<\mu_ {\tilde {A}}(x) < 1</math> because of  basic knowledge <math>KB</math> which at this point is represented by the union of <math>KB_c</math>  dental and neurological contexts. The result of this scientific-clinical implementation of dentistry would allow a:{{q2|Reduction of differential diagnostic error|}}

==Final considerations==
Topics that could distract the reader’s attention—was, in fact, essential for demonstrating the message. Normally, in fact, when any more or less brilliant mind allows itself to throw a stone into the pond of Science, a shockwave is generated, typical of the period of Kuhn’s extraordinary science, against which most of the members of the international scientific community row. With good faith, we can say that this phenomenon—as regards the topics we are addressing here—is well represented in the premise at the beginning of the chapter.

In these chapters, in fact, a fundamental topic for science has been approached: the re-evaluation, the specific weight that has always been given to <math>P-value</math>, awareness of scientific / clinical contexts <math>KB_c</math>, having undertaken a more elastic path of Fuzzy Logic than the Classical one, realizing the extreme importance of <math>KB</math> and ultimately the union of contexts <math>KB_c</math> to increase its diagnostic capacity.<ref>Mehrdad Farzandipour, Ehsan Nabovati, Soheila Saeedi, Esmaeil Fakharian. [https://pubmed.ncbi.nlm.nih.gov/30119845/ 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.</ref><ref>Long Huang, Shaohua Xu, Kun Liu, Ruiping Yang, Lu Wu. [https://pubmed.ncbi.nlm.nih.gov/34257635/ 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.</ref>

In the next chapter we will be ready to undertake an equally fascinating path that will leads us to the context of a System Language logic and will allow us to deepen our knowledge no longer only in clinical semeiotics but in the understanding of system functions as recently it is approaching in neuromotor disciplines for Parkinson's disease.<ref>Mehrbakhsh Nilashi, Othman Ibrahim, Ali Ahani. [https://pubmed.ncbi.nlm.nih.gov/27686748/ Accuracy Improvement for Predicting Parkinson's Disease Progression.] Sci Rep. 2016 Sep 30;6:34181.

doi: 10.1038/srep34181.</ref> In Masticationpedia, of course, we will report the topic 'System Inference' in the field of the masticatory  system as we could read in the next chapter entitled 'System logic'.

{{Btnav|The logic of probabilistic language|Introduction}}

{{Bib}}

{{apm}}

[[Category:Articles about logic of language]]