Estudio Comparativo de los Si

1.- W1_A y W1_N Establecen la máxima diferencia admitida entre el literal bajo estudio y el primero que haya sido aceptado como conclusión.
2.- W2_A , y W2_N Establecen la máxima diferencia admitida entre el literal bajo estudio con el aceptado inmediatamente antes del actual.
3.- PminS_A y PminS_N Controla si el peso de cada literal a ser considerado está por encima del umbral, definido por dicho valor. Si no queda rechazado como conclusión efectiva.
4.- T_Comp_A y T_Comp_N Si para una regla dada se obtienen exactamente k literales como conclusiones efectivas, entonces se necesita considerar el parámetro T_Comp{Int , Ext} que establece si las comparaciones definidas en W1 y W2 son internas (Int) o externas (Ext). En el primer caso se plantea, que no se necesitará ningún análisis extra al ya realizado, pero en el segundo, se revisará si el próximo literal, entre los no escogidos, también cumple los requisitos de comparación establecidos, puesto que en caso afirmativo la regla no brinda conclusiones y en caso negativo sí.
5.- Eval_A y Eval_N es otra posible restricción que se puede introducir. Se puede lograr que la acción de la regla recaiga solamente sobre un subconjunto de sucedentes específico. Para ello se consideran tres valores posibles:

• Eval=N, solamente es válido considerar como posibles candidatos a resultados, aquellos literales sucedentes que no hayan sido aceptadas como conclusiones efectivas anteriormente.

• Eval=E, solamente se considerarán los sucedentes que tengan el atributo conclusión efectiva.