Encyclopedia of Social Network Analysis and Mining
pp 14991501
Reasoning
 Cong WangAffiliated withDepartment of Computer Science and Engineering, Wright State University
 , Pascal HitzlerAffiliated withDepartment of Computer Science and Engineering, Wright State University
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 are many vari ...
 Title
 Reasoning
 Reference Work Title
 Encyclopedia of Social Network Analysis and Mining
 Pages
 pp 14991501
 Copyright
 2014
 DOI
 10.1007/9781461461708_115
 Print ISBN
 9781461461692
 Online ISBN
 9781461461708
 Publisher
 Springer New York
 Copyright Holder
 Springer Science+Business Media New York
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Professor Reda Alhajj ^{(1)}
 Professor Jon Rokne ^{(2)}
 Editor Affiliations

 1. Department of Computer Science, University of Calgary
 2. Department of Computer Science, University of Calgary
 Authors

 Cong Wang ^{(185)}
 Pascal Hitzler ^{(185)}
 Author Affiliations

 185. Department of Computer Science and Engineering, Wright State University, Dayton, OH, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.