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.

 

<< PreviousWord BrowserNext >>
bobby farrell
jennifer lien
border down
tretinoin
ma baker
maladjusted
weber state university
progressive animation
asian television network
tompkinsville, staten island
traveler (colin james)
tompkinsville
traveler
earth (babylon 5)
peter rabbit
list of things named after ronald reagan
charles foster kane
state emergency service
smacker video
fourth street elevator
western illinois university
city of greater new york
joe maggard
nonsuch
air defense identification zone
margin account
corus entertainment
samuel hill
snoghj
jock haston
adalberon, bishop of laon
dan hodge trophy
lothair of france
interpol (band)
national energy action
perverb
magma dragoon
hms nonsuch
socialist alternative (australia)
don shula
list of hebrew names
connie fogal
iq and the wealth of nations
tinker, tailor, soldier, spy