next up previous contents
Next: References Up: Title Previous: Sample Rules From

Sample Output From COSINE

 

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.



Ilan Berker
Thu Apr 27 16:25:38 EDT 1995