| 摘要 |
A method for interactive configuration, in an interactive configuration system, by which a user may configure a configurable product by successively selecting i.e. including in the configuration, various items representing product parts, such that after user actions of this kind the accessibility of further items, is determined by means of an algorithm including a boolean SAT algorithm, that ascertains the satisfiability of formulas including those of propositional logic, representing the user choices, and said further items, together with a rule base of formulas stating relations of incompatibility and dependence <i>characterized in</i> that a user when wishing to select an item that is inaccessible due to earlier user choices is provided with a possibility of having a minimal number of earlier choices undone so as to retain a maximal subset of earlier choices compatible with the rule base and said inaccessible item, said undoing being in accordance with the user's relative preferences with regard to said earlier choices, by performing the following steps: (a) assigning an order of priority to the user's earlier choices, then (b) determining a maximal subset of earlier user choices with higher priority than all choices not included in said subset, said subset being compatible with the rule base and said inaccessible item, finally c) if the user accords a higher priority to said inaccessible item than to all previous choices excluded from said subset, forming a superset of said subset of user choices, being a maximal subset of user choices compatible with the rule base and said inaccessible item, formed in accordance with user priorities. |
