This appendix contains a sample run of COSINE showing examples of some of the possible conflict situations and how they are resolved through negotioation.
First the (batch "wine.bat") command is entered at the
CLIPS> prompt. This loads in all the necessary files for the wine
glass design. Then, the design process is started with the (design)
command.
CLIPS> (batch "wine.bat") CLIPS> (design) Base Thickness Style Selector: Set base thickness to default value of 0.3 cm. Cup Thickness Style Selector: Set cup thickness to default value of 0.1 cm. Cup Radius Style Selector: Cup radius set to default value of 3 cm. Cup Radius Value Volume Critic: Conflict detected with Cup Radius Style Selector. Cup Radius Value Volume Critic: Criticism asserted. Cup radius value is too high from volume pov. Cup Radius Value Volume Critic: Ask Cup Radius Style Selector for an alternative value. Cup Radius Style Selector: Using alternative value. Cup Radius Style Selector: Cup radius set to new value of 2.5 cm. Cup Radius Value Volume Critic: Ask Cup Radius Style Selector for an alternative value. Cup Radius Style Selector: Using alternative value. Cup Radius Style Selector: Cup radius set to new value of 2.0 cm. Cup Radius Value Volume Critic: Criticism retracted. Cup radius value is not too-high anymore from a volume pov. Cup Radius Value Volume Critic: Conflict with Cup Radius Style Selector resolved. Cup Radius Value Style Critic: Criticism asserted. Cup radius value makes cup ugly from style pov. Cup Radius Value Style Praiser: Praise asserted. Cup radius value makes cup beautiful from style pov. Cup Radius Value Style Praiser: Conflict detected with Cup Radius Value Style Critic. Cup Radius Value Style Praiser: Ask Cup Radius Value Style Critic to remove its criticism. Cup Radius Value Style Critic: Criticism retracted. Cup Radius Value Style Praiser: Conflict with Cup Radius Value Style Critic resolved. Stem Length Stability Selector: Set stem length to default value of 4 cm. Base Radius Stability Selector: Set base radius to 1.0 cm. Cup Radius Stability Selector: Conflict detected with Cup Radius Style Selector. Cup Radius Stability Selector: Ask Cup Radius Style Selector for an alternative value. Cup Radius Style Selector: No alternative values. Cup Radius Style Selector: Switching to dont care mode. Cup Radius Style Selector: Tell Cup Radius Stability Selector that I don't care about value of cup radius. Cup Radius Stability Selector: Ask Cup Radius Style Selector to retract the value of cup radius. Cup Radius Stability Selector: Conflict with Cup Radius Style Selector resolved. Cup Radius Style Selector: Value of cup radius retracted. Stem Radius Strength Selector: Set stem radius value to 0.4 cm. Stem Radius Strength Selector: Conflict detected with Stem Length Stability Selector. Stem Radius Strength Selector: Ask Stem Length Stability Selector for an alternative value. Stem Length Stability Selector: Using alternative value. Stem Length Stability Selector: Redesigned stem length value to 3 cm. Stem Radius Strength Selector: Conflict with Stem Length Stability Selector resolved. Stem Radius Strength Selector: Redesigned stem radius value to 0.3 cm. Cup Radius Stability Estimator: Cup radius estimated to be 2.0 cm. Cup Radius Handleability Estimator: Conflict detected with Cup Radius Stability Estimator. Cup Radius Handleability Estimator: Ask Cup Radius Stability Estimator for an alternative estimate. Cup Radius Stability Estimator: Using alternative estimate. Cup Radius Stability Estimator: Cup radius re-estimated to be 1.5 cm. Cup Radius Handleability Estimator: Conflict with Cup Radius Stability Estimator resolved. Cup Radius Stability Selector: Set cup radius value to 3.0 cm. Cup Radius Value Volume Critic: Conflict detected with Cup Radius Stability Selector. Cup Radius Value Volume Critic: Criticism asserted. Cup radius value is too high from volume pov. Cup Radius Value Volume Critic: Ask Cup Radius Stability Selector for an alternative value. Cup Radius Stability Selector: Using alternative value. Cup Radius Stability Selector: Redesigned cup radius value to 2.3 cm. Cup Radius Value Volume Critic: Ask Cup Radius Stability Selector for an alternative value. Cup Radius Stability Selector: Using alternative value. Cup Radius Stability Selector: Redesigned cup radius value to 2.2 cm. Cup Radius Value Volume Critic: Criticism retracted. Cup radius value is not too-high anymore from a volume pov. Cup Radius Value Volume Critic: Conflict with Cup Radius Stability Selector resolved. Cup Radius Value Style Critic: Criticism asserted. Cup radius value makes cup ugly from style pov. Cup Radius Value Style Praiser: Conflict detected with Cup Radius Value Style Critic. Cup Radius Value Style Praiser: Ask Cup Radius Value Style Critic to remove its criticism. Cup Radius Value Style Critic: Criticism retracted. Cup Radius Value Style Praiser: Conflict with Cup Radius Value Style Critic resolved. Cup Radius Value Style Praiser: Praise asserted. Cup radius value makes cup beautiful from style pov. Cup Radius Value Stability Critic: Conflict detected with Cup Radius Stability Selector. Cup Radius Value Stability Critic: Criticism asserted. Cup radius value is too high from stability pov. Cup Radius Value Stability Critic: Ask Cup Radius Stability Selector for an alternative value. Cup Radius Stability Selector: No alternative values. Cup Radius Stability Selector: Ask Cup Radius Value Stability Critic to relax constraints. Cup Radius Value Stability Critic: Constraint relaxed. Cup Radius Value Stability Critic: Criticism retracted. Cup radius value is not too high from stability pov anymore. Cup Radius Value Stability Critic: Conflict with Cup Radius Stability Selector resolved. Cup Radius Value Volume Evaluator: Evaluation asserted. Cup radius value is good from a volume pov. Cup Radius Value Evaluation Precision Critic: Conflict detected with Cup Radius Value Volume Evaluator. Cup Radius Value Evaluation Precision Critic: Criticism asserted. Cup radius value evaluation is too imprecise. Cup Radius Value Evaluation Precision Critic: Ask Cup Radius Value Volume Evaluator to offer a more precise evaluation. Cup Radius Value Volume Evaluator: Changing to precision evaluation mode. Cup Radius Value Volume Evaluator: Evaluation asserted. Cup radius value's quality is 88 percent. Cup Radius Value Evaluation Precision Critic: Criticism retracted. Cup radius value evaluation is not imprecise anymore. Cup Radius Value Evaluation Precision Critic: Conflict with Cup Radius Value Volume Evaluator resolved. Here is the final design: Cup radius: 2.2 cm. Cup thickness: 0.1 cm. Base radius: 1.0 cm. Base thickness: 0.3 cm. Stem length: 3 cm. Stem radius: 0.3 cm.