Saltar al contenido
Nóesis
Todas las familias
F23Símbolos y reglasdesde 1965

Lógica difusa

Grados de verdad y control Mamdani

No todo es verdadero o falso: «hace calor» es cuestión de grado. La lógica difusa calcula con esos grados y controla sistemas con reglas legibles.

1965
año fundacional
1
laboratorio
2
ecuaciones
4
hitos citados
Ir al laboratorio en vivo
Lámina F23semitono de dos tintas · en vivo
§1

Intuición

Pensar es manipular representaciones explícitas.

Un conjunto difuso asigna a cada xx un grado mu(x)in[0,1]mu(x)in[0,1].

Un controlador Mamdani encadena reglas si–entonces, agrega conclusiones y defuzzifica (centroide) a una acción nítida.

El laboratorio regula un termostato: pertenencias, reglas activas y salida en vivo.

§2

Mecanismo

Operadores de Zadeh: minmin, maxmax, 1−a1-a. Otras t-normas cambian el sabor.

Inferencia Mamdani: recorte del consecuente, unión por máximo, centroide.

Takagi–Sugeno usa consecuentes lineales; puente a ANFIS.

Ec. 23.1Intersección de Zadeh
μA∩B(x)=min⁡(μA(x),μB(x))\mu_{A\cap B}(x)=\min(\mu_A(x),\mu_B(x))
Ec. 23.2Centroide
u∗=∫uμ(u) du∫μ(u) duu^*=\frac{\int u\mu(u)\,du}{\int\mu(u)\,du}
§3

Laboratorio

Lab 23.1 calculado en tu navegadorDetectando…

Termostato Mamdani

Ajusta temperatura y humedad. Las reglas se activan con grados; el centroide decide la potencia del AC.

§4

Historia

  1. 1965

    Zadeh publica Fuzzy Sets.

    Zadeh (1965)

  2. 1975

    Mamdani controla una máquina de vapor.

    Mamdani & Assilian (1975)

  3. 1987

    Metro de Sendai con frenado difuso.

    Yasunobu & Miyamoto

  4. 1993

    ANFIS combina redes y reglas difusas.

    Jang (1993)

§5

Límites

1

Diseñar pertenencias es arte experto.

2

Calibrar grados carece de semántica probabilística única.

3

Marginada ante el deep learning, sobrevive en control embebido.

§6 · Pregunta filosófica

¿Puede una máquina razonar con vaguedad?

El lenguaje vive de lo vago: alto, pronto, bastante.

¿Los grados de Zadeh formalizan el uso o son una ficción numérica cómoda?

Familias conectadas