US20100318476A1 - Rule processing method and apparatus providing automatic user input selection - Google Patents
Rule processing method and apparatus providing automatic user input selection Download PDFInfo
- Publication number
- US20100318476A1 US20100318476A1 US12/797,573 US79757310A US2010318476A1 US 20100318476 A1 US20100318476 A1 US 20100318476A1 US 79757310 A US79757310 A US 79757310A US 2010318476 A1 US2010318476 A1 US 2010318476A1
- Authority
- US
- United States
- Prior art keywords
- user
- zdd
- autoselect
- rule
- compliant
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Abandoned
Links
- 238000003672 processing method Methods 0.000 title claims description 4
- 238000000034 method Methods 0.000 claims abstract description 61
- 238000012545 processing Methods 0.000 claims abstract description 50
- 230000006872 improvement Effects 0.000 claims abstract description 19
- 230000008569 process Effects 0.000 claims abstract description 14
- 238000010586 diagram Methods 0.000 claims description 12
- 238000004806 packaging method and process Methods 0.000 claims description 10
- 230000000694 effects Effects 0.000 claims description 9
- 230000008859 change Effects 0.000 claims description 8
- 230000004044 response Effects 0.000 claims description 6
- 238000013461 design Methods 0.000 abstract description 4
- 238000003491 array Methods 0.000 description 6
- 230000008901 benefit Effects 0.000 description 3
- 238000012546 transfer Methods 0.000 description 2
- 125000002015 acyclic group Chemical group 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012552 review Methods 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
Definitions
- This invention relates to a rule processing system or method that provides automatic decision support, but more specifically, to an improvement that enables automatic selection or identification of rule inputs based on an initial input supplied by a user.
- a user may input one or more selections of rule parameters in order to attain satisfiability of a business or engineering rule, such as product configuration rule or specifications for an engineering system.
- user selections may take the form of selected enumeration values of attributes that characterize the rule.
- an attribute may comprise bundle type and selectable enumerations of that attribute may comprise Multimedia, Power PC, Business Workstation, or Entry Level.
- enumerations of other product attributes e.g., CPU speed, DVD speed, Hard Drive Capacity, RAM memory size, etc.
- the rule being automated is modeled by a zero-suppressed binary decision diagram (ZDD), but may also take the form of BDDs (binary decision diagrams) or DAGs directed acyclic diagrams).
- ZDD binary decision diagram
- the user's inputs are converted to a traversal ZDD which is used to traverse the rule model in order to produce an indication of satisfiability as well as conflict and select advice.
- Conflict and selection advice informs the user which entries invoke compliance and which entries invoke noncompliance after the user has made his or her selections of enumerations. Based on the advice, the user may change the selections according to desired configuration or other conditions.
- a computer-implemented rule processing system utilizing a ZDD rule model that responds to user inputs by providing advice to a user for achieving compliancy of the rule model
- an improvement comprising an autoselect system implemented with the rule processing system to identify a set of compliant inputs based on at least one initial user input chosen by the user
- the autoselect system includes a user interface to enable the user to enter at least one user input and a processor to automatically generate and indicate to the user other compliant inputs of the set based on the user's initial input.
- the processor utilizes an autoselect ZDD constructed from compliant inputs of the rule model.
- Inputs may be in the form of a selection of attributes of a business or engineering rule and a selection of enumerations of the attributes.
- a computer-implemented rule processing system utilizing a ZDD rule model that responds to selection of attributes and enumerations thereof in order to provide selection advice to a user for achieving compliancy of the rule model includes an improvement comprising an autoselect system implemented with the rule processing system in order to provide additional compliant selections based on at least one initial input supplied by the user.
- the autoselect system includes a user interface to enable the user to enter the initial input, an autoselect ZDD constructed from compliant inputs of the rule model, and a processing module responsive to the initial input of the user to automatically provide the additional compliant selections.
- a computer-implemented system to automatically identify compliant inputs for the rule processing system according to at least one user input
- the computer-implemented system comprises an I/O interface to enable the user to choose and observe inputs, an autoselect ZDD constructed from compliant inputs of the rule model, and a ZDD processing module that processes the autoselect ZDD in order to provide for the user a set compliant inputs for the ZDD rule model according to the at least one user input.
- the processing module may enable the user to change an initial input and, in response thereto, to provide alternative compliant inputs based on a change in the initial user input.
- a computer-implemented rule processing system to determine satisfiability of a business or engineering rule represented by a zero-suppressed binary decision diagram (ZDD) rule model comprises an execution module to indicate compliancy of the rule according to selection of attributes and enumerations values of the attributes, an autoselect module that provides automatic selection of enumeration values based on selection of an initial value of at least one enumeration, a user interface to enable a user to select a value of at least one enumeration, and a processing module to determine compliant enumeration values of other attributes according to the enumeration value selected by the user and to provide to the user compliant enumeration values of the other attributes.
- ZDD binary decision diagram
- the processing module may iteratively enable the user to select an alternative enumeration value whereby, in response, the processing module determines and identifies other compliant enumeration values based on the alternative enumeration value selected by the user.
- a method of providing a set of compliant enumeration values for respective attributes of the rule comprising the steps of obtaining a user selection of at least one enumeration value of an attribute, determining a set of compliant enumeration values of other attributes according to user selection, providing a complete set of compliant enumeration values to the user, and iteratively enabling the user to select other enumeration values whereby to provide further complete sets of compliant enumeration values to the user.
- a method of automatically providing a user with additional compliant input selections based on at least one initial user input supplied by the user comprising the steps of providing a user interface to indicate possible inputs to the ZDD; enabling the user to enter at least one input; in response to an input selected by the user, generating a set of additional inputs that are compliant with each other and compliant with the input(s) entered by the user; and indicating the set of additional compliant inputs to said user. Indicating may occur by displaying results or selection advice on a computer monitor.
- ZDD binary decision diagram
- a computer-readable medium to effect automatic identification of inputs during automated rule processing of a ZDD rule by a data processing system
- the medium comprises program instructions to effect display on a graphical user interface of selectable inputs for the ZDD rule, to effect selection by the user of at least one input, to build an autoselect ZDD from compliant inputs of the ZDD rule, to generate a set of compliant inputs based on an input selected by the user, and to indicate to the user said set of compliant inputs according to an input selected by the user.
- FIG. 1 is a screen print of a graphical user interface (GUI) depicting a user selection of a “Cheap” enumeration within a bundle type attribute for a desktop computer system along with a number of “floating” attributes (CPU, DVD, Hard Drive, Memory, Shipping Company, and Shipping Method) each having an enumeration that is automatically selected in accordance with the a method or system of the present invention.
- GUI graphical user interface
- FIG. 2 shows a screen print similar to FIG. 1 , but having the “Best” enumeration being user-selected in the Bundles attribute whereby alternative enumerations are automatically selected or identified for the remaining attributes in accordance with the present invention (but additionally including an enumeration/index value column on the left to help explain the invention).
- FIG. 3 is a table describing the attributes and enumerations of a computer system configuration rule exemplified throughout this disclosure.
- FIG. 4 is a zero-suppressed binary decision diagram (ZDD) representing the original Include component of the configuration rule characterizing compatible or allowable configurations of the computer system described in FIG. 3 .
- ZDD binary decision diagram
- FIG. 5 is a ZDD representing the original Exclude component of a product configuration rule characterizing compatible or allowable configurations of the computer system described in FIG. 3 .
- FIG. 6 illustrates removal of unused ZDD nodes (e.g., removal of unused computer configurations) of the Include ZDD shown in FIG. 4 .
- FIG. 7 shows the resulting FIG. 6 ZDD after removal of unused nodes.
- FIG. 8 shows an XOR (exclusive OR) ZDD that is used to expand out the paths in the ZDD of FIG. 7 to include all of the attributes.
- FIG. 9 shows the ZDD of FIG. 7 expanded out by the XOR ZDD of FIG. 8 .
- FIG. 10 is a final AutoSelect ZDD that is used to automatically select attribute enumerations based on initial user-selected enumeration(s). It is a combination of an ASInclude ZDD possessing all possible Included combinations and an ASExclude ZDD having certain Excluded combinations.
- FIG. 11 is an intermediate ZDD generated by a user-selection of the “good” enumeration in the bundles attribute of the illustrated rule, which is a ZDD representation of all valid combinations that have enumeration 3 .
- FIG. 12 shows a series of ZDDs internally generated by the invention in order to produce recommended enumeration selections based on an initial user-selection of the “cheap” enumeration for the bundles attribute.
- FIG. 13 is a table of results generated by the process of FIG. 12 , which separately shows Include and Exclude enumerations.
- FIG. 14 shows Include advice produced by the invention in the form of two arrays of enumeration inputs called Selection Input Floating and Selection Input Fixed.
- FIG. 15 shows advice indications for the respective Bundles, CPU, DVD, Hard Drive, and Memory attribute groups.
- FIG. 16A shows advice computation using floating AutoSelected Attributes.
- FIG. 16B shows advice computation using a fixed AutoSelect value instead of the floating AutoSelect Attributes.
- FIG. 17 shows the results of NOR'ing Include Results and the Exclude Results to produce an advice array.
- AutoSelect is an algorithm that provides automatic selection or identification of a complete set of attributes and enumerations of a rule based on a partial set of attributes and enumerations supplied by a user. AutoSelect may be implemented as a process or a system that implements a process.
- an AutoSelect attribute may have two states, floating (denoted ⁇ FL ⁇ ) or fixed (denoted ⁇ FX ⁇ ). In certain cases, more than two states may be provided but the illustrated embodiments disclosed herein assume only two states.
- the system or method according to the present invention automatically determines the appropriate enumeration value for the attribute and either selects the value(s) on behalf of the user or communicates the value(s) to the user.
- FIG. 1 The example of FIG. 1 is used throughout this disclosure to describe the invention.
- the example concerns selecting/defining components of a computer system bundle, e.g., a combination of compatible hardware and software components for a computer system where an end user (or purchaser) is provided with a number of selections.
- the system or method automatically chooses or suggests enumeration values for the remaining attributes (CPU, DVD, etc) that are valid with each other and also valid with prior user selections for the bundle. Afterwards, the user may fine-tune the selections by rejecting one or more of the automatically selected values by changing them to meet his or her particular needs.
- the graphical user interface of FIG. 1 i.e., a screen print 100 , is presented to a user on a computer monitor.
- the initial state of enumeration selections shown is valid for all attribute groups, which include Bundles (or quality), CPU speed, DVD speed, hard drive capacity, RAM memory capacity, shipping company, and shipping method. Each such attribute has a number of enumerations.
- the initial group of attributes and enumerations having a compatible state, in the example of FIG. 1 defines a low-quality or “cheap” computer bundle. Selection of the “cheap” enumeration in the “bundles” group causes other attributes, which are AutoSelected, to assume the most recommended valid combination of enumerations within their respective attribute groups.
- the initial group of enumeration selections are the “cheap” selection in CPU type attribute box 102 , “Pentium 4-900 Mhz” in CPU attribute box 104 , “1 ⁇ ” speed in DVD type attribute box 106 , “120 Gig” selection in Hard Drive capacity attribute box 108 , “512 MB” in RAM memory size attribute box 110 , “USPS” shipping in shipper attribute box 112 , and “Ground” as the shipping method in attribute box 114 .
- the “floating” icons 120 next to the AutoSelect attribute boxes 102 - 114 indicate that the attribute lays in a floating state, which means that the system or method herein described automatically changes the preselected enumeration values based on alternative user selections.
- the icon can be either floating or fixed (example of fix icon 122 is shown in FIG. 13 ). If the icon is fixed, then the attribute's enumeration value is fixed and cannot be changed automatically. To unfix the enumeration value, a user may click on the icon to toggle it back to floating.
- the rule processing system or method thereof automatically effects a change in floating enumeration values of the other attributes 104 - 114 , also indicated in FIG. 2 .
- the system or method advantageously automatically selects the proper values for the other six attributes, such as, P6 for CPU type 104 , 8 ⁇ for DVD speed 106 , one hundred twenty Gigs for hard drive capacity 108 , one GB for RAM size 110 , USPS for shipper identity 112 , and Ground for shipping method 114 .
- the AutoSelect algorithm and/or apparatus implementing the same guarantees that all of the selections are valid together, and are also valid with the user selection. Since much work in selecting valid hardware/software combinations of the computer bundle is accomplished by the rule processing system, the user need only fine-tune the computer bundle. It should also be noted that even though examples described herein may refer to “all” elements, values, components, etc., “all” need not be required to obtain the benefit of the invention.
- AutoSelect ZDDs may be built at the time of rule packaging and subsequently used by the execution engine at runtime to determine AutoSelect enumeration values for the various attribute. AutoSelect ZDDs are also used at runtime during advice determination.
- the modeler specifies which attributes are to be AutoSelected. The modeler may also specify the AutoSelect Priority of the attribute. Other details of the process of model creation including the concepts of Attributes, Enumerations, and Packaging remain unchanged from the process described in the common-owned, incorporated Ser. Nos. 10/101,151 and 10/101,154applications.
- the rule modeler chooses which attributes are to be AutoSelect attributes. Then, the set of other attributes related to the AutoSelected attributes is found. The union of these two sets identifies the attributes involved in the AutoSelect feature.
- a next step involves splitting up of the involved attributes into groups of independent attributes called AutoSelect components.
- a standard transitive closure routine as described by Judith Gerstling, Mathematical Structures for Computer Science , Forth Edition, W. H. Freeman and Company (1999) is used to split up the attributes into the independent groups.
- these AutoSelect components are processed to determine the valid combinations of AutoSelected enumeration values. Splitting up the AutoSelect attributes into groups reduces the size of the AutoSelect component ZDD.
- FIG. 3 illustrates an example having seven attribute groups 0 , 1 , 2 , 3 , 4 , 5 and 6 .
- Attribute groups 0 , 1 , 2 , 3 and 4 (Bundle, CPU speed, DVD speed, Hard Drive capacity, Memory capacity) are interrelated by rules so the transitive closure routine places them into a first AutoSelect component.
- Attribute groups 5 and 6 (Shipping Company and Shipping Method) define a second AutoSelect component.
- a component may still be too large because too many attributes are interrelated.
- a method to determine such condition involves counting the number of attributes in an AutoSelect component. If the number of attributes exceeds thirty, for example, the group may be deemed too large. Another method of determining whether the component group is too large entails attempting to create its associated ZDD. If this takes too long or if memory need is exceeded, then the components may be deemed too large.
- the component may be segmented using another method that splits up the attributes around non-AutoSelected attributes. These attributes are called Critical Attributes.
- the best candidate for a Critical Attribute around which to segment components is an attribute that is non-AutoSelected and related by rules to many other attributes. So another aspect of the invention concerns searching for such attributes. Once these attributes are found, a transitive closure routine is used to split up the attributes as if the Critical Attribute did not exist. Such a routine is further described in sister application filed of even date herewith by the same inventors hereof, entitled “Rule Processing Method and Apparatus Providing Exclude Cover Removal To Simplify Selection and/or Conflict Advice.” This creates a number of groups that are again independent of each other, except that only the Critical Attribute(s) relates these groups to each other
- AutoSelect components exists; a list of the set of attributes in each component; and a set of zero, one, or more critical attributes for each component, all of which must be provided to the runtime engine for proper execution.
- the attributes in each of the AutoSelect Components must be placed in an AutoSelect Priority order prior to execution.
- the illustrated system or method establishes an arbitrary order by ranking the attributes in alphabetical order of their names and then allows the modeler to make any further adjustments desired.
- the two AutoSelect components in the illustrated example are put into AutoSelect Priority order as attributes 0 , 1 , 2 , 3 , 4 in the first AutoSelect Component and attributes 5 and 6 in the second AutoSelect Component.
- the AutoSelect Priority order is used at runtime by engine, so the system or method reports the AutoSelect Priority ordering to the execution engine as well.
- ZDDs for each of these groups are created.
- the resulting ZDDs thus contain every valid combination for each AutoSelect component and may therefore grow quite large, thus the importance of making each component as small as possible.
- the Include and Exclude ZDDs are the result of packaging the rules in the rule model as described in the related disclosures.
- the ASInclude ZDD 130 ( FIG. 4 ) started out as a copy of the Include ZDD representing the configuration of rule attributes and enumerations of the FIG. 3 rule model while the ASExclude ZDD 140 ( FIG. 5 ) started out as a copy of Exclude ZDD of the FIG. 3 rule model.
- CUDD CU Decision Diagram Package , http://vlsi.colorado.edu/ ⁇ fabio/CUDD, the ASInclude ZDD 130 and the ASExclude ZDD 140 are reordered to place the enumerations for the first AutoSelect components at the top of the respective ZDDs in the same order. By placing them in the same order it is possible to perform meaningful operations between the two ZDDs.
- the exemplary ASInclude ZDD 130 includes enumeration nodes 4 through 22 .
- Enumeration nodes 17 through 22 e.g., selections for Shipping Company and Shipping Method
- the ASExclude ZDD includes enumeration nodes 0 , 1 , 2 , 3 , 7 , 8 , 9 and 10 . All of these enumerations are included in the AutoSelect component.
- the reordering technique applied to the ASExclude ZDD 140 was the same as that applied to the ordering of the ASInclude ZDD 130 so the ASExclude ZDD remains the same after reordering.
- FIG. 6 illustrates removal of enumeration nodes from the resulting ASInclude ZDD that were not involved in any of the AutoSelect components.
- the routine that does this removal requires that any unused enumerations at the bottom of the ZDD.
- FIG. 6 shows the ASInclude ZDD 130 from our example for the first AutoSelect component with the nodes in the ZDD to be removed (i.e., nodes 17 - 22 ) being marked by an “X” through them.
- the algorithm to do this traverses every path in the ASInclude ZDD 132 . As indicated above, it is essential that the enumerations in this AutoSelect component be located at the top of the ASInclude ZDD 132 . As the algorithm traverses the paths, it checks if the node index is to be removed. When it hits the first node to be removed, the algorithm immediately reroutes that edge to the constant “ 1 ” node 134 .
- the algorithm traverses down from node 4 to node 16 , examines the THEN leg of node 16 to find node 17 , which is the topmost enumeration to be removed, and so the THEN leg of node 16 is rerouted to the constant “ 1 ” node 134 .
- the ZDD of FIG. 7 shows the result of removing unused enumerations of the ASInclude ZDD 132 , which it now becomes the new or modified ASInclude ZDD 136 .
- the “one” node 138 lies at the bottom of ZDD 136 .
- the ASInclude ZDD of FIG. 7 for the AutoSelect component now has all of the possible included paths. These paths are not complete because they only contain enumeration nodes 4 through 16 .
- a next step involves expanding out the paths to include all of the attributes in the AutoSelect component.
- An “Add Always” routine adds cover details for all attributes from the AutoSelect component that reside only in the ASExclude ZDD.
- a cover or “set cover” is defined by National Institute of Science and Technology at http://www.nist.gov/dads/HTML/setcover.html. See also, http://www.cs.sunysb.edu/ ⁇ algorith/files/set-cover.shtml. Cover details are also explained in commonly-owned copending provisional application Ser. No. 60/721,089, incorporated herein.
- Attribute 0 resides only in the ASExclude ZDD, but not the ASInclude ZDD. According to the present invention, an aspect thereof adds an XOR cover for “ 0 ” attribute.
- ZDD 150 of FIG. 8 shows the XOR cover that is added to (i.e., combined by multiplying) the ASInclude ZDD. If there was another attribute residing only in the ASExclude ZDD, an aspect of the invention would effect adding in another XOR cover for that attribute.
- the standard UnateProduct of algorithm described in F. Somenzi, CUDD: CU Decision Diagram Package is used to “multiply” the two ZDDs.
- the resulting ZDD 152 of FIG. 9 contains all included combinations for the AutoSelect component. ZDD 152 thus becomes the new or modified ASInclude ZDD. The next step involves removing those combinations that are excluded by the ASExclude ZDD.
- the rule processing system or method may employ a ZDD manager to keep ZDDs with different ordering and sets of enumerations separated so as to minimize the total amount of memory needed to process the ZDDs.
- the ZDD manager also keeps the ordering information and the canonicity of its ZDDs.
- ASInclude ZDD with all possible Included combinations and an ASExclude ZDD that contains the combinations to be excluded.
- the two ZDDs may be maintained by separate ZDD managers.
- ASInclude ZDD and ASExclude ZDD are preferably handled by the same ZDD manager.
- ASExclude ZDD may be transferred into the ASInclude ZDD manager space.
- TransferZDD transfers a ZDD from one ZDD manager space to another. It decomposes a ZDD in its existing ZDD manager using a Shannon Expansion described in C. E. Shannon, The synthesis of two-terminal switching circuits , Trans. of the American Institute of Electrical Engineers, 28, 1, 59-98, (1949), and then reassembles the ZDD in the new manager space using a ZddITE operation. ITE is shorthand for If-Then-Else.
- TransferZDD and ZddITE are similar to standard routines written for BDDs, as explained in F. Somenzi, CUDD: CU Decision Diagram Package.
- the ASExclude ZDD in the new ZDD manager space looks exactly like it did in the ASExclude ZDD manager, but it has different node memory addresses because it is now ordered and managed by the ASInclude ZDD manager.
- the Final ZDD 154 may be reordered using conventional reordering techniques of F.
- CUDD CU Decision Diagram Package , in order to reduce its size.
- the Final AutoSelect ZDD 154 of FIG. 10 is stored in a packaged file for the AutoSelect component using the techniques described in the related disclosures Ser. Nos. 10/101,151 and 10/101,154. Both AutoSelect component ZDDs are processes similarly.
- the AutoSelect ZDDs When the AutoSelect ZDDs are built at runtime, they may be constructed as described above with respect to packaging. To implement the AutoSelect feature at runtime, the steps (Reordering ZDDs, Removal Unused Enumerations, Adding Always Paths to Include, Transferring Exclude to Include, and Removal of Excluded Paths) as described above are performed upon loading of the execution engine. Also, the steps described above need only be performed once per AutoSelect component. So the runtime engine may also perform those operations and cache the results for future iterations. At the beginning of every execution engine cycle, the same AutoSelect component ZDD is used and a Fix Selections routine (described later) is called.
- packaging creates a list of the attributes in the component, an AutoSelect ASInclude ZDD, and a list of critical attributes.
- the list of attributes contains all of the attributes involved in the AutoSelect component. This list is sorted in an AutoSelect Priority order.
- a rule modeler assigns an AutoSelect Priority value to every auto-selectable attribute. Any ties in the ordering are resolved by alphabetically sorting the attribute name. If the modeler does not set the AutoSelect Priority for attributes, the AutoSelect Priority order is alphabetical by attribute name.
- the AutoSelect ASInclude ZDD has all valid combinations for all of the attributes in this AutoSelect Component.
- the preceding section described in detail how to create an ASInclude ZDD.
- the critical attribute list has all of the attributes determined to be critical during rule packaging.
- An attribute is only selected to be a critical attribute if it was defined, for example, to never allow a floating state. Thus, it may be an illegal condition for any of the critical attributes to be found in a floating state at run time.
- the system cannot determine the floating AutoSelect values for the AutoSelect Component when in this illegal state. So, if any critical attribute is floating, the system or method sets all of the floating AutoSelect attributes in the AutoSelect component to their default value, and exits the AutoSelect algorithm.
- a FixSelections routine is used by AutoSelect to find the best combination based on the current set of user inputs. Every attribute in the AutoSelect component has an enumeration selected and the system or method finds the best enumeration for each attribute. During creation of the AutoSelect component, the attribute list is placed in AutoSelect Priority order so it becomes a matter of finding the best enumeration value for each attribute in that order.
- a Recommended Order routine is used to find the best enumeration.
- the modeler may specify the order in which enumerations are recommended. If the Recommended Order is not specified, the method of apparatus of the invention may be arranged to default to an alphabetical order by enumeration name.
- the AutoSelect Priority is alphabetical and the Recommended Order for each attribute is also alphabetical. It is then considered how to handle AutoSelecting the enumerations for the first AutoSelect Component.
- the operation is started by obtaining all of the attribute values for non-AutoSelected attributes in the group.
- the AutoSelect feature of the invention sets all of the floating attributes to their default enumeration values, and is done.
- AutoSelect goes through the ordered list of attributes in the AutoSelect component to find the highest recommended enumeration for each attribute.
- the existence of an enumeration in the ZDD 154 implies that it resides in some valid combination(s). AutoSelect may then fix this value in the ZDD and look to the next attribute in the AutoSelect Component.
- the combination is valid and the system or method provides to the user these enumerations as recommended selections for the AutoSelect Attributes.
- FIG. 12 illustrates the steps of providing advice to a user. Notice that the more selection the system makes, the more refined the ZDD becomes and the fewer valid combinations are available.
- the related disclosures describe, in detail, how to generate advice for a set of user selections on a given set of attributes.
- the present invention extends that advice generation to handle AutoSelected attributes.
- the AutoSelect operation is completed before the advice routine starts, but the results of the AutoSelect operation are used by the advice routine in several ways.
- the AutoSelect feature selects default values for all AutoSelect attributes. This has an effect on advice for any related attributes. After auto-selections are determined (whether valid or invalid), user advice for each enumeration is determined, one attribute group at a time.
- the advice computation comprises three steps, with context switching based on whether the attribute group is an auto-select group with no user selections. Include and Exclude advice differs in their respective computations.
- FIG. 13 summarizes how advice is computed using AutoSelect Attributes.
- the Cheap selection of Bundle attribute group 172 and the P4 selection of CPU attribute group 174 are selected.
- On the left side of FIG. 13 are columns 182 , 184 , and 186 showing the results of Include and Exclude advice. Note that there are two columns for Exclude results 184 .
- the left Exclude Column is computed with fixed selections, and the right Exclude Column is computed with the floating selections.
- the Result column 186 is a NOR operation between the Include and the Exclude columns 182 and 184 .
- the following three sections describe how to compute the details of Include Advice, Exclude Advice and how the AutoSelect feature combines them to provide Overall Advice to a user.
- FIG. 15 shows advice indications for the respective Bundles, CPU, DVD, Hard Drive, and Memory attribute groups in row 196 . Selectable enumerations for the groups appear in row 197 .
- AutoSelect creates two arrays 192 and 194 ( FIG. 14 ) of enumeration inputs, one called Selection Input Floating and a second called Selection Input Fixed.
- Array 192 has all of the user selections and preferably all of the floating AutoSelect attributes with their AutoSelected values.
- Array 194 has all of the user selections and preferably all of the floating AutoSelect attributes are seen as if they were floating.
- the attribute values for related attributes are pulled from one of these arrays. If the attribute is a floating AutoSelect attribute, the values for the Selection Input Fixed array are used. All other attributes use the values from the Selection Input Floating array.
- Include Advice uses one of the two input arrays shown in FIG. 14 , depending upon whether or not an AutoSelect attribute is floating, to generate the Include result depicted in FIG. 15 .
- the computation of Include Advice values is unchanged from that shown in incorporated application Ser. No. 10/101,151 (now U.S. Pat. No. 6,965,887).
- the Advice module for the Include rules will return all pluses (e.g., “available” or “compatible” selections) in both of these attributes since they are not in any Include rule together (the example assumes that Bundles and DVD reside in an Exclude rule, and that DVD, CPU, Hard Drive and Memory reside in an Include rule).
- FIGS. 16A and 16B show Exclude advice. Determination of Exclude advice is simultaneously performed for all attributes as described in the aforementioned incorporated patent applications Ser. Nos. 10/101,151(now U.S. Pat. 6,965,887) and 10/01,154, so the process for determining whether to use the AutoSelected or floating values for AutoSelected attributes is different. To support AutoSelect, Exclude advice is calculated twice, once with AutoSelected attributes in a floating state and once with AutoSelected attributes using their AutoSelected values.
- row 200 identities the attribute groups
- row 201 indicates selectable enumerations for the respective attribute groups
- row 202 indicates advice.
- row 203 also represents advice provided to the user.
- FIGS. 16A and 16B show the resulting Exclude advice results in row 202 and 203 for the illustrated example.
- FIG. 16A shows advice computation in row 202 using floating AutoSelected Attributes.
- FIG. 16B shows advice computation in row 203 using a fixed AutoSelect value instead of the floating AutoSelect Attributes.
- the significance and interpretations of the results shown in rows 202 and 203 are similar to that described in connection with FIG. 15 .
- FIG. 17 illustrates details the changes from the overall advice disclosed in incorporated disclosures Ser. Nos. 10/101,151(now U.S. Pat. No. 6,965,887) and 10/01,154 where the Include Results and the Exclude Results are NOR'ed to produce advice array 206 .
- row 204 identifies the attribute group
- row 205 identifies enumerations within the respective attribute groups
- row 206 indicates the advice provided to the user.
- the NOR operation considers both of the Exclude Result arrays 202 and 203 ( FIGS. 16A and 16 B). During the NOR operation, the system uses the values from the floating array for attributes that are fixed, and from the fixed array for attributes that are floating.
- Autoselect inspects each enumeration in the Include Result array from left to right. The difference here is that if the enumeration is in a floating AutoSelect attribute, the system or method uses the enumeration value from the Exclude Fixed Result array 202 , and if the enumeration is from a fixed attribute, the system uses the enumeration value from the Exclude Floating Result array 203 . AutoSelect uses those values to produce the final NOR result array 206 shown in FIG. 17 . In other words, the results/advice shown in array 206 ( FIG. 17 ) results from a NOR operation of the results/advice of arrays 202 and 203 ( FIGS. 16A and 16B ).
- AutoSelect feature may be implemented as a method or in a computer apparatus to facilitate the selection of choices by a user during rule processing or decision automation.
- AutoSelect may be deployed to assist a user in processing a business or engineering rule.
- any number of available attributes may be designated user-selectable, “floating,” or “fixed.”
- DAGs or BDDs under certain circumstances may also be used to carry out the invention.
- the underlying teachings hereof may also be emulated to achieve the same or similar result. Accordingly, the invention is not limited by the illustrated examples but includes all such variations and emulations as may come within the scope of the appended claims.
Abstract
An improvement in decision automation employing a ZDD rule model indicative of a business or engineering rule to provide decision support to a user. The computer-implemented improvement automatically identifies compliant inputs for the rule processing system according to at least one input initially supplied by a user, and is particularly useful for determining product configuration, engineering designs, various outcome of planning scenarios, etc. Once a user selects an initial value(s), remaining compliant values unique to the user-selected value(s) are automatically identified. The improvement reduces time required to manually select inputs. In one embodiment, the improvement includes an I/O interface to enable the user to choose and observe inputs, an autoselect ZDD constructed from compliant inputs of the rule model, and a ZDD processing module that processes said autoselect ZDD in order to provide for the user a set compliant inputs for the ZDD rule model according to the user input. The automatic input selection routine may be executed at decision automation runtime, or executed and stored a priori for subsequent processing during runtime.
Description
- This invention claims the benefit of U.S. Provisional Application No. 60/721,090 filed Sep. 28, 2005 in the name of the same inventors hereof.
- This invention concerns improvements to inventions disclosed in commonly-owned, U.S. Application Ser. Nos. 10/101,151 filed Mar. 20, 2002 (now U.S. Pat. No. 6,965,887) and 10/101,154 filed Mar. 20, 2002, each of which is incorporated herein.
- This invention relates to a rule processing system or method that provides automatic decision support, but more specifically, to an improvement that enables automatic selection or identification of rule inputs based on an initial input supplied by a user.
- During automated decision support, a user may input one or more selections of rule parameters in order to attain satisfiability of a business or engineering rule, such as product configuration rule or specifications for an engineering system. Generically, user selections may take the form of selected enumeration values of attributes that characterize the rule. In a product configuration rule for a desktop computer system, for example, an attribute may comprise bundle type and selectable enumerations of that attribute may comprise Multimedia, Power PC, Business Workstation, or Entry Level. Depending on an initial selection of bundle type, enumerations of other product attributes (e.g., CPU speed, DVD speed, Hard Drive Capacity, RAM memory size, etc.) may or may not be compatible.
- In order to lessen the amount of effort required of the user to select appropriate enumerations of other attributes once other attributes are selected, it is desirable to provide the user with automatic selections or identification of enumerations for the other product attributes, i.e., to automatically identify or suggest compatible inputs that satisfy the product configuration rule based on the user's manually-supplied inputs. In other words, it is desirable to automatically identify enumerations that are valid with each other and also valid with previous selections made by the user. Such automatically-supplied advice guides the user in choosing correct enumerations that reside in various valid combinations of attributes and enumerations and speeds attainment of rule compliance. In addition to product configuration, such automatic selection of enumerations may be applied to any other type of business or engineering rule processing system or method.
- In the related disclosures over which the present invention is an improvement, the rule being automated is modeled by a zero-suppressed binary decision diagram (ZDD), but may also take the form of BDDs (binary decision diagrams) or DAGs directed acyclic diagrams). Using a ZDD rule model, the user's inputs are converted to a traversal ZDD which is used to traverse the rule model in order to produce an indication of satisfiability as well as conflict and select advice. Conflict and selection advice informs the user which entries invoke compliance and which entries invoke noncompliance after the user has made his or her selections of enumerations. Based on the advice, the user may change the selections according to desired configuration or other conditions.
- In accordance with a first aspect of the invention, there is provided in a computer-implemented rule processing system utilizing a ZDD rule model that responds to user inputs by providing advice to a user for achieving compliancy of the rule model, an improvement comprising an autoselect system implemented with the rule processing system to identify a set of compliant inputs based on at least one initial user input chosen by the user where the autoselect system includes a user interface to enable the user to enter at least one user input and a processor to automatically generate and indicate to the user other compliant inputs of the set based on the user's initial input. To identify the other compliant inputs, the processor utilizes an autoselect ZDD constructed from compliant inputs of the rule model. Inputs may be in the form of a selection of attributes of a business or engineering rule and a selection of enumerations of the attributes.
- According to another aspect of the invention, a computer-implemented rule processing system utilizing a ZDD rule model that responds to selection of attributes and enumerations thereof in order to provide selection advice to a user for achieving compliancy of the rule model includes an improvement comprising an autoselect system implemented with the rule processing system in order to provide additional compliant selections based on at least one initial input supplied by the user. In this aspect, the autoselect system includes a user interface to enable the user to enter the initial input, an autoselect ZDD constructed from compliant inputs of the rule model, and a processing module responsive to the initial input of the user to automatically provide the additional compliant selections.
- In yet another aspect of the invention, there is provided in combination with a rule processing system employing a ZDD rule model indicative of a business or engineering rule to provide decision support to a user, a computer-implemented system to automatically identify compliant inputs for the rule processing system according to at least one user input wherein the computer-implemented system comprises an I/O interface to enable the user to choose and observe inputs, an autoselect ZDD constructed from compliant inputs of the rule model, and a ZDD processing module that processes the autoselect ZDD in order to provide for the user a set compliant inputs for the ZDD rule model according to the at least one user input. Further, the processing module may enable the user to change an initial input and, in response thereto, to provide alternative compliant inputs based on a change in the initial user input.
- In a further aspect of the invention, a computer-implemented rule processing system to determine satisfiability of a business or engineering rule represented by a zero-suppressed binary decision diagram (ZDD) rule model comprises an execution module to indicate compliancy of the rule according to selection of attributes and enumerations values of the attributes, an autoselect module that provides automatic selection of enumeration values based on selection of an initial value of at least one enumeration, a user interface to enable a user to select a value of at least one enumeration, and a processing module to determine compliant enumeration values of other attributes according to the enumeration value selected by the user and to provide to the user compliant enumeration values of the other attributes. In addition, the processing module may iteratively enable the user to select an alternative enumeration value whereby, in response, the processing module determines and identifies other compliant enumeration values based on the alternative enumeration value selected by the user.
- In yet another aspect of the invention, there is provided in a computer-implemented rule processing method to determine satisfiability of a ZDD representation of a business or engineering rule, a method of providing a set of compliant enumeration values for respective attributes of the rule comprising the steps of obtaining a user selection of at least one enumeration value of an attribute, determining a set of compliant enumeration values of other attributes according to user selection, providing a complete set of compliant enumeration values to the user, and iteratively enabling the user to select other enumeration values whereby to provide further complete sets of compliant enumeration values to the user.
- In yet another aspect of the invention, there is provided in a computer-implemented method of rule processing utilizing a zero-suppressed binary decision diagram (ZDD) to provide decision support, a method of automatically providing a user with additional compliant input selections based on at least one initial user input supplied by the user comprising the steps of providing a user interface to indicate possible inputs to the ZDD; enabling the user to enter at least one input; in response to an input selected by the user, generating a set of additional inputs that are compliant with each other and compliant with the input(s) entered by the user; and indicating the set of additional compliant inputs to said user. Indicating may occur by displaying results or selection advice on a computer monitor.
- In yet a further aspect of the invention, there is provided a computer-readable medium to effect automatic identification of inputs during automated rule processing of a ZDD rule by a data processing system where the medium comprises program instructions to effect display on a graphical user interface of selectable inputs for the ZDD rule, to effect selection by the user of at least one input, to build an autoselect ZDD from compliant inputs of the ZDD rule, to generate a set of compliant inputs based on an input selected by the user, and to indicate to the user said set of compliant inputs according to an input selected by the user.
- Other features and aspects of the invention will become apparent upon review of the following disclosure taken in connection with the accompanying drawings. The invention, though, is pointed out with particularity by the appended claims.
-
FIG. 1 is a screen print of a graphical user interface (GUI) depicting a user selection of a “Cheap” enumeration within a bundle type attribute for a desktop computer system along with a number of “floating” attributes (CPU, DVD, Hard Drive, Memory, Shipping Company, and Shipping Method) each having an enumeration that is automatically selected in accordance with the a method or system of the present invention. -
FIG. 2 shows a screen print similar toFIG. 1 , but having the “Best” enumeration being user-selected in the Bundles attribute whereby alternative enumerations are automatically selected or identified for the remaining attributes in accordance with the present invention (but additionally including an enumeration/index value column on the left to help explain the invention). -
FIG. 3 is a table describing the attributes and enumerations of a computer system configuration rule exemplified throughout this disclosure. -
FIG. 4 is a zero-suppressed binary decision diagram (ZDD) representing the original Include component of the configuration rule characterizing compatible or allowable configurations of the computer system described inFIG. 3 . -
FIG. 5 is a ZDD representing the original Exclude component of a product configuration rule characterizing compatible or allowable configurations of the computer system described inFIG. 3 . -
FIG. 6 illustrates removal of unused ZDD nodes (e.g., removal of unused computer configurations) of the Include ZDD shown inFIG. 4 . -
FIG. 7 shows the resultingFIG. 6 ZDD after removal of unused nodes. -
FIG. 8 shows an XOR (exclusive OR) ZDD that is used to expand out the paths in the ZDD ofFIG. 7 to include all of the attributes. -
FIG. 9 shows the ZDD ofFIG. 7 expanded out by the XOR ZDD ofFIG. 8 . -
FIG. 10 is a final AutoSelect ZDD that is used to automatically select attribute enumerations based on initial user-selected enumeration(s). It is a combination of an ASInclude ZDD possessing all possible Included combinations and an ASExclude ZDD having certain Excluded combinations. -
FIG. 11 is an intermediate ZDD generated by a user-selection of the “good” enumeration in the bundles attribute of the illustrated rule, which is a ZDD representation of all valid combinations that haveenumeration 3. -
FIG. 12 shows a series of ZDDs internally generated by the invention in order to produce recommended enumeration selections based on an initial user-selection of the “cheap” enumeration for the bundles attribute. -
FIG. 13 is a table of results generated by the process ofFIG. 12 , which separately shows Include and Exclude enumerations. -
FIG. 14 shows Include advice produced by the invention in the form of two arrays of enumeration inputs called Selection Input Floating and Selection Input Fixed. -
FIG. 15 shows advice indications for the respective Bundles, CPU, DVD, Hard Drive, and Memory attribute groups. -
FIG. 16A shows advice computation using floating AutoSelected Attributes. -
FIG. 16B shows advice computation using a fixed AutoSelect value instead of the floating AutoSelect Attributes. -
FIG. 17 shows the results of NOR'ing Include Results and the Exclude Results to produce an advice array. - AutoSelect is an algorithm that provides automatic selection or identification of a complete set of attributes and enumerations of a rule based on a partial set of attributes and enumerations supplied by a user. AutoSelect may be implemented as a process or a system that implements a process.
- To implement Autoselect, a rule modeler during a rule definition phase designs or builds a rule model while assigning some attributes to be of the AutoSelect type. Once defined, an AutoSelect attribute may have two states, floating (denoted {FL}) or fixed (denoted {FX}). In certain cases, more than two states may be provided but the illustrated embodiments disclosed herein assume only two states.
- In the fixed state, the user has made a choice of the value of an attribute so the particular enumeration value chosen becomes fixed. In the floating state, no value at all for the attribute is fixed and the system or method according to the present invention automatically determines the appropriate enumeration value for the attribute and either selects the value(s) on behalf of the user or communicates the value(s) to the user.
- Complications, however, may arise because enumeration values for AutoSelected attributes must be valid with each other and also valid with other, preferably all, user-selected enumerations. This implies that all valid combinations of such attributes are known all the times. It is relatively easy to ascertain if any one combination is valid but to obtain all valid combinations is a more complex problem. This is similar to the Boolean Satisfiability Problem, which has an NP-complete solution. NP-complete suggests that no polynomial solution is known to exist.
- The example of
FIG. 1 is used throughout this disclosure to describe the invention. The example concerns selecting/defining components of a computer system bundle, e.g., a combination of compatible hardware and software components for a computer system where an end user (or purchaser) is provided with a number of selections. At some point after the user begins the component selection process, the system or method automatically chooses or suggests enumeration values for the remaining attributes (CPU, DVD, etc) that are valid with each other and also valid with prior user selections for the bundle. Afterwards, the user may fine-tune the selections by rejecting one or more of the automatically selected values by changing them to meet his or her particular needs. - The graphical user interface of
FIG. 1 , i.e., ascreen print 100, is presented to a user on a computer monitor. The initial state of enumeration selections shown is valid for all attribute groups, which include Bundles (or quality), CPU speed, DVD speed, hard drive capacity, RAM memory capacity, shipping company, and shipping method. Each such attribute has a number of enumerations. The initial group of attributes and enumerations having a compatible state, in the example ofFIG. 1 , defines a low-quality or “cheap” computer bundle. Selection of the “cheap” enumeration in the “bundles” group causes other attributes, which are AutoSelected, to assume the most recommended valid combination of enumerations within their respective attribute groups. As a whole, the initial group of enumeration selections are the “cheap” selection in CPUtype attribute box 102, “Pentium 4-900 Mhz” inCPU attribute box 104, “1×” speed in DVDtype attribute box 106, “120 Gig” selection in Hard Drivecapacity attribute box 108, “512 MB” in RAM memorysize attribute box 110, “USPS” shipping inshipper attribute box 112, and “Ground” as the shipping method inattribute box 114. The “floating”icons 120 next to the AutoSelect attribute boxes 102-114 indicate that the attribute lays in a floating state, which means that the system or method herein described automatically changes the preselected enumeration values based on alternative user selections. - The icon can be either floating or fixed (example of
fix icon 122 is shown inFIG. 13 ). If the icon is fixed, then the attribute's enumeration value is fixed and cannot be changed automatically. To unfix the enumeration value, a user may click on the icon to toggle it back to floating. - If the user selects the Best value for the enumeration in the
Bundles attribute box 102, as indicated inFIG. 2 , the rule processing system or method thereof automatically effects a change in floating enumeration values of the other attributes 104-114, also indicated inFIG. 2 . With a single change in a user selection, the system or method advantageously automatically selects the proper values for the other six attributes, such as, P6 forCPU type DVD speed 106, one hundred twenty Gigs forhard drive capacity 108, one GB forRAM size 110, USPS forshipper identity 112, and Ground forshipping method 114. Thus, the AutoSelect algorithm and/or apparatus implementing the same guarantees that all of the selections are valid together, and are also valid with the user selection. Since much work in selecting valid hardware/software combinations of the computer bundle is accomplished by the rule processing system, the user need only fine-tune the computer bundle. It should also be noted that even though examples described herein may refer to “all” elements, values, components, etc., “all” need not be required to obtain the benefit of the invention. - In order to support the AutoSelect feature, AutoSelect ZDDs may be built at the time of rule packaging and subsequently used by the execution engine at runtime to determine AutoSelect enumeration values for the various attribute. AutoSelect ZDDs are also used at runtime during advice determination. During creation of the rule, the modeler specifies which attributes are to be AutoSelected. The modeler may also specify the AutoSelect Priority of the attribute. Other details of the process of model creation including the concepts of Attributes, Enumerations, and Packaging remain unchanged from the process described in the common-owned, incorporated Ser. Nos. 10/101,151 and 10/101,154applications.
- During rule packaging, the rule modeler chooses which attributes are to be AutoSelect attributes. Then, the set of other attributes related to the AutoSelected attributes is found. The union of these two sets identifies the attributes involved in the AutoSelect feature.
- A next step involves splitting up of the involved attributes into groups of independent attributes called AutoSelect components. A standard transitive closure routine as described by Judith Gerstling, Mathematical Structures for Computer Science, Forth Edition, W. H. Freeman and Company (1999) is used to split up the attributes into the independent groups. Later, at runtime, these AutoSelect components are processed to determine the valid combinations of AutoSelected enumeration values. Splitting up the AutoSelect attributes into groups reduces the size of the AutoSelect component ZDD.
-
FIG. 3 illustrates an example having sevenattribute groups Attribute groups Attribute groups 5 and 6 (Shipping Company and Shipping Method) define a second AutoSelect component. - Sometimes, when attempting to split the attributes into components for more convenient manipulation, a component may still be too large because too many attributes are interrelated. A method to determine such condition involves counting the number of attributes in an AutoSelect component. If the number of attributes exceeds thirty, for example, the group may be deemed too large. Another method of determining whether the component group is too large entails attempting to create its associated ZDD. If this takes too long or if memory need is exceeded, then the components may be deemed too large.
- If an AutoSelect component is too large, the component may be segmented using another method that splits up the attributes around non-AutoSelected attributes. These attributes are called Critical Attributes.
- The best candidate for a Critical Attribute around which to segment components is an attribute that is non-AutoSelected and related by rules to many other attributes. So another aspect of the invention concerns searching for such attributes. Once these attributes are found, a transitive closure routine is used to split up the attributes as if the Critical Attribute did not exist. Such a routine is further described in sister application filed of even date herewith by the same inventors hereof, entitled “Rule Processing Method and Apparatus Providing Exclude Cover Removal To Simplify Selection and/or Conflict Advice.” This creates a number of groups that are again independent of each other, except that only the Critical Attribute(s) relates these groups to each other
- If a Critical Attribute is found that splits up the AutoSelect components sufficiently, the system or method adds the Critical Attribute to all of these groups and continues. Otherwise, the next most related attribute is used as the Critical Attribute and the group is split again.
- In the illustrated example, there are two AutoSelect components and both of the components have less than thirty attributes. Thus, the components need not be further segmented.
- At this point one or more AutoSelect components exists; a list of the set of attributes in each component; and a set of zero, one, or more critical attributes for each component, all of which must be provided to the runtime engine for proper execution. In addition, the attributes in each of the AutoSelect Components must be placed in an AutoSelect Priority order prior to execution. The illustrated system or method establishes an arbitrary order by ranking the attributes in alphabetical order of their names and then allows the modeler to make any further adjustments desired.
- The two AutoSelect components in the illustrated example are put into AutoSelect Priority order as
attributes - After determining the AutoSelect components, ZDDs for each of these groups are created. The resulting ZDDs thus contain every valid combination for each AutoSelect component and may therefore grow quite large, thus the importance of making each component as small as possible.
- In the exemplary model, valid combinations are split between Exclude
ZDD 130 and IncludeZDD 140 respectively shown inFIGS. 4 and 5 . As subsequently described, the system or method incrementally creates a new ASInclude ZDD. The new ZDD has the same structure as the Include ZDD in the '151 or '154application. The following processes are performed for each AutoSelect component: -
- Reordering the ZDDs
- Removing Unused Enumerations
- Adding Always Paths to Include ZDD
- Transferring Exclude to Include ZDD
- Removing Excluded Paths
- Storing the ZDD in a pac file.
- These steps are described in detail below for one of the AutoSelect components with the understanding that the same or similar steps are performed with respect to the other component(s). The Include and Exclude ZDDs are the result of packaging the rules in the rule model as described in the related disclosures. The ASInclude ZDD 130 (
FIG. 4 ) started out as a copy of the Include ZDD representing the configuration of rule attributes and enumerations of theFIG. 3 rule model while the ASExclude ZDD 140 (FIG. 5 ) started out as a copy of Exclude ZDD of theFIG. 3 rule model. - Using standard ZDD reordering algorithms described in F. Somenzi, CUDD: CU Decision Diagram Package, http://vlsi.colorado.edu/˜fabio/CUDD, the
ASInclude ZDD 130 and theASExclude ZDD 140 are reordered to place the enumerations for the first AutoSelect components at the top of the respective ZDDs in the same order. By placing them in the same order it is possible to perform meaningful operations between the two ZDDs. - As shown in
FIG. 4 , theexemplary ASInclude ZDD 130 includesenumeration nodes 4 through 22.Enumeration nodes 17 through 22 (e.g., selections for Shipping Company and Shipping Method) are not involved in the first AutoSelect component, so after reordering they are placed at the bottom ofZDD 130. This is where they were initially so the ASInclude ZDD does not change in this step. - As shown in
FIG. 5 , the ASExclude ZDD includesenumeration nodes ASExclude ZDD 140 was the same as that applied to the ordering of theASInclude ZDD 130 so the ASExclude ZDD remains the same after reordering. -
FIG. 6 illustrates removal of enumeration nodes from the resulting ASInclude ZDD that were not involved in any of the AutoSelect components. The routine that does this removal requires that any unused enumerations at the bottom of the ZDD.FIG. 6 shows theASInclude ZDD 130 from our example for the first AutoSelect component with the nodes in the ZDD to be removed (i.e., nodes 17-22) being marked by an “X” through them. - The algorithm to do this traverses every path in the
ASInclude ZDD 132. As indicated above, it is essential that the enumerations in this AutoSelect component be located at the top of theASInclude ZDD 132. As the algorithm traverses the paths, it checks if the node index is to be removed. When it hits the first node to be removed, the algorithm immediately reroutes that edge to the constant “1”node 134. - In the illustrated example, the algorithm traverses down from
node 4 tonode 16, examines the THEN leg ofnode 16 to findnode 17, which is the topmost enumeration to be removed, and so the THEN leg ofnode 16 is rerouted to the constant “1”node 134. - This traversing and rerouting occurs for every path in the ZDD and eventually, nothing will be pointing to
node 17. At thatpoint node 17 and all the nodes below it have been removed from the ZDD. - The ZDD of
FIG. 7 shows the result of removing unused enumerations of theASInclude ZDD 132, which it now becomes the new or modifiedASInclude ZDD 136. The “one”node 138 lies at the bottom ofZDD 136. - The ASInclude ZDD of
FIG. 7 for the AutoSelect component now has all of the possible included paths. These paths are not complete because they only containenumeration nodes 4 through 16. A next step involves expanding out the paths to include all of the attributes in the AutoSelect component. - An “Add Always” routine adds cover details for all attributes from the AutoSelect component that reside only in the ASExclude ZDD. A cover or “set cover” is defined by National Institute of Science and Technology at http://www.nist.gov/dads/HTML/setcover.html. See also, http://www.cs.sunysb.edu/˜algorith/files/set-cover.shtml. Cover details are also explained in commonly-owned copending provisional application Ser. No. 60/721,089, incorporated herein.
- In our example,
Attribute 0 resides only in the ASExclude ZDD, but not the ASInclude ZDD. According to the present invention, an aspect thereof adds an XOR cover for “0” attribute.ZDD 150 ofFIG. 8 shows the XOR cover that is added to (i.e., combined by multiplying) the ASInclude ZDD. If there was another attribute residing only in the ASExclude ZDD, an aspect of the invention would effect adding in another XOR cover for that attribute. The standard UnateProduct of algorithm described in F. Somenzi, CUDD: CU Decision Diagram Package, is used to “multiply” the two ZDDs. - The resulting
ZDD 152 ofFIG. 9 contains all included combinations for the AutoSelect component.ZDD 152 thus becomes the new or modified ASInclude ZDD. The next step involves removing those combinations that are excluded by the ASExclude ZDD. - The rule processing system or method may employ a ZDD manager to keep ZDDs with different ordering and sets of enumerations separated so as to minimize the total amount of memory needed to process the ZDDs. The ZDD manager also keeps the ordering information and the canonicity of its ZDDs.
- At this point there is produced an ASInclude ZDD with all possible Included combinations and an ASExclude ZDD that contains the combinations to be excluded. The two ZDDs may be maintained by separate ZDD managers. Before removal of the excluded paths from the ASInclude ZDD, both the ASInclude ZDD and ASExclude ZDD are preferably handled by the same ZDD manager. To accomplish this, the ASExclude ZDD may be transferred into the ASInclude ZDD manager space.
- The transfer routine is called TransferZDD, which transfers a ZDD from one ZDD manager space to another. It decomposes a ZDD in its existing ZDD manager using a Shannon Expansion described in C. E. Shannon, The synthesis of two-terminal switching circuits, Trans. of the American Institute of Electrical Engineers, 28, 1, 59-98, (1949), and then reassembles the ZDD in the new manager space using a ZddITE operation. ITE is shorthand for If-Then-Else.
- Both of these routines, TransferZDD and ZddITE, are similar to standard routines written for BDDs, as explained in F. Somenzi, CUDD: CU Decision Diagram Package.
- The ASExclude ZDD in the new ZDD manager space looks exactly like it did in the ASExclude ZDD manager, but it has different node memory addresses because it is now ordered and managed by the ASInclude ZDD manager.
- With both ZDDs being handled by the same manager, operations can be performed that involve both ZDDs, including removal of excluded combinations from the ASInclude ZDD.
- This operation can result in relatively large ZDDs because the information from two ZDD is merged into a single ZDD. Specifically, all possible valid combinations are represented in one ZDD. Care should be taken to minimize the size of the ASInclude and ASExclude ZDDs up to this point.
- After all of the excluded combinations have been removed from the ZDD, there is produced a
Final ZDD 154, as shown inFIG. 10 . At this point, theFinal ZDD 154 may be reordered using conventional reordering techniques of F. Somenzi, CUDD: CU Decision Diagram Package, in order to reduce its size. - The
Final AutoSelect ZDD 154 ofFIG. 10 is stored in a packaged file for the AutoSelect component using the techniques described in the related disclosures Ser. Nos. 10/101,151 and 10/101,154. Both AutoSelect component ZDDs are processes similarly. - When the AutoSelect ZDDs are built at runtime, they may be constructed as described above with respect to packaging. To implement the AutoSelect feature at runtime, the steps (Reordering ZDDs, Removal Unused Enumerations, Adding Always Paths to Include, Transferring Exclude to Include, and Removal of Excluded Paths) as described above are performed upon loading of the execution engine. Also, the steps described above need only be performed once per AutoSelect component. So the runtime engine may also perform those operations and cache the results for future iterations. At the beginning of every execution engine cycle, the same AutoSelect component ZDD is used and a Fix Selections routine (described later) is called.
- Putting this type of code into the execution engine requires a more sophisticated execution engine. Depending upon the implementation language, the runtime execution engine may be over worked. Creating all of the AutoSelect Component ZDDs at packaging time has advantage in that precious time may be saved during runtime and that the runtime engine only has to deal with executing the AutoSelect ZDDs.
- For every AutoSelect component, packaging creates a list of the attributes in the component, an AutoSelect ASInclude ZDD, and a list of critical attributes.
- The list of attributes contains all of the attributes involved in the AutoSelect component. This list is sorted in an AutoSelect Priority order. At design time, a rule modeler assigns an AutoSelect Priority value to every auto-selectable attribute. Any ties in the ordering are resolved by alphabetically sorting the attribute name. If the modeler does not set the AutoSelect Priority for attributes, the AutoSelect Priority order is alphabetical by attribute name.
- The AutoSelect ASInclude ZDD has all valid combinations for all of the attributes in this AutoSelect Component. The preceding section described in detail how to create an ASInclude ZDD.
- The critical attribute list has all of the attributes determined to be critical during rule packaging. An attribute is only selected to be a critical attribute if it was defined, for example, to never allow a floating state. Thus, it may be an illegal condition for any of the critical attributes to be found in a floating state at run time.
- The system cannot determine the floating AutoSelect values for the AutoSelect Component when in this illegal state. So, if any critical attribute is floating, the system or method sets all of the floating AutoSelect attributes in the AutoSelect component to their default value, and exits the AutoSelect algorithm.
- A FixSelections routine is used by AutoSelect to find the best combination based on the current set of user inputs. Every attribute in the AutoSelect component has an enumeration selected and the system or method finds the best enumeration for each attribute. During creation of the AutoSelect component, the attribute list is placed in AutoSelect Priority order so it becomes a matter of finding the best enumeration value for each attribute in that order.
- A Recommended Order routine is used to find the best enumeration. At the time of rule design, the modeler may specify the order in which enumerations are recommended. If the Recommended Order is not specified, the method of apparatus of the invention may be arranged to default to an alphabetical order by enumeration name.
- For the illustrated example, the AutoSelect Priority is alphabetical and the Recommended Order for each attribute is also alphabetical. It is then considered how to handle AutoSelecting the enumerations for the first AutoSelect Component.
- The operation is started by obtaining all of the attribute values for non-AutoSelected attributes in the group.
- In the illustrated example, it is shown what happens when a user selects the “Good” enumeration from the “Bundle” attribute 102 (
FIG. 1 ), which isenumeration 3 inFIG. 11 . The AutoSelect feature starts with the ASInclude ZDD. Then, it removes all paths that do not have theenumeration 3 in them. The resultingZDD 156 is shown inFIG. 11 , which is a Zdd representation of all valid combinations that haveenumeration 3. There are twelve paths inZDD 156, which means that there are twelve valid combinations that use the “Good” enumeration. - If the
ZDD 156 was empty at this point, then there are no valid combinations having the user selection. This means that, with the given values for the non-AutoSelected attributes, there were no valid combinations of AutoSelect values. In this case, the AutoSelect feature of the invention sets all of the floating attributes to their default enumeration values, and is done. - If the
ZDD 156 is not empty, there are one or more valid combinations. The AutoSelect feature now seeks to find the best valid combination. - At this point, AutoSelect goes through the ordered list of attributes in the AutoSelect component to find the highest recommended enumeration for each attribute. The existence of an enumeration in the
ZDD 154 implies that it resides in some valid combination(s). AutoSelect may then fix this value in the ZDD and look to the next attribute in the AutoSelect Component. When all the attributes have fixed enumerations, the combination is valid and the system or method provides to the user these enumerations as recommended selections for the AutoSelect Attributes. -
FIG. 12 illustrates the steps of providing advice to a user. Notice that the more selection the system makes, the more refined the ZDD becomes and the fewer valid combinations are available. -
- Step1:
Enumeration 3 inZDD 158 is fixed because the user selected the Good Bundle. - (In steps Step2-Step5: the attributes are fixed from the AutoSelect Attribute list.)
- Step2:
Enumeration 4 inZDD 160 is the highest recommended enumeration for CPU attribute. Note thatenumeration 5 is removed. - Step3:
Enumeration 8 inZDD 162 is the highest recommended enumeration for DVD attribute. - Step4:
Enumeration 11 inZDD 164 is the highest recommended enumeration for Hard Drive attribute. Enumerations 12 and 13 are removed. - Step5:
Enumeration 14 inZDD 166 is the highest recommended enumeration for Memory attribute.Enumeration 16 is removed. At this point there is a single valid path. These enumeration values are used as the selections for the AutoSelected Attributes.
- Step1:
- The related disclosures describe, in detail, how to generate advice for a set of user selections on a given set of attributes. The present invention extends that advice generation to handle AutoSelected attributes. The AutoSelect operation is completed before the advice routine starts, but the results of the AutoSelect operation are used by the advice routine in several ways.
- If there are no valid AutoSelect combinations, the AutoSelect feature selects default values for all AutoSelect attributes. This has an effect on advice for any related attributes. After auto-selections are determined (whether valid or invalid), user advice for each enumeration is determined, one attribute group at a time. The advice computation comprises three steps, with context switching based on whether the attribute group is an auto-select group with no user selections. Include and Exclude advice differs in their respective computations.
-
FIG. 13 summarizes how advice is computed using AutoSelect Attributes. The Cheap selection ofBundle attribute group 172 and the P4 selection ofCPU attribute group 174 are selected. On the left side ofFIG. 13 arecolumns results 184. The left Exclude Column is computed with fixed selections, and the right Exclude Column is computed with the floating selections. TheResult column 186 is a NOR operation between the Include and the Excludecolumns -
FIG. 15 shows advice indications for the respective Bundles, CPU, DVD, Hard Drive, and Memory attribute groups inrow 196. Selectable enumerations for the groups appear inrow 197. For Include advice, AutoSelect creates twoarrays 192 and 194 (FIG. 14 ) of enumeration inputs, one called Selection Input Floating and a second called Selection Input Fixed.Array 192 has all of the user selections and preferably all of the floating AutoSelect attributes with their AutoSelected values.Array 194 has all of the user selections and preferably all of the floating AutoSelect attributes are seen as if they were floating. As the advice for each attribute is calculated, the attribute values for related attributes are pulled from one of these arrays. If the attribute is a floating AutoSelect attribute, the values for the Selection Input Fixed array are used. All other attributes use the values from the Selection Input Floating array. - As describe above, Include Advice uses one of the two input arrays shown in
FIG. 14 , depending upon whether or not an AutoSelect attribute is floating, to generate the Include result depicted inFIG. 15 . The computation of Include Advice values, however, is unchanged from that shown in incorporated application Ser. No. 10/101,151 (now U.S. Pat. No. 6,965,887). - The illustrated example assumes that the user has made a selection of the “Cheap” enumeration in the Bundles attribute group and “1×” in the DVD attribute group. Advice for all five groups will proceed with two initial contexts. For Bundles and DVD, since they are attribute groups with a user selection of enumerations, CPU, Hard Drive and Memory will appear as if they are floating since no selection has been made.
- The Advice module for the Include rules will return all pluses (e.g., “available” or “compatible” selections) in both of these attributes since they are not in any Include rule together (the example assumes that Bundles and DVD reside in an Exclude rule, and that DVD, CPU, Hard Drive and Memory reside in an Include rule).
- Since all other attributes are considered floating, they cannot affect the advice associated with Bundles and DVD selections. For CPU, Hard Drive and Memory, all attributes will appear as if they have a selection (with the auto-selection appearing as the selection in auto-selected attributes). Hence, CPU will show a “+” sign on “P4”, as “P4” is the only valid selection with the “Cheap” selection. Hard Drive will show all pluses, and Memory will show a “+” on “512 MB” (the only valid choice with “Cheap”). In
FIG. 15 , the “0” notation inrow 198 is associated with a “minus” notation for user advice while the “1” notation is associated with a “plus” notation for user advice. -
FIGS. 16A and 16B show Exclude advice. Determination of Exclude advice is simultaneously performed for all attributes as described in the aforementioned incorporated patent applications Ser. Nos. 10/101,151(now U.S. Pat. 6,965,887) and 10/01,154, so the process for determining whether to use the AutoSelected or floating values for AutoSelected attributes is different. To support AutoSelect, Exclude advice is calculated twice, once with AutoSelected attributes in a floating state and once with AutoSelected attributes using their AutoSelected values. InFIG. 16A ,row 200 identities the attribute groups,row 201 indicates selectable enumerations for the respective attribute groups, androw 202 indicates advice. InFIG. 16B ,row 203 also represents advice provided to the user. - The grids of
FIGS. 16A and 16B show the resulting Exclude advice results inrow FIG. 16A shows advice computation inrow 202 using floating AutoSelected Attributes.FIG. 16B shows advice computation inrow 203 using a fixed AutoSelect value instead of the floating AutoSelect Attributes. The significance and interpretations of the results shown inrows FIG. 15 . -
FIG. 17 illustrates details the changes from the overall advice disclosed in incorporated disclosures Ser. Nos. 10/101,151(now U.S. Pat. No. 6,965,887) and 10/01,154 where the Include Results and the Exclude Results are NOR'ed to produceadvice array 206. InFIG. 17 ,row 204 identifies the attribute group,row 205 identifies enumerations within the respective attribute groups, androw 206 indicates the advice provided to the user. To support AutoSelect, the NOR operation considers both of the ExcludeResult arrays 202 and 203 (FIGS. 16A and 16B). During the NOR operation, the system uses the values from the floating array for attributes that are fixed, and from the fixed array for attributes that are floating. - As described in the incorporated related disclosures, Autoselect inspects each enumeration in the Include Result array from left to right. The difference here is that if the enumeration is in a floating AutoSelect attribute, the system or method uses the enumeration value from the Exclude Fixed
Result array 202, and if the enumeration is from a fixed attribute, the system uses the enumeration value from the Exclude FloatingResult array 203. AutoSelect uses those values to produce the final NOR resultarray 206 shown inFIG. 17 . In other words, the results/advice shown in array 206 (FIG. 17 ) results from a NOR operation of the results/advice ofarrays 202 and 203 (FIGS. 16A and 16B ). - According to the illustrated example, it is seen that AutoSelect feature may be implemented as a method or in a computer apparatus to facilitate the selection of choices by a user during rule processing or decision automation. AutoSelect may be deployed to assist a user in processing a business or engineering rule. Although shown with a single user input, any number of available attributes may be designated user-selectable, “floating,” or “fixed.” DAGs or BDDs, under certain circumstances may also be used to carry out the invention. The underlying teachings hereof may also be emulated to achieve the same or similar result. Accordingly, the invention is not limited by the illustrated examples but includes all such variations and emulations as may come within the scope of the appended claims.
Claims (24)
1. In a computer-implemented rule processing system utilizing a ZDD representation of a rule that responds to user inputs to provide advice that guides a user to achieve compliancy of said rule, an improvement comprising:
an autoselect system implemented with said rule processing system to identify a set of compliant inputs of said rule based on at least one user input selected by said user, said autoselect system including a user interface to enable the user to select said at least one user input and a processor to automatically generate and indicate to said user other compliant inputs of said set based on said at least one user input.
2. The improvement of claim 1 , wherein said inputs comprises enumerations of attributes of a business or engineering rule.
3. The improvement of claim 2 , wherein said autoselect system builds an autoselect ZDD based on compliant inputs of said rule and processes the autoselect ZDD to produce set of compliant selections for said inputs.
4. The improvement of claim 3 , wherein said autoselect system separately builds an autoselect Include ZDD and an autoselect Exclude ZDD to represent said autoselect ZDD.
5. The improvement of claim 4 , wherein said autoselect system reorders nodes of said autoselect Include ZDD and autoselect Exclude ZDD to reduce the complexity thereof.
6. The improvement of claim 5 , wherein nodes of said ZDDs have respective index numbers associated with said attributes and enumerations thereof and said autoselect system aligns the indices of respective nodes of said autoselect Include and autoselect Exclude ZDDs to facilitate processing.
7. The improvement of claim 6 , wherein said autoselect system builds and stores the autoselect ZDD during rule packaging whereby to reduce processing time during execution of said rule processing system.
8. The improvement of claim 6 , wherein said autoselect system builds the autoselect ZDD on-the-fly during runtime of said computer-implemented rule processing system.
9. In a computer-implemented rule processing system utilizing a ZDD rule model that responds to selection of enumerations of attributes in order to provide selection advice to a user for achieving compliancy of said rule model, an improvement comprising:
an autoselect system implemented with said rule processing system to provide additional compliant selections based on at least one initial input enumeration of said user, said autoselect system including a user interface to enable the user to select said initial input enumeration; an autoselect ZDD constructed from compliant enumerations of said rule model; and a processing module responsive to said initial input enumeration of said user to automatically provide said additional compliant selections of enumerations.
10. The improvement of claim 9 , wherein said processing module divides said autoselect ZDD into an autoselect Include ZDD and an autoselect Exclude ZDD prior to automatically providing said user with additional compliant selections.
11. In combination with a rule processing system employing a ZDD rule model indicative of a business or engineering rule to provide decision support to a user, a computer-implemented system to automatically identify compliant inputs for the rule processing system according to at least one user input, said computer-implemented system comprising:
an I/O interface to enable the user to choose and observe inputs,
an autoselect ZDD constructed from compliant inputs of said rule model, and
a ZDD processing module that processes said autoselect ZDD in order to provide for the user a set compliant inputs for said ZDD rule model according to said at least one user input.
12. The computer-implemented system of claim 11 , wherein said processing module enables the user to change an initial user input and, in response thereto, provides alternative compliant inputs based on a change in said initial user input.
13. A computer-implemented rule processing system to determine satisfiability of a business or engineering rule represented by a zero-suppressed binary decision diagram (ZDD) rule model, said system comprising:
an execution module to indicate compliancy of said rule according to selection of attributes and enumerations values for said attributes,
an autoselect module that provides automatic selection of enumeration values based on selection of an initial value for at least one enumeration,
a user interface to enable a user to select a value for at least one enumeration, and
a processing module to determine compliant enumeration values for other attributes according to the enumeration value selected by said user and to provide said compliant enumeration values of said other attributes to said user.
14. The computer-implement system of claim 13 , wherein said processing module iteratively enables said user to select an alternative enumeration value whereby, in response, said processing module determines and identifies other compliant enumeration values based on said alternative enumeration value selected by said user.
15. In a computer-implemented rule processing method to determine satisfiability of a ZDD representation of a business or engineering rule, a method of providing a set of compliant enumeration values for respective attributes of said rule comprising:
obtaining a user selection of at least one enumeration value of an attribute,
determining a set of compliant enumeration values of other attributes according to said user selection,
providing a complete set of compliant enumeration values to said user, and
iteratively enabling said user to select other enumeration values whereby to provide further complete sets of compliant enumeration values to said user.
16. In a computer-implemented method of rule processing utilizing a zero-suppressed binary decision diagram (ZDD) to provide decision support, a method of automatically providing a user with additional compliant inputs based on at least one user input supplied by said user, said method comprising:
providing a user interface to indicate possible inputs to the ZDD,
enabling the user to enter at least one input,
in response to an input entered by said user, generating a set of additional inputs that are compliant with each other and compliant with said input entered by said user, and
indicating the set of additional compliant inputs to said user.
17. The method of claim 16 , further comprising providing inputs in the form of attributes and enumeration values of said attributes.
18. The method of claim 17 , wherein said generating step includes building an autoselect ZDD based on compliant inputs of a ZDD rule and processing the autoselect ZDD to produce a complete set of compliant inputs to the ZDD rule according to said at least one input entered by said user.
19. The method of claim 18 , wherein said generating step further includes separately building an autoselect Include ZDD and an autoselect Exclude ZDD to represent said autoselect ZDD whereby to facilitate ZDD manipulation.
20. The method of claim 19 , wherein the separately building step includes reordering nodes of said autoselect Include and autoselect Exclude ZDDs to reduce the number of nodes and complexity thereof.
21. The method of claim 20 wherein nodes of the ZDDs have respective index numbers associated with said attributes and enumeration values thereof and said separately building step includes aligning the indices of the respective nodes of said autoselect Include and autoselect Exclude ZDDs to facility ZDD manipulations.
22. The method of claim 21 , further comprising separately building and storing the autoselect ZDD during rule packaging whereby to reduce processing time during execution of said rule processing system.
23. The method of claim 21 , further comprising separately building and storing said autoselect ZDD on-the-fly during runtime of said computer-implemented rule method.
24. A computer readable medium to effect automatic identification of inputs during automated rule processing of a ZDD rule by a data processing system, said medium comprising program instructions to effect display on a graphical user interface of selectable inputs for the ZDD rule, to effect selection by said user of at least one input, to build an autoselect ZDD from compliant inputs of said ZDD rule, to generate a set of compliant inputs based on an input selected by said user, and to indicate to said user said set of compliant inputs according to an input selected by said user.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/797,573 US20100318476A1 (en) | 2001-03-21 | 2010-06-09 | Rule processing method and apparatus providing automatic user input selection |
Applications Claiming Priority (6)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US27865501P | 2001-03-21 | 2001-03-21 | |
US10/101,151 US6965887B2 (en) | 2001-03-21 | 2002-03-20 | Rule processing methods for automating a decision and assessing satisfiability of rule-based decision diagrams |
US10/101,154 US7188091B2 (en) | 2001-03-21 | 2002-03-20 | Rule processing system |
US72109005P | 2005-09-28 | 2005-09-28 | |
US11/527,638 US7761397B2 (en) | 2001-03-21 | 2006-09-27 | Rule processing method and apparatus providing automatic user input selections |
US12/797,573 US20100318476A1 (en) | 2001-03-21 | 2010-06-09 | Rule processing method and apparatus providing automatic user input selection |
Related Parent Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US11/527,638 Continuation US7761397B2 (en) | 2001-03-21 | 2006-09-27 | Rule processing method and apparatus providing automatic user input selections |
Publications (1)
Publication Number | Publication Date |
---|---|
US20100318476A1 true US20100318476A1 (en) | 2010-12-16 |
Family
ID=39244367
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US11/527,638 Expired - Fee Related US7761397B2 (en) | 2001-03-21 | 2006-09-27 | Rule processing method and apparatus providing automatic user input selections |
US12/797,573 Abandoned US20100318476A1 (en) | 2001-03-21 | 2010-06-09 | Rule processing method and apparatus providing automatic user input selection |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US11/527,638 Expired - Fee Related US7761397B2 (en) | 2001-03-21 | 2006-09-27 | Rule processing method and apparatus providing automatic user input selections |
Country Status (2)
Country | Link |
---|---|
US (2) | US7761397B2 (en) |
WO (1) | WO2008011639A2 (en) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090228420A1 (en) * | 2003-09-29 | 2009-09-10 | Verde Sabor Assets, L.L.C. | Rule processing method, apparatus and computer-readable medium to provide improved selection advice |
US20090313201A1 (en) * | 2002-03-20 | 2009-12-17 | Huelsman David L | Method and system for capturing business rules for automated decision procession |
US20130060801A1 (en) * | 2011-08-31 | 2013-03-07 | Robert Irven Beaver, III | Product Options Framework And Accessories |
US9147213B2 (en) | 2007-10-26 | 2015-09-29 | Zazzle Inc. | Visualizing a custom product in situ |
US9378029B2 (en) | 2014-03-17 | 2016-06-28 | Sharp Laboratories Of America, Inc. | Rules based user interface architecture |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090299797A1 (en) * | 2008-05-30 | 2009-12-03 | Microsoft Corporation | Infrastructure planning and design series architecture education framework |
US8245191B2 (en) * | 2008-07-03 | 2012-08-14 | International Business Machines Corporation | Policy application rules for automated configuration of software components |
US8626476B2 (en) | 2010-08-31 | 2014-01-07 | Hewlett-Packard Development Company, L.P. | Determining the impact of elements in a technology system |
US20130018850A1 (en) * | 2011-07-12 | 2013-01-17 | Kevin Houlihan | System And Method For Product Customization Synchronization |
US10303808B2 (en) * | 2014-05-16 | 2019-05-28 | Configit A/S | Product configuration |
EP3288222B1 (en) * | 2015-05-15 | 2019-11-13 | Mitsubishi Electric Corporation | Packet filtering device and packet filtering method |
US10325063B2 (en) * | 2016-01-19 | 2019-06-18 | Ford Motor Company | Multi-valued decision diagram feature state determination |
FR3061337A1 (en) | 2016-12-23 | 2018-06-29 | Dhatim | UNIVERSAL AND OPTIMIZED RULES ENGINE FOR THE PROCESSING OF MANAGEMENT DOCUMENTS |
Citations (67)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5212771A (en) * | 1990-04-27 | 1993-05-18 | Bachman Information Systems, Inc. | System for establishing concurrent high level and low level processes in a diagram window through process explosion and implosion subsystems |
US5301284A (en) * | 1991-01-16 | 1994-04-05 | Walker-Estes Corporation | Mixed-resolution, N-dimensional object space method and apparatus |
US5311424A (en) * | 1991-06-28 | 1994-05-10 | International Business Machines Corporation | Method and system for product configuration definition and tracking |
US5367619A (en) * | 1990-04-27 | 1994-11-22 | Eaton Corporation | Electronic data entry system employing an expert system to facilitate generation of electronic data forms with complex interrelationships between fields and subforms |
US5576965A (en) * | 1992-04-16 | 1996-11-19 | Hitachi, Ltd. | Method and apparatus for aiding of designing process |
US5630025A (en) * | 1994-07-13 | 1997-05-13 | Unisys Corporation | Generalized configurator using a declaratively constructed two-level bi-partite graph as a knowledge representation |
US5701400A (en) * | 1995-03-08 | 1997-12-23 | Amado; Carlos Armando | Method and apparatus for applying if-then-else rules to data sets in a relational data base and generating from the results of application of said rules a database of diagnostics linked to said data sets to aid executive analysis of financial data |
US5745765A (en) * | 1995-10-23 | 1998-04-28 | Calico Technology, Inc. | Method and apparatus for automatic and interactive configuration of custom products |
US5805462A (en) * | 1995-08-18 | 1998-09-08 | Vlsi Technology, Inc. | Automatic synthesis of integrated circuits employing boolean decomposition |
US5809212A (en) * | 1993-07-12 | 1998-09-15 | New York University | Conditional transition networks and computational processes for use interactive computer-based systems |
US5844554A (en) * | 1996-09-17 | 1998-12-01 | Bt Squared Technologies, Inc. | Methods and systems for user interfaces and constraint handling configurations software |
US5877966A (en) * | 1994-05-31 | 1999-03-02 | Pantheon Solutions, Inc. | System and method for creating configurations using templates |
US5889993A (en) * | 1996-10-15 | 1999-03-30 | The Regents Of The University Of California | Predictive event tracking method |
US5910898A (en) * | 1995-12-14 | 1999-06-08 | Viewlogic Systems, Inc. | Circuit design methods and tools |
US5924077A (en) * | 1995-12-29 | 1999-07-13 | Sapient Solutions, Llc | Computer based system for monitoring and processing data collected at the point of sale of goods and services |
US5963953A (en) * | 1998-03-30 | 1999-10-05 | Siebel Systems, Inc. | Method, and system for product configuration |
US5987473A (en) * | 1997-09-09 | 1999-11-16 | Beologic A/S | Interactive configuration via network |
US6002854A (en) * | 1993-03-29 | 1999-12-14 | Trilogy Developmetn Group, Inc. | Method and apparatus for configuring systems |
US6016394A (en) * | 1997-09-17 | 2000-01-18 | Tenfold Corporation | Method and system for database application software creation requiring minimal programming |
US6031984A (en) * | 1998-03-09 | 2000-02-29 | I2 Technologies, Inc. | Method and apparatus for optimizing constraint models |
US6035305A (en) * | 1997-08-29 | 2000-03-07 | The Boeing Company | Computer-based method of structuring product configuration information and configuring a product |
US6064982A (en) * | 1997-11-12 | 2000-05-16 | Netscape Communication Corporation | Smart configurator |
US6076080A (en) * | 1997-11-04 | 2000-06-13 | The Standard Register Company | Forms order entry system |
US6163876A (en) * | 1998-11-06 | 2000-12-19 | Nec Usa, Inc. | Method for verification of RTL generated from scheduled behavior in a high-level synthesis flow |
US6182275B1 (en) * | 1998-01-26 | 2001-01-30 | Dell Usa, L.P. | Generation of a compatible order for a computer system |
US6226656B1 (en) * | 1998-11-12 | 2001-05-01 | Sourcefinder, Inc. | System and method for creating, generating and processing user-defined generic specs |
US6256618B1 (en) * | 1998-04-23 | 2001-07-03 | Christopher Spooner | Computer architecture using self-manipulating trees |
US20010029499A1 (en) * | 1999-12-30 | 2001-10-11 | Tuatini Jeffrey Taihana | Rules processing system |
US6321186B1 (en) * | 1999-05-03 | 2001-11-20 | Motorola, Inc. | Method and apparatus for integrated circuit design verification |
US6327581B1 (en) * | 1998-04-06 | 2001-12-04 | Microsoft Corporation | Methods and apparatus for building a support vector machine classifier |
US6349290B1 (en) * | 1998-06-30 | 2002-02-19 | Citibank, N.A. | Automated system and method for customized and personalized presentation of products and services of a financial institution |
US6385617B1 (en) * | 1999-10-07 | 2002-05-07 | International Business Machines Corporation | Method and apparatus for creating and manipulating a compressed binary decision diagram in a data processing system |
US6389576B1 (en) * | 1999-09-02 | 2002-05-14 | Sun Microsystems, Inc. | Method and apparatus for optimizing real functions in Boolean domain |
US6396488B1 (en) * | 1999-01-04 | 2002-05-28 | Corel Inc. | System and method for determining a path in a graphical diagram |
US20020065701A1 (en) * | 2000-11-30 | 2002-05-30 | Kim Kyu Dong | System and method for automating a process of business decision and workflow |
US20020078431A1 (en) * | 2000-02-03 | 2002-06-20 | Reps Thomas W. | Method for representing information in a highly compressed fashion |
US20020095645A1 (en) * | 2001-01-16 | 2002-07-18 | International Business Machines Corporation | Searching for counter-examples intelligently |
US6424962B1 (en) * | 1993-11-26 | 2002-07-23 | Bull S.A. | Method of automated proving for unrestricted first-order logic |
US20020108093A1 (en) * | 2000-12-11 | 2002-08-08 | Intel Corporation | Method and system for formal verification of a circuit model |
US20020112213A1 (en) * | 2001-02-13 | 2002-08-15 | Abadir Magdy S. | Design analysis tool for path extraction and false path identification and method thereof |
US6442732B1 (en) * | 1999-04-21 | 2002-08-27 | Lucent Technologies, Inc. | Virtual logic system for solving satisfiability problems using reconfigurable hardware |
US20020165701A1 (en) * | 2000-12-08 | 2002-11-07 | Jakob Lichtenberg | Method of configuring a product |
US20020178432A1 (en) * | 2000-08-17 | 2002-11-28 | Hyungwon Kim | Method and system for synthesizing a circuit representation into a new circuit representation having greater unateness |
US6519767B1 (en) * | 1995-06-07 | 2003-02-11 | Microsoft Corporation | Compiler and method for automatically building version compatible object applications |
US6529890B1 (en) * | 1998-08-19 | 2003-03-04 | Ensys, Inc. | Method for representing synoptic climatology information in a class-object-attribute hierarchy and an expert system for obtaining synoptic climatology information |
US6535883B1 (en) * | 1999-08-04 | 2003-03-18 | Mdsi Software Srl | System and method for creating validation rules used to confirm input data |
US6556978B1 (en) * | 1999-03-09 | 2003-04-29 | The State Of Oregon Acting By And Through The State Board Of Higher Education On Behalf Of The University Of Oregon | Satisfiability algorithms and finite quantification |
US6567814B1 (en) * | 1998-08-26 | 2003-05-20 | Thinkanalytics Ltd | Method and apparatus for knowledge discovery in databases |
US6598035B2 (en) * | 1995-11-17 | 2003-07-22 | International Business Machines Corporation | Object oriented rule-based expert system framework mechanism |
US6651096B1 (en) * | 1999-04-20 | 2003-11-18 | Cisco Technology, Inc. | Method and apparatus for organizing, storing and evaluating access control lists |
US20030220926A1 (en) * | 2001-03-21 | 2003-11-27 | Huelsman David L. | Rule processing system |
US6658458B1 (en) * | 2000-06-22 | 2003-12-02 | Cisco Technology, Inc. | Cascading associative memory arrangement |
US6741975B1 (en) * | 1999-09-01 | 2004-05-25 | Ncr Corporation | Rule based expert system for consumer preference |
US20040138988A1 (en) * | 2002-12-20 | 2004-07-15 | Bart Munro | Method to facilitate a search of a database utilizing multiple search criteria |
US20040181500A1 (en) * | 2002-03-20 | 2004-09-16 | Huelsman David L. | Method and system for capturing business rules for automated decision procession |
US6795832B2 (en) * | 2001-10-09 | 2004-09-21 | Hewlett-Packard Development Company, L.P. | Rule based compatibility module |
US20040260667A1 (en) * | 2001-03-21 | 2004-12-23 | Huelsman David L. | Method of providing decision automation |
US20050080648A1 (en) * | 2003-09-29 | 2005-04-14 | Huelsman David L. | Rule processing method, apparatus, and computer-readable medium to generate valid combinations for selection |
US20050108183A1 (en) * | 2003-09-29 | 2005-05-19 | Huelsman David L. | Rule processing method, apparatus, and computer-readable medium to provide improved selection advice |
US6961913B1 (en) * | 1999-11-18 | 2005-11-01 | Matsushita Electric Industrial Co., Ltd. | IP base LSI designing system and designing method |
US6983187B2 (en) * | 2003-08-14 | 2006-01-03 | Sap Aktiengesellschaft | Method and system for automatically generating selection conditions in a product configuration system |
US7130783B1 (en) * | 2001-01-12 | 2006-10-31 | Synopsys, Inc. | Simulation-based functional verification of microcircuit designs |
US7188333B1 (en) * | 2001-12-28 | 2007-03-06 | Sprint Communications Company L.P. | Product incompatibility system |
US20070112767A1 (en) * | 2005-11-10 | 2007-05-17 | Symbol Technologies, Inc. | Voice activated rapid deployment for mobile computers |
US20070159304A1 (en) * | 2006-01-04 | 2007-07-12 | Microsoft Corporation | RFID device groups |
US20070290791A1 (en) * | 2006-06-09 | 2007-12-20 | Intelleflex Corporation | Rfid-based security systems and methods |
US7734559B2 (en) * | 2004-09-28 | 2010-06-08 | Huelsman David L | Rule processing method and apparatus providing exclude cover removal to simplify selection and/or conflict advice |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0648052A (en) * | 1992-06-01 | 1994-02-22 | Ricoh Co Ltd | Sublimation type thermal transfer recording medium |
NZ507462A (en) | 1998-03-16 | 2002-11-26 | Array Technology Aps | A database useful for configuring and/or optimizing a system and a method for generating the database |
WO2003081478A1 (en) | 2002-03-20 | 2003-10-02 | Resolutionebs, Inc. | Rule processing system and method |
-
2006
- 2006-09-27 US US11/527,638 patent/US7761397B2/en not_active Expired - Fee Related
-
2007
- 2007-09-27 WO PCT/US2007/079797 patent/WO2008011639A2/en active Application Filing
-
2010
- 2010-06-09 US US12/797,573 patent/US20100318476A1/en not_active Abandoned
Patent Citations (73)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5367619A (en) * | 1990-04-27 | 1994-11-22 | Eaton Corporation | Electronic data entry system employing an expert system to facilitate generation of electronic data forms with complex interrelationships between fields and subforms |
US5212771A (en) * | 1990-04-27 | 1993-05-18 | Bachman Information Systems, Inc. | System for establishing concurrent high level and low level processes in a diagram window through process explosion and implosion subsystems |
US5301284A (en) * | 1991-01-16 | 1994-04-05 | Walker-Estes Corporation | Mixed-resolution, N-dimensional object space method and apparatus |
US5311424A (en) * | 1991-06-28 | 1994-05-10 | International Business Machines Corporation | Method and system for product configuration definition and tracking |
US5576965A (en) * | 1992-04-16 | 1996-11-19 | Hitachi, Ltd. | Method and apparatus for aiding of designing process |
US6002854A (en) * | 1993-03-29 | 1999-12-14 | Trilogy Developmetn Group, Inc. | Method and apparatus for configuring systems |
US5809212A (en) * | 1993-07-12 | 1998-09-15 | New York University | Conditional transition networks and computational processes for use interactive computer-based systems |
US6424962B1 (en) * | 1993-11-26 | 2002-07-23 | Bull S.A. | Method of automated proving for unrestricted first-order logic |
US5877966A (en) * | 1994-05-31 | 1999-03-02 | Pantheon Solutions, Inc. | System and method for creating configurations using templates |
US5630025A (en) * | 1994-07-13 | 1997-05-13 | Unisys Corporation | Generalized configurator using a declaratively constructed two-level bi-partite graph as a knowledge representation |
US5701400A (en) * | 1995-03-08 | 1997-12-23 | Amado; Carlos Armando | Method and apparatus for applying if-then-else rules to data sets in a relational data base and generating from the results of application of said rules a database of diagnostics linked to said data sets to aid executive analysis of financial data |
US6519767B1 (en) * | 1995-06-07 | 2003-02-11 | Microsoft Corporation | Compiler and method for automatically building version compatible object applications |
US5805462A (en) * | 1995-08-18 | 1998-09-08 | Vlsi Technology, Inc. | Automatic synthesis of integrated circuits employing boolean decomposition |
US5745765A (en) * | 1995-10-23 | 1998-04-28 | Calico Technology, Inc. | Method and apparatus for automatic and interactive configuration of custom products |
US6598035B2 (en) * | 1995-11-17 | 2003-07-22 | International Business Machines Corporation | Object oriented rule-based expert system framework mechanism |
US5910898A (en) * | 1995-12-14 | 1999-06-08 | Viewlogic Systems, Inc. | Circuit design methods and tools |
US5924077A (en) * | 1995-12-29 | 1999-07-13 | Sapient Solutions, Llc | Computer based system for monitoring and processing data collected at the point of sale of goods and services |
US5844554A (en) * | 1996-09-17 | 1998-12-01 | Bt Squared Technologies, Inc. | Methods and systems for user interfaces and constraint handling configurations software |
US5889993A (en) * | 1996-10-15 | 1999-03-30 | The Regents Of The University Of California | Predictive event tracking method |
US6035305A (en) * | 1997-08-29 | 2000-03-07 | The Boeing Company | Computer-based method of structuring product configuration information and configuring a product |
US5987473A (en) * | 1997-09-09 | 1999-11-16 | Beologic A/S | Interactive configuration via network |
US6016394A (en) * | 1997-09-17 | 2000-01-18 | Tenfold Corporation | Method and system for database application software creation requiring minimal programming |
US6076080A (en) * | 1997-11-04 | 2000-06-13 | The Standard Register Company | Forms order entry system |
US6064982A (en) * | 1997-11-12 | 2000-05-16 | Netscape Communication Corporation | Smart configurator |
US6182275B1 (en) * | 1998-01-26 | 2001-01-30 | Dell Usa, L.P. | Generation of a compatible order for a computer system |
US6031984A (en) * | 1998-03-09 | 2000-02-29 | I2 Technologies, Inc. | Method and apparatus for optimizing constraint models |
US5963953A (en) * | 1998-03-30 | 1999-10-05 | Siebel Systems, Inc. | Method, and system for product configuration |
US6327581B1 (en) * | 1998-04-06 | 2001-12-04 | Microsoft Corporation | Methods and apparatus for building a support vector machine classifier |
US6256618B1 (en) * | 1998-04-23 | 2001-07-03 | Christopher Spooner | Computer architecture using self-manipulating trees |
US6349290B1 (en) * | 1998-06-30 | 2002-02-19 | Citibank, N.A. | Automated system and method for customized and personalized presentation of products and services of a financial institution |
US6529890B1 (en) * | 1998-08-19 | 2003-03-04 | Ensys, Inc. | Method for representing synoptic climatology information in a class-object-attribute hierarchy and an expert system for obtaining synoptic climatology information |
US6567814B1 (en) * | 1998-08-26 | 2003-05-20 | Thinkanalytics Ltd | Method and apparatus for knowledge discovery in databases |
US6163876A (en) * | 1998-11-06 | 2000-12-19 | Nec Usa, Inc. | Method for verification of RTL generated from scheduled behavior in a high-level synthesis flow |
US6226656B1 (en) * | 1998-11-12 | 2001-05-01 | Sourcefinder, Inc. | System and method for creating, generating and processing user-defined generic specs |
US6396488B1 (en) * | 1999-01-04 | 2002-05-28 | Corel Inc. | System and method for determining a path in a graphical diagram |
US6556978B1 (en) * | 1999-03-09 | 2003-04-29 | The State Of Oregon Acting By And Through The State Board Of Higher Education On Behalf Of The University Of Oregon | Satisfiability algorithms and finite quantification |
US6651096B1 (en) * | 1999-04-20 | 2003-11-18 | Cisco Technology, Inc. | Method and apparatus for organizing, storing and evaluating access control lists |
US6442732B1 (en) * | 1999-04-21 | 2002-08-27 | Lucent Technologies, Inc. | Virtual logic system for solving satisfiability problems using reconfigurable hardware |
US6321186B1 (en) * | 1999-05-03 | 2001-11-20 | Motorola, Inc. | Method and apparatus for integrated circuit design verification |
US6535883B1 (en) * | 1999-08-04 | 2003-03-18 | Mdsi Software Srl | System and method for creating validation rules used to confirm input data |
US6741975B1 (en) * | 1999-09-01 | 2004-05-25 | Ncr Corporation | Rule based expert system for consumer preference |
US6389576B1 (en) * | 1999-09-02 | 2002-05-14 | Sun Microsystems, Inc. | Method and apparatus for optimizing real functions in Boolean domain |
US6385617B1 (en) * | 1999-10-07 | 2002-05-07 | International Business Machines Corporation | Method and apparatus for creating and manipulating a compressed binary decision diagram in a data processing system |
US6961913B1 (en) * | 1999-11-18 | 2005-11-01 | Matsushita Electric Industrial Co., Ltd. | IP base LSI designing system and designing method |
US20010029499A1 (en) * | 1999-12-30 | 2001-10-11 | Tuatini Jeffrey Taihana | Rules processing system |
US20020078431A1 (en) * | 2000-02-03 | 2002-06-20 | Reps Thomas W. | Method for representing information in a highly compressed fashion |
US6874016B1 (en) * | 2000-06-22 | 2005-03-29 | Cisco Technology, Inc. | Information searching device |
US6658458B1 (en) * | 2000-06-22 | 2003-12-02 | Cisco Technology, Inc. | Cascading associative memory arrangement |
US20020178432A1 (en) * | 2000-08-17 | 2002-11-28 | Hyungwon Kim | Method and system for synthesizing a circuit representation into a new circuit representation having greater unateness |
US20020065701A1 (en) * | 2000-11-30 | 2002-05-30 | Kim Kyu Dong | System and method for automating a process of business decision and workflow |
US20020165701A1 (en) * | 2000-12-08 | 2002-11-07 | Jakob Lichtenberg | Method of configuring a product |
US20020108093A1 (en) * | 2000-12-11 | 2002-08-08 | Intel Corporation | Method and system for formal verification of a circuit model |
US7130783B1 (en) * | 2001-01-12 | 2006-10-31 | Synopsys, Inc. | Simulation-based functional verification of microcircuit designs |
US20020095645A1 (en) * | 2001-01-16 | 2002-07-18 | International Business Machines Corporation | Searching for counter-examples intelligently |
US6952812B2 (en) * | 2001-02-13 | 2005-10-04 | Freescale Semiconductor, Inc. | Design analysis tool for path extraction and false path identification and method thereof |
US20020112213A1 (en) * | 2001-02-13 | 2002-08-15 | Abadir Magdy S. | Design analysis tool for path extraction and false path identification and method thereof |
US20040260667A1 (en) * | 2001-03-21 | 2004-12-23 | Huelsman David L. | Method of providing decision automation |
US20030220926A1 (en) * | 2001-03-21 | 2003-11-27 | Huelsman David L. | Rule processing system |
US6795832B2 (en) * | 2001-10-09 | 2004-09-21 | Hewlett-Packard Development Company, L.P. | Rule based compatibility module |
US7188333B1 (en) * | 2001-12-28 | 2007-03-06 | Sprint Communications Company L.P. | Product incompatibility system |
US7587379B2 (en) * | 2002-03-20 | 2009-09-08 | Huelsman David L | Method and system for capturing business rules for automated decision procession |
US20040181500A1 (en) * | 2002-03-20 | 2004-09-16 | Huelsman David L. | Method and system for capturing business rules for automated decision procession |
US20090313201A1 (en) * | 2002-03-20 | 2009-12-17 | Huelsman David L | Method and system for capturing business rules for automated decision procession |
US7062478B1 (en) * | 2002-03-20 | 2006-06-13 | Resolutionebs, Inc. | Method and apparatus using automated rule processing to configure a product or service |
US20040138988A1 (en) * | 2002-12-20 | 2004-07-15 | Bart Munro | Method to facilitate a search of a database utilizing multiple search criteria |
US6983187B2 (en) * | 2003-08-14 | 2006-01-03 | Sap Aktiengesellschaft | Method and system for automatically generating selection conditions in a product configuration system |
US20050080648A1 (en) * | 2003-09-29 | 2005-04-14 | Huelsman David L. | Rule processing method, apparatus, and computer-readable medium to generate valid combinations for selection |
US20090228420A1 (en) * | 2003-09-29 | 2009-09-10 | Verde Sabor Assets, L.L.C. | Rule processing method, apparatus and computer-readable medium to provide improved selection advice |
US20050108183A1 (en) * | 2003-09-29 | 2005-05-19 | Huelsman David L. | Rule processing method, apparatus, and computer-readable medium to provide improved selection advice |
US7734559B2 (en) * | 2004-09-28 | 2010-06-08 | Huelsman David L | Rule processing method and apparatus providing exclude cover removal to simplify selection and/or conflict advice |
US20070112767A1 (en) * | 2005-11-10 | 2007-05-17 | Symbol Technologies, Inc. | Voice activated rapid deployment for mobile computers |
US20070159304A1 (en) * | 2006-01-04 | 2007-07-12 | Microsoft Corporation | RFID device groups |
US20070290791A1 (en) * | 2006-06-09 | 2007-12-20 | Intelleflex Corporation | Rfid-based security systems and methods |
Non-Patent Citations (1)
Title |
---|
SOMENZI,F. "CUDD: CU Decision Diagram Package, Release 2.3.0" September 24,1998. 48 pages. * |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20090313201A1 (en) * | 2002-03-20 | 2009-12-17 | Huelsman David L | Method and system for capturing business rules for automated decision procession |
US8732107B2 (en) | 2002-03-20 | 2014-05-20 | Verde Sabor Assets, L.L.C. | Method and system for capturing business rules for automated decision procession |
US20090228420A1 (en) * | 2003-09-29 | 2009-09-10 | Verde Sabor Assets, L.L.C. | Rule processing method, apparatus and computer-readable medium to provide improved selection advice |
US8055604B2 (en) | 2003-09-29 | 2011-11-08 | Verde Sabor Assets, L.L.C. | Rule processing method, apparatus and computer-readable medium to provide improved selection advice |
US9147213B2 (en) | 2007-10-26 | 2015-09-29 | Zazzle Inc. | Visualizing a custom product in situ |
US9183582B2 (en) | 2007-10-26 | 2015-11-10 | Zazzle Inc. | Tiling process for digital image retrieval |
US9355421B2 (en) | 2007-10-26 | 2016-05-31 | Zazzle Inc. | Product options framework and accessories |
US20130060801A1 (en) * | 2011-08-31 | 2013-03-07 | Robert Irven Beaver, III | Product Options Framework And Accessories |
US8856160B2 (en) * | 2011-08-31 | 2014-10-07 | Zazzle Inc. | Product options framework and accessories |
US9436963B2 (en) | 2011-08-31 | 2016-09-06 | Zazzle Inc. | Visualizing a custom product in situ |
US9378029B2 (en) | 2014-03-17 | 2016-06-28 | Sharp Laboratories Of America, Inc. | Rules based user interface architecture |
Also Published As
Publication number | Publication date |
---|---|
WO2008011639A8 (en) | 2008-04-03 |
US7761397B2 (en) | 2010-07-20 |
WO2008011639A2 (en) | 2008-01-24 |
US20070094204A1 (en) | 2007-04-26 |
WO2008011639A3 (en) | 2008-07-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7761397B2 (en) | Rule processing method and apparatus providing automatic user input selections | |
US7792772B2 (en) | Method and system for optimizing configuration classification of software | |
JPH04125476A (en) | Test case generation equipment and its method | |
JPH01116765A (en) | Automatically interfacing for conceptual design tool and project management tool | |
JPH01116767A (en) | Application of interface for part list between conceptual design tool and cad/cam environment | |
WO2006051760A1 (en) | Same subgraph detector for data flow graph, high-order combiner, same subgraph detecting method for data flow graph, same subgraph detection control program for data flow graph, and readable recording medium | |
US20030055695A1 (en) | Method and apparatus for managing project risk, and memory medium | |
CN108415912A (en) | Data processing method based on MapReduce model and equipment | |
US8572551B2 (en) | Difference log production for model merging | |
US7734559B2 (en) | Rule processing method and apparatus providing exclude cover removal to simplify selection and/or conflict advice | |
JP2000057123A (en) | Method and device for searching state of sequential circuit, and recording medium having recorded state search program thereon | |
JPH10275161A (en) | Image retrieving method, and recording medium recorded with program for performing retrieving process | |
US6272543B1 (en) | Network-computer system build support system and support method | |
Elias et al. | Dynamic consistency checking for temporal and spatial relations in multimedia presentations | |
CN111209302A (en) | Parallel execution method and device for database access | |
JP6511793B2 (en) | Test case generation program, test case generation method and test case generation apparatus | |
Muqeem et al. | A fuzzy based approach for early requirement prioritization | |
JP2897541B2 (en) | Closed figure extraction method | |
JP2000172739A (en) | Design supporting device | |
Heidari et al. | Services Composition in Multi-cloud Environments using the Skyline Service Algorithm | |
JP3488581B2 (en) | Network computer system construction support device and support method | |
WO2021024791A1 (en) | Design assistance system and design assistance method | |
JPH05165397A (en) | Scheduling device | |
JP5136257B2 (en) | Route management method | |
Herrling | Optimization of micro-coaxial wire routing in complex microelectronic systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AS | Assignment |
Owner name: RESOLUTION EBS, INC., OHIO Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:HUELSMAN, DAVID L.;MAIR, DOUGLAS M.;SIGNING DATES FROM 20070413 TO 20070525;REEL/FRAME:026843/0597 |
|
AS | Assignment |
Owner name: VERDE SABOR ASSETS, L.L.C., DELAWARE Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNOR:RESOLUTION EBS, INC.;REEL/FRAME:026881/0346 Effective date: 20070607 |
|
STCB | Information on status: application discontinuation |
Free format text: ABANDONED -- FAILURE TO RESPOND TO AN OFFICE ACTION |