Please enable JavaScript.
Coggle requires JavaScript to display documents.
Regla de Conclusión Compuesta (Es muy frecuente en los problemas reales,…
Regla de Conclusión Compuesta
Definición
Se llama Regla de Conclusión Compuesta, a una expresión de la siguiente forma:
ANT => SA (KA W1A W2A T_CompA PminSA EvalA T_SugA TextA)
SN (KN W1N W2N T_CompN PminSN EvalN T_SugN TextN);
Donde:
ANT: sigue expresando lo mismo que en las reglas anteriores, pero en este caso particular, expresa las condiciones de partida para que tenga sentido el análisis del resto de los aspectos
SA y SN: son listas de literales para la afirmación y negación respectivamente que se analizan para el caso específico de acuerdo al cumplimiento del antecedente según sus pesos de mayor a menor
Estudiando si cada uno satisface las condiciones impuestas por la lista de parámetros que se incluyen en la definición
Es muy frecuente en los problemas reales, elegir la mejor variante entre un grupo de proposiciones dadas
Y establecer un orden de prioridad en los textos que formaran parte de las conclusiones
O sugerencias que se brindan como resultados de la ejecución de la aplicación
Semántica de la regla de conclusión compuesta
Es más compleja que las reglas de conclusión pura y simple debido a la cantidad de parámetros que la componen
Su análisis se divide en tres partes:
1) Análisis del cumplimiento del antecedente
2) Análisis del cumplimiento de los sucedentes con respecto a los parámetros
3) Organización de los resultados
La semántica de una estructura está codificada en la máquina de inferencia a través de pasos que representan la lógica de procesamiento de dicha estructura
Procedimiento de análisis de los sucedentes
Se controla la cantidad de sucedentes que pueden ser brindados como conclusión, mediante el parámetro K, que es usado como cota para definir la cantidad máxima admitida
El procedimiento consiste de los siguientes pasos:
1) Seleccionar de la lista de literales, el de mayor peso
2) Examinar si 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
3) Para cada nuevo literal que cumpla con los requisitos anteriores (K y PminS), se activa el análisis definido por el valor de certidumbre W1, que representa la máxima diferencia admitida entre el literal bajo estudio y el primero que haya sido aceptado como conclusión
4) Seguidamente se realiza el análisis definido por W2, que establece la máxima diferencia admitida entre el literal que se analiza como posible conclusión y el aceptado inmediatamente antes que él
5) Si 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 (Int) se plantea, que no se necesitará ningún análisis extra al ya realizado
En el segundo caso (Ext), se revisará si el próximo literal, entre los no seleccionados, también cumple los requisitos de comparación establecidos, puesto que en caso afirmativo, la regla no brinda conclusiones y en caso negativo sí
6) Por último, existe otra posible restricción que se puede introducir utilizando el parámetro Eval, con el que se puede lograr, que la acción de la regla recaiga solamente sobre un subconjunto de sucedentes específicos
Para ello, se consideran tres valores posibles:
1) 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
2) Eval=E, para indicar que solamente se considerarán los sucedentes que tengan el atributo conclusión efectiva
3) 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
Para organizar la conclusión que resulta del análisis de los literales sucedentes; se dispone de dos parámetros: T_Sug y Text
Los cuales tienen que ver, fundamentalmente, con la forma en que se mostrarán 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
1) T_Sug = & que todos los sucedentes obtenidos, son soluciones del problema
2) T_Sug = V que se sugiere considerar al menos una de las posibilidades sin distinciones
3) T_Sug = ¦ que como resultado, sólo debe considerarse uno de los sucedentes mostrados, pudiendo ser cualquiera de ellos, pero solamente uno
4) T_Sug = S se muestran los resultados sin unión entre ellos
5) 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}
1) T_EncS: constituye un encabezamiento que se colocará en caso de existir un solo resultado producto de la evaluación
2) T_EncM: representa un encabezamiento igual al anterior pero que se utilizará en caso de haber obtenido para múltiples resultados
3) 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
Entonces, T_EncS, T_EncM, T_Fin, T_Neg Pertenecen a {L#, C#, N}, donde L# indica la literal identificada con el número #, C# la conclusión pura número # y N que no se usa texto (nulo)
Estos textos pueden ser: una conclusión pura, un literal seleccionado o el valor Nulo si no se desea considerar un texto complementario
Pasos para implementar la semántica de las reglas de conclusión compuesta
Los pasos que se ejecutan para llevar a cabo del proceso evaluativo de las reglas de conclusión compuestas son:
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 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
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, la regla falla 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
En caso contrario, se procede a organizar los resultados que serán mostrados según los parámetros TextA o TextN