Difference between revisions of "Store:FLen05"

==<!--108-->Fuzzy set <math>\tilde{A}</math> <!--109-->and membership function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math>==

<!--110-->We choose - as a formalism - to represent a fuzzy set with the 'tilde':<math>\tilde{A}</math>. <!--111-->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.

<!--112-->To mathematically represent this degree of belonging is the function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> <!--113-->called ''''<!--114-->Membership Function''''. <!--115-->The function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> <!--116-->is a continuous function defined in the interval <math>[0;1]</math><!--117-->where it is:

*<math>\mu_ {\tilde {A}}(x) = 1\rightarrow </math> <!--118-->if <math>x</math> <!--119-->is totally contained in <math>A</math> (<!--120-->these points are called 'nucleus', they indicate <u>plausible</u> predicate values).

*<math>\mu_ {\tilde {A}}(x) = 0\rightarrow </math> <!--121-->if <math>x</math> <!--122-->is not contained in <math>A</math>

*<math>0<\mu_ {\tilde {A}}(x) < 1 \;\rightarrow </math> <!--123-->if <math>x</math> <!--124-->is partially contained in <math>A</math> (<!--125-->these points are called 'support', they indicate the <u>possible</u> predicate values).

<!--126-->The graphical representation of the function <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> <!--127-->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  

[[File:Fuzzy_crisp.svg|alt=|left|thumb|400px|'''<!--128-->Figure 1:''' <!--129-->Types of graphs for the membership function.]]

<!--130-->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>; <!--131-->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>

<!--132-->The 'Support set' represents the values of the predicate deemed '''possible''', while the 'core' represents those deemed more '''plausible'''.

<!--133-->If <math>{A}</math> <!--134-->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> <!--135-->or <math>0</math>, <math>\mu_{\displaystyle {{A}}}(x)= 1 \; \lor \;\mu_{\displaystyle {{A}}}(x)= 0</math> <!--136-->depending on whether the element <math>x</math> <!--137-->belongs to the whole or not, as considered. <!--138-->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|<!--139-->Holism and Evolution]], London: Macmillan.</ref>  

<!--140-->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:

'''<!--143-->Figure 2:''' <!--144-->Let us imagine the Science Universe <math>U</math> <!--145-->in which there are two parallel worlds or contexts, <math>{A}</math> <!--146-->and <math>\tilde{A}</math>.

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

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

<!--152-->We will remarkably notice the following deductions:

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

*'''<!--163-->Fuzzy logic''' <!--164-->in a dental context <math>\tilde{A}</math> <!--165-->in which they are represented beyond the basic knowledge <math>KB</math> <!--166-->of the dental context also those partially acquired from the neurophysiological world <math>0<\mu_ {\tilde {A}}(x) < 1</math> <!--167-->will have the prerogative to return a result <math>\mu_\tilde{A}(x)= 1