Logical Reasoning Article Index for
Logical
Website Links For
Logical
 

Information About

Logical Reasoning




::Given α, β, and the rule ''R''1 : α ∴ β

  • Deduction is using the rule and its preconditions to make a conclusion (α ∧ ''R''1 ⇒ β).


  • Induction is learning ''R''1 after numerous examples of β and α.


  • Abduction is using the postcondition and the rule to assume that the precondition could explain the postcondition (β ∧ ''R''1 ⇒ α).



SEE ALSO



REFERENCES


{Link without Title} T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.