Sentence examples for rule instances from inspiring English sources

It is based on a notion of rule instantiation, where the instantiation transforms rule schemes into rule instances by cloning and expansion.

Albert Dragalin refined in the late 1970s the calculus into one in which the structural rules are moreover "height-preserving admissible", meaning that whenever the premiss of such a rule is derivable, the conclusion is derivable without the rule and with at most the same size (maximum number of rule instances in a derivation branch) of derivation.

The next step is to instantiate the rule schema ru and grouping equivalent rule instances by calculating the reactions rtcs.

LINC execution rule instance generation.

From the generated rule template, a rule instance is generated with the actual sensors and actuators.

At runtime, the LINC rule instance invokes the step function each time a relevant event occurs.

When invoked, the step computes and returns appropriate commands that will be executed by the rule instance.

Listing 4 presents the rule instance generated from the execution rule template of Listing 2 and the description file presented in Listing 3.

Then write each rule instance so that the premisses and conclusion have the open assumptions listed at left, with an arrow separating the conclusion, so, as sequents.

To generate an instance of the execution rule template, the rule instance generator replaces: In rd operation, Objectname and id by the technology and the id of the corresponding sensor; In put operation, Objectname and id by the technology and the id of the corresponding actuator.

It contains methods for maintaining the various Rule Engine instances, adding and removing Rules and Facts to a certain Rule Engine instance and firing the Rules which initiates the process of matching the Facts on the Rules.