Science Fair Project Encyclopedia
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.
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details