Bloque de inferencia
Elementos sobre conjuntos difusos y lógica difusa.
Contenido
Mecanismo de inferencia
Inferir es sacar una conclusión o deducir algo de otra
cosa. El concepto está relacionado con el de
implicación,
entendido como repercusión o consecuencia de algo. En términos
proposicionales se escribe
para
indicar que el cumplimiento de una proposición tiene como consecuencia
el cumplimiento de la otra. Se expresa en la forma
SI… ENTONCES. Esta es la
labor del bloque de inferencia.
En este caso se trata de proposiciones difusas, que expresan reglas difusas tan simples como
En el cual A y B son conjuntos difusos. Donde
y
.
O puede ser con múltiples antecedentes y un solo consecuente.
Esta implicancia da como resultado una nueva función de pertenencia del tipo
Donde
En la regla difusa de múltiples antecedentes, el operador lógico “y” se puede traducir por el operador mínimo o min, de la forma
O por el operador producto o prod, de la forma
Lo que se obtiene es un escalar que se conoce como el
resultado de los múltiples antecedentes. Se le identifica
como
.
ENTONCES según está contenido en la regla difusa, es un conectivo lógico de implicación entre los antecedentes y el consecuente. También se puede expresar con ayuda de un operador mínimo, de la forma.
O por el operador producto, como
Si se trata de varios conjuntos B, para cada uno de los cuales hay una función de pertenencia así corregida, puede efectuarse una agregación lógica a través de un operador máximo, como
O por el operador suma, como
El resultado o
salida del bloque de inferencia es
.