An overview of automated reasoning and related fields

MaRDI QIDQ1819948zbMATH OpenFDO

Authors Yanyan Li

Publication date 1985

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoningautomated theorem provingExpert systemsintelligent robotsLogic programmingNonclassical logicprogram synthesisProgram verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99)

Review text

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 article, 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. Contents: \textit{L. Wos}: What is automated reasoning (pp. 6-9); \textit{F. Pereira}: Logic programming (pp. 9-13); \textit{R. Hong}: Research in intelligent robots (pp. 13-17); \textit{R. S. Boyer} and \textit{J S. Moore}: Program verification (pp. 17-23); \textit{W. W. Bledsoe} and \textit{L. J. Henschen}: What is automated theorem proving (pp. 23-28); \textit{B. G. Buchanan}: Expert systems (pp. 28-35); \textit{G. Wrightson}: Nonclassical logic theorem proving (pp. 35-37); \textit{C. Green}: What is program synthesis (pp. 37-41); References (pp. 41-48).

Recommendations

• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 1252517
• Handbook of automated reasoning. In 2 vols
• scientific article; zbMATH DE number 41806
• scientific article; zbMATH DE number 4119665

Cited in

(8)

• Automated inferencing
• Limited reasoning in first-order knowledge bases
• Larry Wos: visions of automated reasoning
• A promising path towards autoformalization and general artificial intelligence
• Book review of: B. Liao (ed.) et al., Dynamics, uncertainty and reasoning
• scientific article; zbMATH DE number 53302 (Why is no real title available?)
• The interaction of representation and reasoning
• A Short Survey of Automated Reasoning

Describes a project that uses

Uses Software

• AURA

This page was built for publication: An overview of automated reasoning and related fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819948)