MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search
249 bytes added
, 03:34, 5 August 2011
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==== |