An overview of automated reasoning and related fields

L. Wos*, Fernando Pereira, Robert Hong, Robert S. Boyer, J. Strother Moore, W. W. Bledsoe, Lawrence Joseph Henschen, Bruce G. Buchanan, Graham Wrightson, Cordell Green

*Corresponding author for this work

Research output: Contribution to journalReview article

4 Scopus citations

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 languageEnglish (US)
Pages (from-to)5-48
Number of pages44
JournalJournal of Automated Reasoning
Volume1
Issue number1
DOIs
StatePublished - Mar 1 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

Cite this

Wos, L., Pereira, F., Hong, R., Boyer, R. S., Moore, J. S., Bledsoe, W. W., Henschen, L. J., Buchanan, B. G., Wrightson, G., & Green, C. (1985). An overview of automated reasoning and related fields. Journal of Automated Reasoning, 1(1), 5-48. https://doi.org/10.1007/BF00244288