Reglas asociadas al proceso de elaboración de las conclusiones

Como parte de la evaluación de una división, se encuentra el proceso de elaboración de las conclusiones, el cual se define a través de un conjunto de reglas con características especiales, diseñadas con este propósito.

La elaboración de conclusiones permite representar y definir:

• ¿Qué será considerado como resultado del problema o subproblema que se estudia?, de lo cual se ocupan las Reglas de conclusión. La salida de este proceso constituye un texto elaborado, donde se expresa de forma concisa la solución del caso consultado en lenguaje natural y libre. Aquí no sólo se puede incluir la mejor variante, sino también, recomendaciones, notas, sugerencias o soluciones alternas.
• ¿Cómo y en qué momento se muestran los resultados?, para lo cual están diseñadas un conjunto de reglas que se agrupan bajo el nombre de Reglas de Apoyo. Estas reglas pueden modificar la lógica de elaboración de conclusiones y/o procesamiento de una división.

Ambos tipos de reglas forman las llamadas Reglas asociadas a la división, y al igual que las reglas de producción son reglas del tipo IF/THEN/ELSE pero con características que las distinguen de éstas. Las reglas asociadas a la división se representan como:

Donde el Antecedente ANT es una proposición simple o compuesta descrita en el Anexo A de este documento, y los sucedentes SUCA y SUCN representan las acciones a ejecutar para el cumplimiento o no del antecedente respectivamente (SUCA: sucedente para la afirmación del antecedente y SUCN: sucedente para la negación del antecedente). El sucedente define el tipo de regla y por tanto, su funcionamiento.

De igual forma que las reglas de control, las reglas para la elaboración de las conclusiones se tratan en detalles en el capítulo 8, pues como tal representa un tipo de conocimiento que permiten determinados comportamientos en la ejecución de una aplicación.