6.1.4 Regla de Acción en el Sucedente
Se llama Regla de Acción en el Sucedente a una expresión que tiene la siguiente forma:
ANT->A A { AA1 , AA2 , ... , AAa }
N { AN1 , AN2 , ... , ANn };
donde el antecedente ANT expresa las condiciones bajo las
cuales tiene sentido la activación de cada componente del sucedente y
este último define, dos conjuntos de acciones a ejecutar, uno para la
afirmación y otro para la negación del antecedente.
Significado de la Regla
Lo que se expresa en una Regla de Acción en el Sucedente es que:
"de cumplirse la condición expresada por el antecedente, entonces
se ejecute 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".
Conjunto de Acciones
Las acciones han sido denotadas como AAi (i=1,...,a) para la
afirmación y ANi (i=1,...,n) para la negación, siendo a y n las
cantidades para cada situación, éstas pueden ser de los siguientes
tipos:
-
P# para indicar que se ejecute la evaluación de la proposición número
"#". Si estaba evaluada anteriormente entonces no se ejecuta proceso
alguno.
- D# para indicar que se active la evaluación de la división número "#".
- V# que permite la activación del proceso evaluativo de la variable "#".
- A# que implica ejecutar la evaluación de la regla número "#", asociada a la división actual.
- R# para activar la evaluación de la RPG número "#".
- C# que activa la evaluación de la Regla Complementaria "#".
- E define la ejecución de un programa externo identificado con el "nombre" designado.
- G
activa la visualización de un gráfico o pantalla en general,
previamente construida y almacenada que se identifica con un "nombre"
dado.
|