12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4 (view source)
Revision as of 03:10, 5 August 2011
, 03:10, 5 August 2011→4.3.2.2. Induction: + text
=====4.3.2.2. Induction=====
=====4.3.2.2. Induction=====
Contrasted with this pattern, induction takes a Fact of the form <math>X \Rightarrow Z</math> and matches it with a Case of the form <math>X \Rightarrow Y</math> to guess that a Rule is possibly in play, one of the form <math>Y \Rightarrow Z.</math>
=====4.3.2.3. Abduction=====
=====4.3.2.3. Abduction=====