Traditional mathematical inference techniques
First-order logical inference almost guaranteed to fail in problems where context is important
Deduction insists on sound inference
Contextually based inference formulated as a problem of induction, not deduction
Induction from specific to general not sound