Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,564
edits
Gianfranco (talk | contribs) (Created page with "==Fuzzy set <math>\tilde{A}</math> and membership function <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 {\til...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
== | ==Conjunto difuso <math>\tilde{A}</math> y función de pertenencia <math>\mu_{\displaystyle {\tilde {A}}}(x)</math>== | ||
Elegimos, como formalismo, representar un conjunto borroso con la 'tilde': <math>\tilde{A}</math> Un conjunto borroso es un conjunto donde los elementos tienen un 'grado' de pertenencia (de acuerdo con la lógica borrosa): algunos pueden incluirse en el conjunto en 100%, otros en porcentajes menores. | |||
Para representar matemáticamente este grado de pertenencia se encuentra la función <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> denominada ''''Función de pertenencia'''<nowiki/>'. La función <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> es una función continua definida en el intervalo <math>[0;1]</math> donde es: | |||
*<math>\mu_ {\tilde {A}}(x) = 1\rightarrow </math> | *<math>\mu_ {\tilde {A}}(x) = 1\rightarrow </math> si <math>x</math> está totalmente contenido en <math>A</math> (estos puntos se llaman ''''núcleo'''<nowiki/>', indican valores predicados <u>plausibles</u>). | ||
*<math>\mu_ {\tilde {A}}(x) = 0\rightarrow </math> | *<math>\mu_ {\tilde {A}}(x) = 0\rightarrow </math>si <math>x</math> no está contenido en <math>A</math> | ||
*<math>0<\mu_ {\tilde {A}}(x) < 1 \;\rightarrow </math> | *<math>0<\mu_ {\tilde {A}}(x) < 1 \;\rightarrow </math>si <math>x</math> está parcialmente contenido en <math>A</math> (estos puntos se llaman ''''soporte'''<nowiki/>', indican los <u>posibles</u> valores predicados). | ||
La representación gráfica de la función <math>\mu_{\displaystyle {\tilde {A}}}(x)</math> puede ser variado; desde los de líneas lineales (triangulares, trapezoidales) hasta los que tienen forma de campana o 'S' (sigmoidales) como se muestra en la Figura 1, que contiene todo el concepto gráfico de la función de pertenencia....<ref>{{Cite book | |||
| autore = Zhang W | | autore = Zhang W | ||
| autore2 = Yang J | | autore2 = Yang J | ||
| Line 53: | Line 53: | ||
[[File:Fuzzy_crisp.svg|alt=|left|thumb|400px|'''Figure 1:''' Types of graphs for the membership function.]] | [[File:Fuzzy_crisp.svg|alt=|left|thumb|400px|'''Figure 1:''' Types of graphs for the membership function.]] | ||
El '''conjunto soporte''' de un conjunto borroso se define como la zona en la que el grado de pertenencia resulta <math>0<\mu_ {\tilde {A}}(x) < 1</math>; por su parte, el '''núcleo''' se define como el ámbito en el que el grado de pertenencia asume el valor <math>\mu_ {\tilde {A}}(x) = 1</math> | |||
El ''''Conjunto de soporte'''<nowiki/>' representa los valores del predicado que se consideran '''posibles''', mientras que el 'núcleo' representa los que se consideran más '''plausibles'''. | |||
Si <math>{A}</math> representara un conjunto en el sentido ordinario del término o en la lógica del lenguaje clásico descrita anteriormente, su función de pertenencia podría asumir solo los valores <math>1</math> o <math>0</math>, <math>\mu_{\displaystyle {{A}}}(x)= 1 \; \lor \;\mu_{\displaystyle {{A}}}(x)= 0</math> finalizando en si el elemento <math>x</math> pertenece o no al todo, según se considere. La Figura 2 muestra una representación gráfica del concepto nítido (rígidamente definido) o confuso de membresía, que recuerda claramente las consideraciones de Smuts.<ref name=":0">•SMUTS J.C. 1926, [[wikipedia:Holism_and_Evolution|<!--139-->Holism and Evolution]], London: Macmillan.</ref> | |||
Volvamos al caso concreto de nuestra Mary Poppins, en el que vemos una discrepancia entre las afirmaciones del dentista y del neurólogo y buscamos una comparación entre la lógica clásica y la lógica difusa: | |||
[[File:Fuzzy1.jpg|thumb|400x400px|''' | [[File:Fuzzy1.jpg|thumb|400x400px|'''Figure 2:''' Representation of the comparison between a classical and fuzzy ensemble.]] | ||
Figura 2: Imaginemos el Universo de la Ciencia <math>U</math> en el que existen dos mundos o contextos paralelos, el <math>{A}</math> y el <math>\tilde{A}</math> | |||
<math> | <math>{A}=</math> En el contexto científico, el llamado ‘crisp’, y lo hemos convertido a [[la lógica del Lenguaje Clásico]], en el que el médico dispone de una información científica absoluta <math>KB</math> con una clara línea divisoria que hemos denominado <math>KB_c</math> | ||
<math>\tilde{A}=</math> En otro contexto científico llamado ‘[[lógica difusa]]’, y en el que existe una unión entre el subconjunto <math>{A}</math> en <math>\tilde{A}</math> que podemos llegar a decir: unión entre <math>KB_c</math> | |||
*''' | Notaremos notablemente las siguientes deducciones: | ||
</math> | |||
*'''Lógica Clásica''' en el Contexto Odontológico <math>{A}</math> en el que sólo será posible un proceso lógico que dé como resultado <math>\mu_{\displaystyle {{A}}}(x)= 1 </math>, o siendo <math>\mu_{\displaystyle {{A}}}(x)= 0 </math> el rango de datos <math>D=\{\delta_1,\dots,\delta_4\}</math> reducido a conocimientos básicos <math>KB</math> en el conjunto <math>{A}</math>. Esto quiere decir que fuera del mundo odontológico existe un void y ese término de la teoría de conjuntos se escribe precisamente <math>\mu_{\displaystyle {{A}}}(x)= 0 </math> y que es sinónimo de un rango alto de: | |||
{{q2|Error de diagnóstico diferencial|}} | |||
*'''Lógica difusa''' en un contexto dental <math>\tilde{A}</math> en el que se representan más allá de los conocimientos básicos <math>KB</math> del contexto dental también aquellos parcialmente adquiridos del mundo neurofisiológico <math>0<\mu_ {\tilde {A}}(x) < 1</math> tendrán la prerrogativa de devolver un resultado <math>\mu_\tilde{A}(x)= 1 | |||
</math> y un resultado <math>0<\mu_ {\tilde {A}}(x) < 1</math> debido a conocimientos básicos <math>KB</math> que en este punto está representado por la unión de <math>KB_c</math> contextos dentales y neurológicos. El resultado de esta implementación científico-clínica de la odontología permitiría una {{q2|Reducción del error de diagnóstico diferencial|}} | |||
edits