12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4 (view source)
Revision as of 03:34, 5 August 2011
, 03:34, 5 August 2011→4.3.2.3. Abduction: + text
=====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====