Automated Reasoning

Automated reasoning is the general process that gives machine learning algorithms an organized framework to define, approach and solve problems. While more a theoretical field of research than a specific technique itself, automated reasoning underpins many machine learning practices, such as logic programming, fuzzy logic, Bayesian inference, and maximal entropy reasoning. The ultimate goal is to create deep learning systems that can mimic human deduction without human interference.