Automated reasoning
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
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).
Contents |
See also
- Automated machine learning (AutoML)
- Automated theorem proving
- Reasoning system
- Semantic reasoner
- Program analysis (computer science)
- Applications of artificial intelligence
- Outline of artificial intelligence
- Casuistry • Case-based reasoning
- Abductive reasoning
- Inference engine
- Commonsense reasoning
Conferences and workshops
- International Joint Conference on Automated Reasoning (IJCAR)
- Conference on Automated Deduction (CADE)
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Journals
Communities