Contents    Page-10    Prev    Next    Page+10    Index   

Rule Subsumption

A common programmer error is to leave out one or more clauses in the antecedent of a rule. This causes the rule to be over-broad in its application and may cause it to subsume other rules.

Example: SACON structural analysis consultant[ Bennett, J. S. and Engelmore, R. S., ``SACON: a Knowledge-based Consultant for Structural Analysis'', Proc. IJCAI-79, pp. 47-49, Morgan Kaufmann Publishers.]


If: 1) The analysis error (in percent) that is 
       tolerable is less than 5, and
    2) The non-dimensional stress of the 
       substructure is greater than .5, and 
    3) The number of cycles the loading is to be 
       applied is greater than 10000
Then: It is definite (1.0) that fatigue is a 
       phenomenon ...
A rule like this one, but without antecedent clause (3), was included. The bad rule subsumed this rule and two others (stress > .7, cycles > 1000; stress > .9, cycles > 100) with the same conclusion.