Claims Analysis
Total Claims: 8
Claim 1
Independent Claim
102 words
An apparatus for filtering production rules, which express conditions to be satisfied, said apparatus being adapted to identify, during successive inference cycles, rule(s) whose conditions are satisfied for deduced facts, said apparatus comprising a sorting system for ordering the conditions of the rules in accordance with a sorting criterion, wherein said sorting system is activated to sort the conditions of the rules only if the number of facts which satisfy a rule condition is multiplied or divided by a variable factor between the current inference cycle and the last preceding inference cycle during which the sorting system was activated for this rule.
Claim 2
Independent Claim
102 words
An apparatus for filtering production rules, which express conditions to be satisfied, said apparatus being adapted to identify, during successive inference cycles, rule(s) whose conditions are satisfied for deduced facts, said apparatus comprising a sorting system for ordering the conditions of the rules in accordance with a sorting criterion, wherein said sorting system is activated to sort the conditions of the rules only if the number of facts which satisfy a rule condition is multiplied or divided by a variable factor between the current inference cycle and the last preceding inference cycle during which the sorting system was activated for this rule.
Claim 3
Dependent Claim
24 words
The apparatus according to claim 1 wherein said sorting system is adapted to memorize an ordered list of the other conditions of said rule.
Claim 4
Dependent Claim
112 words
The apparatus according to claim 1, wherein the criteria for sorting the conditions of a rule comprises: a) a first condition of the rule is one which must be verified for a new deduced fact; b) a next condition of the rule is selected from the remaining conditions of the rule, said next condition being the one which satisfies one of the following criteria in the following order of preference: i) a condition that does not include any variable; ii) a condition including at least one variable present in a condition already selected; iii) a condition including at least one variable and for which the number of constrained facts is the smallest.
Claim 5
Dependent Claim
111 words
Expert system inference engine comprising a filtering apparatus for filtering production rules which express conditions to be satisfied, said filtering apparatus being adapted to identify, during successive inference cycles, rule(s) whose conditions are satisfied for deduced facts, and said filtering apparatus comprising a sorting system for ordering the conditions of the rules in accordance with a sorting criterion, wherein said sorting system is activated to sort the conditions of the rules only if the number of facts which satisfy a rule condition is multiplied or divided by a variable factor between the current inference cycle and the last preceding inference cycle during which the sorting system was activated for this rule.
Claim 6
Dependent Claim
111 words
Expert system inference engine comprising a filtering apparatus for filtering production rules which express conditions to be satisfied, said filtering apparatus being adapted to identify, during successive inference cycles, rule(s) whose conditions are satisfied for deduced facts, and said filtering apparatus comprising a sorting system for ordering the conditions of the rules in accordance with a sorting criterion, wherein said sorting system is activated to sort the conditions of the rules only if the number of facts which satisfy a rule condition is multiplied or divided by a variable factor between the current inference cycle and the last preceding inference cycle during which the sorting system was activated for this rule.
Claim 7
Dependent Claim
27 words
An expert system inference engine according to claim 4, wherein said sorting system is adapted to memorize an ordered list of the other conditions of said rule.
Claim 8
Dependent Claim
114 words
An expert system inference engine according to claim 4, wherein the criteria for sorting the conditions of a rule comprises: a) a first condition of the rule is one which must be verified for anew deduced fact; b) a next condition of the rule is selected from the remaining conditions of the rule, said next condition being the one which satisfies one of the following criteria in the following order of preference: i) a condition that does not include any variable; ii) a condition including at least one variable present in a condition already selected; iii) a condition including at least one variable and for which the number of constrained facts is the smallest.