Fuzzy logic language

Book Index
Source Chapter


Bruxism

• Status quo and Criticity
• 2rd Clinical Case: Pineal Cavernoma
• Conclusions

Occlusion and Posture

• Status quo and Criticity
• 3th Clinical Case: Meningioma
• Conclusions

Orofacial Pain

• Status quo and Criticity
• 4th Clinical Case: Eaton Lambert myasthenia
• 5th Clinical Case: Postpoly syndrome
• 6th Clinical Case: Temporomandibular disorders
• Conclusions

Are we really sure to know everything?

• Status quo and Criticity
• 7th Clinical Case: glioblastoma of the cranial base
• Conclusions

Connectivity and Complex Systems

• Definition of the Fundamental Unit
• Structural and functional connectivity Separation
• Understanding of "Emergent Behavior"
• Connectivity measurement

System Inference vs Symptom Inference

• System Stochasticity
• Markov chains
• Inference of nonlinear Markov processes
• Understanding of Network nodes

Neurophysiology and network nodes

• Center of the Masticatory Pattern
• Mesencephalic mechanisms
• Trigeminal Motor nucleus

Sensory network nodes

• Proprioceptive mechanisms
• Neuromuscular spindles
• Sensory mechanisms from the depressor muscles
• Golgi Tendon Organs
• Role of impulses from the neck muscles
• Periodontal and Oral Sensory Factors
• Pharyngeal sensory factors
• Reflex of mandibular closure
• Sensory factors of the TMJ

Conclusions to the Source Chapter

• information transferred over time
• System Coherence Recovery
• 8th Clinical Case: Coherence Recovery in ort Orthognathic

Crisis of the Paradigm


Research Diagnostic Criteria (RDC)

• Sensitivity, Specificity and Predictive Values
• Advantages and limitations of the RDC

Masticatory cycles

• Jaw opening width
• Speed of mandibular movement
• Complexity of chewing kinematics

Temporomandibular Joint

• Computerized Tomography of the TMJ
• Magnetic resonance imaging of the TMJM

Mandibular kinematic replicator

• Advantages and limits of pantography
• Pantographic Reproducibility Index
• Advantages and limits of axiography
• Advantages and limits of the electrognatography

Transcutaneous Electric Nerve Stimulation

• Free way space before stimulation
• Free way space after stimulation
• Closing trajectory from TENS

Electromyography(EMG)

• Interferential EMG
• EMG at rest position
• Quantitative analysis of the EMG
• Fourier transform
• Wavelett

Extraordinary Science


Overall view of the Masticatory System

• Trigeminal electrophysiology
• Electric Motors Evoked Potentials
• Magnetic Motors Evoked Potentials
• Jaw jerk reflex
• M-wave
• Masseteric Mechanical Silent Period
• Masseteric Electric Silent Period
• Masseteric Laser Silent Period
• Recovery Cycle of Masseteric Inhibitory reflex

Trigeminal System Connectivity

• Definition of the Fundamental Unit
• Maximal Neuronal Energy Evoked
• Organic motor symmetry
• Functional motor symmetry
• Renormalization
• Separation of structural and functional connectivity
• Organic vs Functional Symmetry
• Functional Neuro Gnathological Index "NGF"
• New paradigm in masticatory rehabilitations
• Prosthetics
• Implantoprosthetics
• Orthodontics
• Orthognatics

In this chapter, we will discuss fuzzy logic. It is called fuzzy because it is characterized by a gradualness: an object can be attributed a quality that can have various degrees of truth.

In the first part of this chapter, the meaning of graded truth will be conceptually discussed, while in the second part, we will delve into the mathematical formalism by introducing the membership function ${\displaystyle \mu _{\displaystyle {\tilde {A}}}(x)}$: the element that allows us to mathematically synthesize the nuances of this logic of language. It has been possible to show that with ‘fuzzy’ reasoning, unlike the previous logics of language, the diagnoses show less uncertainty. Despite this, however, the need is still felt to further refine the language method and enrich it with further ‘logics’.

 Article by  Gianni Frisardi · Riccardo Azzali · Flavio Frisardi

Introduction

We have come this far because, as colleagues, are very often faced with responsibilities and decisions that are very difficult to take and issues such as conscience, intelligence and humility come into play. In such a situation, however, we are faced with two equally difficult obstacles to manage that of one ${\displaystyle KB}$ (Knowledge Basis), as we discussed in the chapter ‘Logic of probabilistic language’, limited in the time that we codify in ${\displaystyle KB_{t}}$ and one ${\displaystyle KB}$ limited in the specific context (${\displaystyle KB_{c}}$). These two parameters of epistemology characterize the scientific age in which we live. Also, both ${\displaystyle KB_{t}}$ that the ${\displaystyle KB_{c}}$ are dependent variables of our phylogeny, and, in particular of our conceptual plasticity and attitude to change.[1]

