Changes

Line 381: Line 381:     
=====4.3.2.3. Abduction=====
 
=====4.3.2.3. Abduction=====
 +
 +
Cast on the same template, abduction takes a Fact of the form <math>X \Rightarrow Z</math> and matches it with a Rule of the form <math>Y \Rightarrow Z</math> to guess that a Case is presently in view, one of the form <math>X \Rightarrow Y.</math>
    
====4.3.3. Hybrid Types of Inference====
 
====4.3.3. Hybrid Types of Inference====
12,080

edits