| 摘要 |
<p>A method and system are provided for transforming an original set of rules into a resulting set of generalised rules in a rule management system. The method includes providing an original set of rules stored in a data structure, and automated processing of the original set of rules by building a compact description of one or more rules in the original set of rules and their actions in the form of logical constraints, and solving constraints to find a solution that represents a case and an applied action. A family of cases is then built by taking all logical tests or their negation that are satisfied by the solution, and generalising the family of cases by removal of specific logical tests which do not apply to the action, resulting in a most-general rule (ms1) which is added to the resulting set of rules. The automated process is iterated, where the step of building a compact description of one or more rules in the original set of rules excludes 404 any rules in the original set of rules which are addressed by the resulting set of rules (ms1). The rules may be business rules.</p> |
