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.

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.

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
Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning.

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.