«I'm not following you»
(I'll give you a practical example)
• How much research has been produced on the topic 'Fuzzy logic'?

Pubmed responds with 2862 articles in the last 10 years[2][3], so that we can say that ours is current and is sufficiently updated. However, if we wanted to focus attention on a specific topic like ‘Temporomandibular Disorders’, the database will respond with as many as 2,235 articles. [4] Hence, if we wanted to check another topic like ‘Orofacial Pain’, Pubmed gives us 1,986 articles.[5] This means that the ${\displaystyle KB_{t}}$ for these three topics in the last 10 years it has been sufficiently updated.

If, now, we wanted to verify the interconnection between the topics, we will notice that ${\displaystyle KB_{c}}$ in the contexts will be the following:

1. ${\displaystyle KB_{c}=}$ 'Temporomandibular disorders AND Orofacial Pain'${\displaystyle \rightarrow }$ 9 articles in the last 10 years[6]
2. ${\displaystyle KB_{c}=}$ 'Temporomandibular disorders AND Orofacial Pain AND Fuzzy logic' 0 articles in the last 10 years[7]

The example means that the ${\displaystyle KB_{t}}$ is relatively up-to-date individually for the three topics while it decreases dramatically when the topics between contexts are merged and specifically to 9 articles for Point 1 and even to 0 articles for Point 2. So, the ${\displaystyle KB_{t}}$ is a time dependent variable while the ${\displaystyle KB_{c}}$ is a cognitive variable dependent on our aptitude for the progress of science, as already mentioned—among other things—in the chapter ‘Introduction’.

«you almost convinced me»
(Wait and see)

We ended the previous chapter by asserting that the logic of a classical language and subsequently probabilistic logic have helped us a lot in the progress of medical science and diagnostics but implicitly carry within themselves the limits of their own logic of language, which limits the vision of the biological universe. We also verified that with the logic of a classical language—so to speak, Aristotelian—the logical syntax that is derived from it in the diagnostics of our Mary Poppins limits, in fact, the clinical conclusion.

${\displaystyle \{a\in x\mid \forall {\text{x}}\;A({\text{x}})\rightarrow {B}({\text{x}})\vdash A(a)\rightarrow B(a)\}}$ (see chapter Classical Language's Logic),

argues that: "every normal patient ${\displaystyle \forall {\text{x}}}$ which is positive on the radiographic examination of the TMJ ${\displaystyle \mathrm {\mathcal {A}} ({\text{x}})}$ has TMDs${\displaystyle \rightarrow \mathrm {\mathcal {B}} ({\text{x}})}$, as a direct consequence ${\displaystyle \vdash }$ Mary Poppins being positive (and also being a "normal" patient) on the TMJ x-ray ${\displaystyle A(a)}$ then Mary Poppins is also affected by TMDs ${\displaystyle \rightarrow {\mathcal {B}}(a)}$

The limitation of the logical path that has been followed has led us to undertake an alternative path, in which the bivalence or binary nature of classical language logic is avoided and a probabilistic model is followed. The dentist colleague, in fact, changed the vocabulary and preferred a conclusion like:

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

and which is, that our Mary Poppins is 95% affected by TMDs since she has a degeneration of the temporomandibular joint supported by the positivity of the data ${\displaystyle D=\{\delta _{1},\dots \delta _{4}\}}$ in a population sample ${\displaystyle n}$. However, we also found that in the process of constructing probabilistic logic (Analysandum ${\displaystyle =\{P(D),a\}}$) which allowed us to formulate the aforementioned differential diagnostic conclusions and choose the most plausible one, there is a crucial element to the whole Analysand${\displaystyle =\{\pi ,a,KB\}}$ represented by the term ${\displaystyle KB}$ which indicates, specifically, a 'Knowledge Base' of the context on which the logic of probabilistic language is built.

We therefore concluded that perhaps the dentist colleague should have become aware of his own 'Subjective Uncertainty' (affected by TMDs or nOP?) and 'Objective Uncertainty' (probably more affected by TMDs or nOP?).

• Why have we come to these critical conclusions?

For a widely shared form of the representation of reality, supported by the testimony of authoritative figures who confirm its criticality. This has given rise to a vision of reality which, at first glance, would seem unsuitable for medical language; in fact, expressions such as ‘about 2’ or ‘moderately’ can arouse legitimate perplexity and seem an anachronistic return to pre-scientific concepts. On the contrary, however, the use of fuzzy numbers or assertions allows scientific data to be treated in contexts in which one cannot speak of ‘probability’ but only of ‘possibility’.[8]

«Probability or Possibility?»

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 ${\displaystyle 0}$ and ${\displaystyle 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 ${\displaystyle 1}$, an eighteen-year-old equal to ${\displaystyle 0,8}$, a sixty-year-old equal to ${\displaystyle 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 ${\displaystyle \in }$ (belongs), - for example the number 13 belongs to the set of odd numbers ${\displaystyle \in }$ ${\displaystyle 13\in Odd}$
• Non-membership: represented by the symbol ${\displaystyle \notin }$ (It does not belong)
• Inclusion: Represented by the symbol ${\displaystyle \subset }$ (is content), - for example the whole ${\displaystyle A}$ it is contained within the larger set ${\displaystyle U}$, ${\displaystyle A\subset U}$ (in this case it is said that ${\displaystyle A}$ is a subset of ${\displaystyle U}$)
• Universal quantifier, which is indicated by the symbol ${\displaystyle \forall }$ (for each)
• Demonstration, which is indicated by the symbol ${\displaystyle \mid }$ (such that)

Set operators

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

 Union: represented by the symbol ${\displaystyle \cup }$, indicates the union of the two sets ${\displaystyle A}$ and ${\displaystyle B}$ ${\displaystyle (A\cup B)}$. It is defined by all the elements that belong to ${\displaystyle A}$ and ${\displaystyle B}$ or both: ${\displaystyle (A\cup B)=\{\forall x\in U\mid x\in A\land x\in B\}}$ Intersection: represented by the symbol ${\displaystyle \cap }$, indicates the elements belonging to both sets: ${\displaystyle (A\cap B)=\{\forall x\in U\mid x\in A\lor x\in B\}}$ Difference: represented by the symbol ${\displaystyle -}$, for example ${\displaystyle A-B}$ shows all elements of ${\displaystyle A}$ except those shared with ${\displaystyle B}$ Complementary: represented by a bar above the name of the collection, it indicates by ${\displaystyle {\bar {A}}}$ the complementary of ${\displaystyle A}$, that is, the set of elements that belong to the whole universe except those of ${\displaystyle A}$, in formulas: ${\displaystyle {\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 ${\displaystyle A}$ and its complementary ${\displaystyle {\bar {A}}}$, the principle of non-contradiction states that if an element belongs to the whole ${\displaystyle A}$ it cannot at the same time also belong to its complementary ${\displaystyle {\bar {A}}}$; according to the principle of the excluded third, however, the union of a whole ${\displaystyle A}$ and its complementary ${\displaystyle {\bar {A}}}$ constitutes the complete universe ${\displaystyle U}$.

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

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

We choose - as a formalism - to represent a fuzzy set with the 'tilde':${\displaystyle {\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 ${\displaystyle \mu _{\displaystyle {\tilde {A}}}(x)}$ called 'Membership Function'. The function ${\displaystyle \mu _{\displaystyle {\tilde {A}}}(x)}$ is a continuous function defined in the interval ${\displaystyle [0;1]}$where it is:

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

The graphical representation of the function ${\displaystyle \mu _{\displaystyle {\tilde {A}}}(x)}$ 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.[9][10]

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 ${\displaystyle 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 ${\displaystyle \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 ${\displaystyle {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 ${\displaystyle 1}$ or ${\displaystyle 0}$, ${\displaystyle \mu _{\displaystyle {A}}(x)=1\;\lor \;\mu _{\displaystyle {A}}(x)=0}$ depending on whether the element ${\displaystyle x}$ 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.[11]

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 ${\displaystyle U}$ in which there are two parallel worlds or contexts, ${\displaystyle {A}}$ and ${\displaystyle {\tilde {A}}}$.

${\displaystyle {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 ${\displaystyle KB}$ with a clear dividing line that we have named ${\displaystyle KB_{c}}$.

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

We will remarkably notice the following deductions:

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

«Differential diagnostic error»
• Fuzzy logic in a dental context ${\displaystyle {\tilde {A}}}$ in which they are represented beyond the basic knowledge ${\displaystyle KB}$ of the dental context also those partially acquired from the neurophysiological world ${\displaystyle 0<\mu _{\tilde {A}}(x)<1}$ will have the prerogative to return a result ${\displaystyle \mu _{\tilde {A}}(x)=1}$ and a result ${\displaystyle 0<\mu _{\tilde {A}}(x)<1}$ because of basic knowledge ${\displaystyle KB}$ which at this point is represented by the union of ${\displaystyle KB_{c}}$ dental and neurological contexts. The result of this scientific-clinical implementation of dentistry would allow a:
«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 ${\displaystyle P-value}$, awareness of scientific / clinical contexts ${\displaystyle KB_{c}}$, having undertaken a more elastic path of Fuzzy Logic than the Classical one, realizing the extreme importance of ${\displaystyle KB}$ and ultimately the union of contexts ${\displaystyle KB_{c}}$ to increase its diagnostic capacity.[12][13]

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.[14] 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'.

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
 This is an Open Access resource

2. Fuzzy logic on Pubmed
3. All statistics collected following visits to the Pubmed site (https://pubmed.ncbi.nlm.nih.gov/). Last checked: December 2020.
4. Temporomandibular Disorders in Pubmed
5. Orofacial Pain in Pubmed
6. Temporomandibular disorders AND Orofacial Pain in Pubmed
7. "Temporomandibular disorders AND Orofacial Pain AND Fuzzy logic" 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, Holism and Evolution, 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.