Rule processing system for determining a result response
First Claim
1. A system comprising:
- means for storing a digital representation of a zero-suppressed binary decision diagram (ZDD) formed by manipulatively combining;
an Include ZDD rule component that indicates inclusive constraints of a rule model;
an Exclude ZDD rule component that indicates exclusive constraints of the rule model; and
an Attribute Relations ZDD constructed from the Include and Exclude rule components to indicate interrelations between the Include and Exclude ZDD rule components; and
means for determining a result responsive to an application of inputs to the ZDD, the inputs characterizing desired constraints of the rule model.
2 Assignments
0 Petitions
Accused Products
Abstract
A rule processing apparatus includes modules for defining/entering attributes, enumerations, and/or relationships; packaging the definitions in a reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd; and/or (iii) executing the rule by applying a series of user inputs to the prime Zdd to determine a result that preferably includes conflict and selection advice to guide the user to satisfaction. Elective events, such as but not limited to the display of messages or the performance of calculations, may optionally be packaged along with the prime rule or components thereof, and presented during execution to help guide the end user to satisfaction or compliancy when choosing among possible selections. The apparatus automates determination of a complex rule having a combinatorial exploded number of rule components, or a combinatorial number of possible outcomes, exceeding computational capacity of present day computing systems.
71 Citations
15 Claims
-
1. A system comprising:
-
means for storing a digital representation of a zero-suppressed binary decision diagram (ZDD) formed by manipulatively combining; an Include ZDD rule component that indicates inclusive constraints of a rule model; an Exclude ZDD rule component that indicates exclusive constraints of the rule model; and an Attribute Relations ZDD constructed from the Include and Exclude rule components to indicate interrelations between the Include and Exclude ZDD rule components; and means for determining a result responsive to an application of inputs to the ZDD, the inputs characterizing desired constraints of the rule model. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A tangible computer readable medium having instructions stored thereon, the instructions comprising:
-
instructions to provide a cross-reference table of attributes and enumeration values indicative of rule components of the rule; instructions to define components of the rule by selecting an inclusive or exclusive relation between the attributes and enumeration values in respective rows and columns of the table; instructions to form an Include ZDD rule component from the inclusive relations; instructions to form an Exclude ZDD rule component from exclusive relations; instructions to produce an Attribute Relations ZDD rule component based on the Include and Exclude rule components; instructions to construct the ZDD rule model based on the Include, Exclude, and Attribute Relations rule components; and instructions to store the ZDD rule model in a memory. - View Dependent Claims (11, 12, 13, 14, 15)
-
Specification