Please enable JavaScript.
Coggle requires JavaScript to display documents.
Reglas de Apoyo (Visualización de los resultados en el momento que lo…
Reglas de Apoyo
Visualización de los resultados en el momento que lo requiera la aplicación
1) Regla de Visualización de los Resultados
Permite modificar la lógica de elaboración de conclusiones programado en la máquina de inferencia de la Base de Control
Permite programar en qué momento del proceso de elaboración de las conclusiones, se desea visualizar los resultados obtenidos hasta ese momento
Sintaxis de la regla de visualización
Definición
Se llama Regla de Visualización de los Resultados:
Al tipo de conocimiento que ordena a la máquina de inferencia visualizar los resultados que se han almacenado hasta el momento
Cuya expresión tiene la siguiente forma:
ANT => VA [Num1A Num2A] VN [Num1N Num2N];
Num1A y Num1N pertenecen a {0, 1, 2}: Están referidos a la afirmación y la negación del antecedente respectivamente. Estos se activan únicamente en caso de existir conclusiones almacenadas en el buffer
Num2A y Num2N pertenecen a {-1, 0, 1, 2, 3,..., Nt}: Están referidos a la afirmación y la negación del antecedente respectivamente. Se activan sólo en caso de no existir conclusiones almacenadas en el buffer
El tipo de sucedente VA o VN: Expresa las condiciones y formas en que se pueden mostrar los resultados según el cumplimiento o no del antecedente respectivamente
Semántica de la regla de visualización
Se implementa en la máquina de inferencia de la siguiente forma:
Si se satisface la condición del antecedente entonces se activa el sucedente para la afirmación
Se procede a ejecutar las acciones expresadas en el sucedente como sigue:
Si en el momento de la evaluación de la regla, ya se ha obtenido alguna conclusión se ejecutan las acciones definidas con el parámetro Num1A o Num1N según el caso
Y en caso contrario, el sucedente para la negación
Se procede a ejecutar las acciones expresadas en el sucedente como sigue:
Si por el contrario, en ese momento no existen conclusiones, entonces se activan las acciones definidas con el parámetro Num2A o Num2N de acuerdo al cumplimiento del antecedente
Para las acciones asociadas con los parámetros Num1A y Num1N (caso donde ya existen conclusiones) se procede como se describe a continuación
1) -1 Se inicializará el texto de conclusiones y continuará la consulta normalmente
2) 0 No se ejecutará acción alguna
3) 1 Se mostrarán los resultados obtenidos hasta el momento y después continuará la consulta normalmente
4) 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
Para los parámetros Num2A y Num2N (caso donde no existen conclusiones) las acciones seguidas son:
1) -1 Se mostrará un texto fijo, que representa un aviso indicando que no se han obtenido conclusiones todavía
2) 0 No se ejecuta acción alguna
3) i pertenece a {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
Es introducida para visualizar los resultados cuando la aplicación así lo requiera y no tener que esperar a que termine todo el proceso de elaboración de conclusiones en la división
Interrupción del proceso de ejecución
2) Regla de Interrupción
Es introducida para poder manejar interrupciones en el proceso de elaboración de las conclusiones antes de que éste finalice,
También introduce variaciones externas al esquema de control por medio de la programación de la BC
Sintaxis de la regla de interrupción
Definición
Se llama Regla de Interrupción:
A la expresión que 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
Cuya expresión tiene la siguiente forma:
ANT => IA [Num1A Num2A Num3A] IN [Num1N Num2N Num3N];
Num1A y Num1N pertenecen a {-1, 0, 1, 2,..., Ndr}: Definen el tipo de interrupción que se ejecutará
Num2A y Num2N pertenecen a {0, 1, 2}: Representan la acción a realizar para el cumplimiento o no del antecedente respectivamente. Estos se activan únicamente, en caso de existir conclusiones almacenadas en el buffer
Num3A, Num3N pertenecen a {-2,-1, 0, 1, 2,..., Nt}: Indican la acción a realizar para el cumplimiento o no del antecedente respectivamente. Se activan sólo en el caso de no existir conclusiones en el buffer.
Semántica de la regla de interrupción
La regla de interrupción actúa como sigue:
Si se satisface la condición del antecedente, entonces se activa la componente positiva del sucedente
Se procede a ejecutar las acciones expresadas en el sucedente como sigue:
El alcance de la interrupción será indicado por el parámetro Num1A o Num1N según se cumpla o no el antecedente
Y en caso contrario, la componente negativa
Se procede a ejecutar las acciones expresadas en el sucedente como sigue:
Si en el momento de la evaluación de la regla ya se ha obtenido alguna conclusión, se ejecutarán las acciones definidas por el parámetro Num2A o Num2N y si no existen conclusiones aún, se activan las acciones dadas por el parámetro Num3A o Num3N
El alcance de la interrupción definida por la regla viene dado por Num1A y Num1N, tomando uno de los valores siguientes:
1) -1 para indicar una interrupción completa de la consulta actual
2) 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
3) i pertenece a {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). El proceso evaluativo por tanto, saltará estas divisiones continuando por la siguiente tantas divisiones como se defina en los parámetros Num1A o Num1N
Los parámetros Num2A y Num2N indican cómo proceder si en el momento de la evaluación de la regla ya fueron obtenidos resultados. Y para ello existen las siguientes variantes:
1) 0 no se activa la cancelación del proceso, dada la existencia de conclusiones
2) 1 se muestran los resultados obtenidos y se procede según Num1A o Num1N
3) 2 no se muestran los resultados que se habían obtenido y se procede a la interrupción según Num1A o Num1N
Los parámetros Num3A y Num3N se activan si en el momento de la evaluación de la regla, todavía no se han obtenido conclusiones, utilizando las categorías siguientes:
1) -2 se procederá en correspondencia con Num1A o Num1N sin otra acción adicional que no sea la propia interrupción
2) -1 se mostrará un texto fijo, donde se explica que no se obtuvo conclusiones y la acción que será ejecutada
3) 0 no se activa la interrupción dada la ausencia de conclusiones todavía
3) i pertenece a {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. Posteriormente se ejecuta el tipo de interrupción definida por los parámetros Num1A o Num1N
Variación en la secuencia de la evaluación de las reglas asociadas
3) Regla de Saltos en la Evaluación
La otra posibilidad que tiene que ver con la variación del flujo evaluativo de las reglas asociadas a una división, viene dada por la definición de cambios en el orden de su análisis
Se introducen modificaciones en la secuencia del procesamiento de las reglas asociadas, lo cual se materializa también utilizando un tipo de regla específico que permite introducir saltos en el proceso evaluativo de las reglas
Sintaxis de la regla de saltos
Definición
Se llama Regla de Saltos en la Evaluación:
A la expresión que obliga a la máquina de inferencia a cambiar la secuencia de evaluación de las reglas asociadas a la división y la cual tiene la forma:
Cuya expresión tiene la siguiente forma:
ANT => SA TSaltoA [NumA] SN TSaltoN [NumN];
Los sucedentes SA y SN: Representan las acciones a tomar para el cumplimiento o no del antecedente respectivamente
TSaltoA y TSaltoN pertenecen a {I, F, D, C}: Indican el tipo de salto
NumA y NumN: Representan un valor numérico relacionado solamente con los casos D y C del conjunto anterior
Semántica de la regla de saltos
La regla se implementa en el lenguaje como se expresa a continuación:
Si se satisfacen las condiciones establecidas en el antecedente entonces, la próxima regla a evaluar será aquella que resulte de ejecutar el salto TSaltoA que ha sido definido en la componente positiva del sucedente
En correspondencia con el siguiente convenio para TSaltoA y TSaltoN:
1) I el proceso evaluativo continuará en la primera regla (ir al inicio)
2) F el proceso evaluativo continuará en la última regla
3) 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
4) 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
Mientras que si el antecedente no se cumple, se saltará hacia la regla que resulte de ejecutar la componente negativa del mismo (TSaltoN)
Solicitud de la evaluación de una forma de representación del conocimiento del lenguaje
4) Regla de Evaluación
Este tipo de regla de apoyo tiene el objetivo de posibilitar la ejecución de acciones a través del propio mecanismo de evaluación de las diversas FRC
Se ha definido para ordenar la ejecución de la lógica de procesamiento de una estructura o FRC
Sintaxis de la regla de evaluación
Definición
Se llama Regla de Evaluación:
A una expresión ordena a la máquina de inferencia correspondiente al tipo de conocimiento que aparece en el sucedente, comenzar el proceso evaluativo de dicha estructura
Cuya expresión tiene la siguiente forma:
ANT => AA {AA1, AA2,..., AAa} AN {AN1, AN2,..., ANn};
Los parámetros de los sucedentes AAi, ANi pertenecen a { P#, V#, D#, R#, C# } y representan una lista de acciones a ejecutar según el siguiente convenio:
5 more items...
Semántica de la regla de evaluación
Una regla de evaluación se comporta como se expresa a continuación:
De cumplirse la condición expresada por el antecedente, entonces se ejecuta la lista de acciones definida para la afirmación del antecedente, en el orden definido
Y por el contrario, se ejecuta la lista de acciones definidas para la negación, también en el orden establecido