Please enable JavaScript.

Coggle requires JavaScript to display documents.

conclusión compuesta (Pasos para implementar la semántica de las reglas de…

conclusión compuesta

Pasos para implementar la semántica de las reglas de conclusión compuesta

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.

Eliminar de la lista aquellos sucedente 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 los sucedentes de mayor a menor según sus pesos.

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.

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.

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.

 Si T_Comp = Ext y el elemento k+1 de los sucedentes cumple las condiciones anteriores entonces, la regla falla y no genera conclusiones.

 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. En caso contrario, se procede a organizar los resultados que serán mostrados según los parámetros TextA o TextN.

Procedimiento de
análisis de los sucedentes

El procedimiento consiste
de los siguientes pasos:

Seleccionar de la lista de literales, el de mayor peso.

Examinar el peso del literal seleccionado,  si se encuentra por encima del umbral PminS (C(Si) >= PminS). en caso contrario, su inclusión en los resultados es rechazada, lo cual a su vez implica que ningún otro sucedente cumplirá, por consiguiente, la condición

se activa el análisis definido por el valor de certidumbre denotado como W1, que representa la máxima diferencia admitida entre el literal bajo estudio y el primero que haya sido aceptado como conclusión.

establece la máxima diferencia admitida entre el literal que se analiza como posible conclusión y el aceptado inmediatamente antes que él

se considerará el parámetro T € Comp  {Int, Ext}

se puede lograr, que la acción de la regla recaiga solamente sobre un subconjunto de sucedentes específicos

para ello se consideran 3 valores

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

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

 Eval=T, para indicar que no existen restricciones desde este punto de vista, es decir, que pueden ser considerados todos los literales como candidatos, hayan sido o no brindados como conclusiones previamente.

Organización de los resultados

El parámetro T_Sug está relacionado con la conexión que se establece, cuando producto de la evaluación de la regla se obtienen dos o más sucedentes como resultado. Luego, en este caso el parámetro T_Sug indica:

T_Sug = & que todos los sucedentes obtenidos, son soluciones del problema.

 T_Sug = V que se sugiere considerar al menos una de las posibilidades sin distinciones.

T_Sug = ¦ que como resultado, sólo debe considerarse uno de los sucedentes mostrados, pudiendo ser cualquiera de ellos, pero solamente uno.

 T_Sug = S se muestran los resultados sin unión entre ellos.

T_Sug = N no se muestran los resultados.

El parámetro Text representa un conjunto de posibles textos complementarios, que pueden ser incluidos o no, con el objetivo de estructurar el resultado obtenido de la regla. Su estructura es:

Text = {T_EncS, T_EncM, T_Fin, T_Neg}

Y sus componentes tienen el siguiente significado:

T_EncS constituye un encabezamiento que se colocará en caso de existir un solo

T_EncM representa un encabezamiento igual al anterior pero que se utilizará en caso de haber obtenido para múltiples resultados

 T_Fin incorpora un texto que se agregará al final de los resultados

 T_Neg se refiere a un texto que será usado sólo cuando la evaluación de la regla brinde un resultado negativo, es decir, si ningún sucedente cumple las condiciones establecidas para ser brindados como conclusión