|
|
|
|
|
Logical ReasoningThe three methods for logical reasoning, deduction, induction, and abduction can be explained in the following way (taken from 1): -
- Given α, β, and the rule R1 : α ∴ β
-
- Deduction is using the rule and its preconditions to make a conclusion (α ∧ R1 ⇒ β).
-
- Induction is learning R1 after numerous examples of β and α.
-
- Abduction is using the postcondition and the rule to assume that the precondition could explain the postcondition (β ∧ R1 ⇒ α).
See Also References 1 T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|