COMPUTING PRIORITZED GENERAL ARBITRATION RULES FOR CONFLICTING RULES

摘要

A system for computing prioritized and most-general arbitration rules for prioritized rules of arbitrary forms, including condition-action rules as well as default rules. The arbitration rules override the rules that are in conflict for the cases which have conflicting decisions. An external decision-making procedure may determine a decision for the arbitration rules. If arbitration rules are themselves in conflict, the procedure computes arbitration rules of higher priority to resolve those conflicts. The result is a stack of priority layers containing the original rules as well as most-general arbitration rules. Given a set of prioritized rules, a case is considered having an applicable rule and generalizes to a family of cases with conflicting rules of highest priority for the family cases. An arbitration rule of higher priority is then generated and added to the set of prioritized rules. The procedure may be repeated until all conflicts are resolved.