Abstract
This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of articles, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals listed. Although individually the goals of each field present a wide spectrum, collectively the fields share the interest of automating the process known as reasoning.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 5-48 |
| Number of pages | 44 |
| Journal | Journal of Automated Reasoning |
| Volume | 1 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 1985 |
Keywords
- AI
- automated: reasoning/programming/theorem proving
- computational logic
- error correction
- induction, inference rules
- intelligent robot
- knowledge representation
- knowledge-based software
- logic programming
- multisensor integration and fusion
- object-oriented reasoning
- predicate calculus, program: synthesis/verification
- robotics, strategy
- verification, very high level languages
ASJC Scopus subject areas
- Software
- Computational Theory and Mathematics
- Artificial Intelligence