Mechanism for filtering of production rules and inference engine with such a mechanism for an expert system

摘要

A mechanism for filtering production rules expressing conditions to be satisfied and intended to identify in the course of successive inference cycles of rules, the rule(s) whose conditions are satisfied in respect of deduced facts and comprising a sorting system for ordering the conditions of the rules as a function of a sorting criterion so as to check the conditions of the rules on the basis of an order for taking the said conditions into account. The filtering mechanism is devised so as to trigger the system for sorting the conditions of the rules only when the number of facts satisfying a condition of a rule is multiplied or divided by an adjustable factor K between the current inference cycle and the last previous inference cycle in the course of which the sorting system was triggered in respect of this rule.