1. A method performed by a computer for transforming an original set of rules into a resulting set of generalized rules in a rule management system, the method comprising the steps of: the computer providing an original set of rules stored in a data structure in memory for transforming into a resulting set of rules; the computer performing an automated processing of the original set of rules by: the computer 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; the computer 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; the computer 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 the computer adding the most-general rule to the resulting set of rules; the computer iterating the automated processing at least one or more times, wherein for each iteration 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; and the computer replacing the original set of rules stored in the data structure in the memory with an equivalent set of generalized rules set in the resulting set of rules for automated application by the rule management system, wherein the size of the resulting set of rules in the memory is smaller than the original set of rules, wherein the resulting set of rules comprising at least two most-general rules, wherein at least one case of a plurality of cases treated by a particular rule of the one or more rules of the original set of rules is treated by a first of the at least two most-general rules and at least one additional case of the plurality of cases treated by the particular rule of the original set of rules is treated by a second of the at least two most-general rules.