Reasoning
Glossary
 Firstorder Logic

A formal logic system in mathematics distinguished from propositional logic by its use of quantified variables
 Deductive Reasoning

The process of reasoning from one or more general statements (premises) to reach a logic conclusion
 Tableaux

A proof procedure for formulas of firstorder logic based on tree expansion
 Resolution

A proof procedure for formulas of firstorder logic based on a set of inference rules for clauses
Definition
When considering logical reasoning, it is often divided into three basic paradigms: deductive, inductive, and abductive reasoning. Deductive reasoning concerns what follows necessarily from the given premises (if α, then β) in a topdown approach, while inductive reasoning, the opposite of deductive reasoning, tries to derive a reliable generalization from observations in a bottomup approach. Abductive reasoning is seeking the explanation for given rules and conclusions (if α → β and β, then perhaps α.) For each of them, there...
Notes
Acknowledgment
This work was supported by the National Science Foundation under award 1017225 “III: Small: TROn—Tractable Reasoning with Ontologies.”
References
 Baader F, Calvanese D, McGuinness D, Nardi D, PatelSchneider P (2007) The description logic handbook. Cambridge University Press, CambridgeMATHGoogle Scholar
 Baumgartner P, Furbach U, Niemel I (1996) Hyper tableaux. JELIA 1126:1–17Google Scholar
 JohnsonLaird P (2011) Mental models and human reasoning. PNAS 108(50):19862–19864Google Scholar
 Motik B (2006) Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology, pp 1–249Google Scholar
 Ray O, Broda K, Russo A (2003) Hybrid abductive inductive learning: a generalisation of progol. ILP 2835:311–328Google Scholar
 Robinson J, Voronkov A (2001) Handbook of automated reasoning (in 2 volumes). MIT, BostonGoogle Scholar
Recommended Reading
 Gabbay D, Hogger C, Robinson, J (1994) Handbook of logic in artificial intelligence and logic programming. Oxford University Press, OxfordGoogle Scholar