Abstract: Approaches presented herein enable optimizing a hierarchical rule-based decision policy. An initial domain of values for each decision of a ruleset is extracted. Using the initial domain of values and a hierarchical structure of the ruleset, a reduced domain of values for each decision is computed starting from the lowest level decision. Each of the reduced domain of values upwards in the hierarchical structure is propagated upwards. A completeness and consistency analysis for each decision is then performed based on the propagation to identify any missing and/or arbitration rules for the policy.