Logical reasoning
|
|
The 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.