UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD ... - Profe Saul

61MáximoSuma AcotadaSuma DrásticaTipoProductoMínimoKleene DienesLukasiewiczZadehEstocásticaGoguenGodelAgudaxyf ( x, y)=max( x, y, p)0 ≤ p ≤ 1T_Norma definida por la relaciónf ( x, y) = max( x, y)T_Norma definida por la relaciónf ( x, y) = min( 1 , x + y)T_Norma definida por la relación⎧x,y = 0⎪f ( x, y)= ⎨y,x = 0⎪ 1,x ≠ 1ANDy≠ 1Tabla 4.4Tipos de Normas DisponiblesDescripciónImplicación de Ingeniería definida por la relaciónf ( x, y) = xyImplicación de Ingeniería definida por la relaciónf ( x, y) = min( x, y)Implicación Lógica definida por la relaciónf ( x, y) = max( 1 − x, y)Implicación Lógica definida por la relaciónf ( x, y) = min( 11 , − x + y)Implicación Lógica definida por la relaciónf ( x, y) = max( min( x, y), 1 − x)Implicación Lógica definida por la relaciónf ( x, y) = max( 1 − x, xy)Implicación Lógica definida por la relaciónyf ( x, y) = min( 1 , )xImplicación Lógica definida por la relación⎧1,x ≤ yf ( x, y)= ⎨ y,x > yImplicación Lógica definida por la relación⎧1,x ≤ yf ( x, y)= ⎨ 0,x > yTabla 4.5Tipos de Implicaciones DisponiblesTipo Descripción 1616 En esta tabla se supone que el Motor de Inferencia produce m ConjuntosDifusos para la Variable de Salida en cuestión, que está definida sobre unUniverso de Discurso U; cada uno de los m conjuntos tiene una función de