沃斯，L。;费尔南多·佩雷拉;罗伯特·洪;罗伯特·博伊尔。;J.Strother摩尔;布莱索，W.W。;亨森·L·J·。;布鲁斯·布坎南。;格雷厄姆·怀特森;绿色，科德尔 自动推理和相关领域概述。 （英语） Zbl 0614.68068号 J.汽车。推理 1, 5-48 (1985). 本文概述了自动推理及其相关的各个领域。它采取了一系列文章的形式，每一篇都涵盖了某个领域，而且每一篇文章都是由该领域的专家撰写的。介绍了一个领域，回顾了它的要素，给出了当前的发展状况，讨论了基本问题，并列出了各种目标。尽管每个领域的目标各不相同，但这些领域共同关心的是自动化推理过程。内容：L.沃斯什么是自动推理（第6-9页）；F.佩雷拉：逻辑编程（第9-13页）；R.Hong先生：智能机器人研究（第13-17页）；R.S.博伊尔和J S.摩尔：程序验证（第17-23页）；W.W.Bledsoe公司和L.J.亨申什么是自动定理证明（第23-28页）；B.G.布坎南：专家系统（第28-35页）；G.Wrightson公司：非经典逻辑定理证明（第35-37页）；C.绿色什么是程序综合（第37-41页）；参考文献（第41-48页）。 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68T99型 人工智能 关键词：自动推理;逻辑编程;智能机器人;程序验证;自动定理证明;专家系统;非经典逻辑;程序综合 软件：AURA公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}等人，J.Autom。推理1，5--48（1985；Zbl 0614.68068）