Orden de evaluación de la Regla Compuesta

1.- Evaluación del antecedente. Si la condición se cumple se pasa al análisis del Sucedente para la Afirmación mientras que si se incumple, se analiza el Sucedente definido para la Negación.
2.- Eliminar de la lista sucedente aquellos que no cumplan con la condición establecida en el parámetro "Eval". Si la lista resultante es vacía la regla falla y si no, se organizan de mayor a menor según sus pesos.
3.- Eliminar de la lista aquellos sucedentes cuyo valor de certidumbre esté por debajo de PminS (C(Si) < PminS). Si la lista resultante es vacía la regla falla.
4.- Si T_Comp = Int, se eliminan de la lista los sucedentes después del k y si T_Comp=Ext se eliminan los posteriores a k+1.
5.- Si en la lista resultante quedan más de un elemento se activa la comparación definida con W1 y si es mayor de dos la definida con W2.
6.- Si T_Comp=Ext y el elemento k+1 de los sucedentes cumple las condiciones anteriores entonces falla la regla y no genera conclusiones.
7.- Si T_Sug=N, concluye el proceso, asignándole atributo conclusión efectiva a los integrantes de la lista que cumplan las condiciones pero considerándolas como conclusiones ocultas finalizando la evaluación y en caso contrario, se procede a organizar los resultados que serán mostrados según los parámetros "TextA" o "TextN" y "FormatA" o "FormatN".

Ejemplo de Regla Compuesta
1) 1 v 2 v 3 (20)->CA 2
2) -35 (100)->CA l
3)-35->CA 1, 2, 3 (1, 0, 0, I, 30, T, N

                                       { N,N,N,N } )
Veamos que en la regla compuesta número 3, se tiene :
K = 1, Wl =0, W2 = 0, T_Comp = I, PminS = 30, T_Sug = T , Eval =N. Esto expresa que dado el valor de "K", se puede seleccionar solamente l de entre los tres sucedentes como posible conclusión, y que éste se debe conocer con un grado de seguridad mínimo de 30. La condición antecedente permanece igual que en las reglas simples.
Por otra parte, este es un caso donde "Wl" y "W2" no se usan y por tanto, es inmaterial el valor que se les asigne, al igual que como sucede con 'T_Comp".


Arriba