abductive reasoning from wiki
allows deriving b as a consequence of a.
are the assumptions true? if so, the conclusions (validly arrived at) are true
Induction is inferring probable antecedents as a result of observing multiple consequents. Induction is modern algebra to deductive arithmetic.
allows inferring a as an explanation of b or precondition a to be inferred from the consequence b. there are multiple possible explanations for b.
abduction can produce results that are incorrect within its formal system. Hence the conclusions of abduction can only be made valid by separately checking them
but when something is known about the likelihood of different causes for b, a, abduction
i.e. Aliens? Or just a bad souffle?