Reglas de Conclusión Simple

Definición de Regla de Conclusión Simple
Una Regla de Conclusión es del tipo Simple si tiene la siguiente estructura:
ANT->LA# (WA#) , LN# (WN#);
donde, LA# y LN# denotan conjuntos de Literales con:
LA# = {LA#1,...,LA#a} y
LN# = {LN#1,...,LN#n},
WA# y WN# representan los conjuntos de pesos asociados a cada literal con:
WA# = {WA#1,...,WA#a} y WN# = {WN#1,...,WN#n}

Significado de la Regla
"Si se cumplen las condiciones definidas en el antecedente "ANT", entonces todos los literales LA#i (i=1,...,a) cuyos respectivos pesos sean como mínimo igual a su correspondiente WA#i (C(LA#i)  WA#i) tomarán la categoría de Conclusiones Efectivas y serán agregados a los resultados según el orden definido en el conjunto, pero si por el contrario estas condiciones no se satisfacen, entonces se procede de la misma forma pero con los elementos de los conjuntos LN# y WN#".

Ejemplos de Reglas de Conclusión Simple
390->LA 392 (80), 394 (80)
[973, 974, 975, 976 ](¦1)->LA 734 (30), LN 703 (0),
23 V 90->LN 500 (20)