1. A method for transforming an original set of rules into a resulting set of generalized rules in a rule management system, comprising: providing an original set of rules stored in a data structure for transforming into a resulting set of rules; performing an automated processing of the original set of rules by a processor by: building a compact description of one or more rules in the original set of rules and one or more actions of the one or more rules in the form of one or more logical constraints and solving constraints to find a solution that represents a case and an applied action; building a family of cases by taking a selection from among at least one of one or more logical tests of the one or more rules that are satisfied by the solution and one or more negations of the one or more logical tests of the one or more rules that are satisfied by the solution; generalizing the family of cases by removing one or more specific logical tests from among the selection that do not limit the applicability of the applied action, to identify a most-general rule; and adding the most-general rule to the resulting set of rules; and iterating the automated processing wherein building the compact description of the one or more rules in the original set of rules and the one or more actions excludes any rules in the original set of rules which are addressed by the resulting set of rules.