Please enable JavaScript.
Coggle requires JavaScript to display documents.
Reglas de apoyo (Realizar una operación (Modifica el esquema de evaluación…
Reglas de apoyo
Realizar una operación
Modifica el esquema de evaluación programado en la máquina de inferencia.
Estructura:
ANT -> OperacionA [ParametrosA]
OperacionN [ParametrosN]
OperacionA y OperaciónN son operaciones que pueden ejecutarse sobre los diferentes tipos de conocimiento.
ANT es el antecedente de la regla y representa una proposición simple o compuesta.
ParametrosA y ParametrosN representan un conjunto de parámetros asociados al tipo de operación y que constituyen las condiciones en que deben ejecutarse las operaciones.
Visualización de los resultados en el momento que lo requiera la aplicación.
Regla de Visualización de los Resultados
Modificar la lógica elaboración de conclusiones programado en la máquina de inferencia de la Base de Control.
En qué momento del proceso de elaboración de las
conclusiones, se desea visualizar los resultados obtenidos hasta ese momento.
ANT -> VA [Num1A Num2A]
VN [Num1N Num2N];
Num1A y Num1N ϵ {0, 1, 2} y están referidos a la afirmación y la negación del antecedente respectivamente.
Se activan al existir conclusiones almacenadas en el buffer.
Num2A y Num2N ϵ {-1, 0, 1, 2, 3,..., Nt} y están referidos a la afirmación y la negación del antecedente respectivamente.
Se activan al no existir conclusiones almacenadas en el buffer.
VA o VN expresa las condiciones y formas en que se pueden mostrar los resultados según el cumplimiento o no del antecedente respectivamente.
Acciones asociadas con los parámetros Num1A y Num1N
0 No se ejecutará acción alguna.
1 Se mostrarán los resultados obtenidos hasta el momento y después continuará la consulta normalmente.
-1 Se inicializará el texto de conclusiones y continuará la consulta normalmente.
2 Se mostrarán los resultados obtenidos hasta el momento y después se inicializará el texto de conclusiones como si no se hubiera obtenido nada hasta ese momento, continuando la consulta normalmente.
Acciones asociadas con los parámetros Num2A y Num2N
0 No se ejecuta acción alguna.
i ϵ {1,2,..., Nt} Se mostrará el texto de la conclusión pura número i, donde Nt representa la cantidad total de textos de este tipo en la BC.
-1 Se mostrará un texto fijo, que representa un aviso indicando que no se han obtenido conclusiones todavía.
Interrupción del proceso de ejecución
Regla de interrupción
Manda a la máquina de inferencia a interrumpir la realización de las acciones que se están ejecutando en correspondencia con los valores de los parámetros de la expresión que la representa:
ANT -> IA [Num1A Num2A Num3A]
IN [Num1N Num2N Num3N];
Num2A y Num2N ϵ {0, 1, 2} representan la acción a realizar para el cumplimiento o no del antecedente respectivamente.
Se activan al existir conclusiones almacenadas en el buffer.
Indican cómo proceder si en el momento de la evaluación de la regla ya fueron obtenidos resultados.
1 se muestran los resultados obtenidos y se procede según Num1A o Num1N.
2 no se muestran los resultados que se habían obtenido y se procede a la interrupción según Num1A o Num1N.
0 no se activa la cancelación del proceso, dada la existencia de conclusiones.
Num3A, Num3N ϵ {-2,-1, 0, 1, 2,..., Nt} indican la acción a realizar para el cumplimiento o no del antecedente respectivamente.
Se activan al no existir conclusiones almacenadas en el buffer.
-2 se procederá en correspondencia con Num1A o Num1N sin otra acción adicional que no sea la propia interrupción.
-1 se mostrará un texto fijo, donde se explica que no se obtuvo conclusiones y la acción que será ejecutada.
0 no se activa la interrupción dada la ausencia de conclusiones todavía.
i ϵ {1,2,...,Nt} se mostrará el texto de conclusión pura número i, donde Nt representa la cantidad de este tipo de texto en la BC.
Num1A y Num1N ϵ {-1, 0, 1, 2,..., Ndr} definen el tipo de interrupción que se ejecutará
El alcance de la interrupción definida por la regla viene dado por
0 para comunicar que la interrupción solamente afectará la división actual, es decir, el proceso continuará en la próxima división que esté programada.
i ϵ {1, 2,..., Ndr} Además de la división actual, la acción también afectará las i siguientes (Ndr es la cantidad de divisiones después de la actual).
-1 para indicar una interrupción completa de la consulta actual.
Variación en la secuencia de la evaluación de las reglas asociadas
Regla de salto de evaluación
Permite introducir saltos en el proceso evaluativo de las reglas
Obliga a la máquina de inferencia a cambiar la secuencia de evaluación de las reglas asociadas a la división.
ANT -> SA TSaltoA [NumA]
SN TSaltoN [NumN];
TSaltoA y TSaltoN ϵ {I, F, D, C} indican el tipo de salto.
I el proceso evaluativo continuará en la primera regla (ir al inicio).
F el proceso evaluativo continuará en la última regla.
D pasa directamente a la evaluación de la regla número NumA o NumN según el caso y que el proceso continúe a partir de ésta.
C salta una cantidad de reglas igual al valor absoluto de NumA o NumN, teniendo en cuenta que valores positivos indica que el salto es hacia adelante y que el proceso evaluativo continúa en la regla siguiente a la que apuntó el salto ejecutado, mientras que
valores negativos indica que el salto es hacia atrás y en este caso, el proceso evaluativo continúa en la regla que apunta el salto ejecutado.
NumA y NumN representan un valor numérico relacionado solamente con los casos D y C del conjunto anterior.
SA y SN representan las acciones a tomar para el cumplimiento o no del antecedente respectivamente.
Permite
Permite programar