# Automated reasoning

**reasoningArtificial intelligence reasoningautomated inferencingautomated reasoning programautomatic reasoningcomputer reasoningformal reasoningmachine reasoningmeta-level reasoningontology-based reasoning**

Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.wikipedia

157 Related Articles

### Artificial intelligence

**AIA.I.artificially intelligent**

Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.

The traditional problems (or goals) of AI research include reasoning, knowledge representation, planning, learning, natural language processing, perception and the ability to move and manipulate objects.

### Knowledge representation and reasoning

**knowledge representationrepresentationknowledge**

Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.

Examples of automated reasoning engines include inference engines, theorem provers, and classifiers.

### Reason

**reasoningratiocinationhuman reason**

Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.

The field of automated reasoning studies how reasoning may or may not be modeled computationally.

### Theoretical computer science

**theoretical computer scientisttheoreticalcomputer science**

Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.

Algorithms are used for calculation, data processing, and automated reasoning.

### Automated theorem proving

**automated theorem provertheorem provertheorem proving**

The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions).

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.

### Outline of artificial intelligence

**Artificial intelligenceoutline**

### Reasoning system

**Automated reasoning systemconstraint reasoningdigital reasoning**

The first practical application of automated reasoning were expert systems.

### International Joint Conference on Automated Reasoning

**IJCAR**

The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields.

### International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

**TABLEAUXAutomated Reasoning with Analytic Tableaux and Related Methods**

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux.

### Case-based reasoning

**case based reasoningcase-basedanalogical reasoning**

It has been argued that case-based reasoning is not only a powerful method for computer reasoning, but also a pervasive behavior in everyday human problem solving; or, more radically, that all reasoning is based on past cases personally experienced.

### Journal of Automated Reasoning

**J. Automat. Reason.J. Automated Reasoning**

* Journal of Automated Reasoning

It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.

### Association for Automated Reasoning

* Association for Automated Reasoning (AAR)

The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields.

### Applications of artificial intelligence

**AIapplication of artificial intelligenceapplications**

### Cognitive science

**cognitive scientistcognitive sciencescognitive**

Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.

### Metalogic

**meta-logicdeductive sciencemeta-theoretical**

### Computer program

**programprogramscomputer programs**

The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically.

### Philosophy

**philosophicalphilosopherhistory of philosophy**

Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.

### Analogy

**analogousanalogiesanalogical**

Extensive work has also been done in reasoning by analogy using induction and abduction.

### Inductive reasoning

**inductioninductiveinductive logic**

Extensive work has also been done in reasoning by analogy using induction and abduction.

### Abductive reasoning

**abductionabductiveinference to the best explanation**

Extensive work has also been done in reasoning by analogy using induction and abduction.

### Uncertainty

**uncertaintiesuncertainstandard uncertainty**

Other important topics include reasoning under uncertainty and non-monotonic reasoning.

### Non-monotonic logic

**non-monotonic reasoningnon-monotonicnonmonotonic reasoning**

Other important topics include reasoning under uncertainty and non-monotonic reasoning.

### Fuzzy logic

**fuzzyfuzzy logicsfuzziness**

Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, reasoning with maximal entropy and many less formal ad hoc techniques.

### Bayesian inference

**BayesianBayesian analysisBayesian method**

Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, reasoning with maximal entropy and many less formal ad hoc techniques.

### Principle of maximum entropy

**maximum entropymaximum entropy methodMAXENT**

Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, reasoning with maximal entropy and many less formal ad hoc techniques.