In the preceding sections, we have informally discussed the meanings of predicates and actions
in a production system. In general, we can say that the semantics of production rules
in a production system is described in terms of a specific inference method for applying the rules.