Definición de Regla de Conclusión

Se llama Regla de Conclusión a una expresión que tiene la siguiente estructura:
ANT->SucA [ParámetrosA]
SucN [ParámetrosN]
donde "ANT" es el Antecedente y "SucA y SucN" son conjuntos de proposiciones o textos libres, que casuísticamente pueden tener un conjunto de parámetros asociados.

Significado de la Regla
Este tipo de regla expresa que cada uno de los elementos de los conjuntos SucA y SucN constituyen:

  1. Conclusiones Potenciales
  2. Las condiciones que deben cumplirse para que ellos se conviertan en Conclusiones Efectivas

Es decir, expresa bajo qué condiciones, definidas en el antecedente ANT y los "Parámetros", se consideran los elementos de SucA y SucN como tal.

Tipos de Reglas de Conclusión
Se tienen tres tipos de reglas de conclusiones que se diferencian por el tipo de texto seleccionado o por la presencia de elección entre textos y que son:

  1. Reglas de Conclusión Pura
  2. Reglas de Conclusión Simple
  3. Reglas de Conclusión Compuesta

Reglas de Conclusión Pura
Es aquella que permite definir las condiciones bajo las cuales un texto de conclusión pura, puede ser insertado como parte de los resultados que se elaboren.

Definición de Regla de Conclusión Pura
Una Regla de Conclusión es del tipo Pura si tiene la siguiente estructura:
ANT->CA# , CN#;
donde:
CA# y CN# denotan conjuntos de textos de conclusiones puras con
CA# = {CA#1,...,CA#a} y
CN# = {CN#1,...,CN#n}

Significado de la Regla

Si se cumplen las condiciones definidas en el antecedente "ANT", entonces se agregan a las conclusiones existentes hasta ese momento, los textos de conclusiones puras del conjunto CA# según el orden definido y si por el contrario estas condiciones no se satisfacen, entonces se incluyen de la misma forma los textos del conjunto CN#.

Ejemplos de Reglas de Conclusión Pura
360 & 392->CA 310, 337, 445
[ P973, P974, P975, P976 ](¦1)->CA 734, CN 703
560 V 561->CN 415, 447, 448

Arriba