理查德·菲克斯（Richard E.Fikes）。;尼尔斯·尼尔森。 STRIPS：一种将定理证明应用于问题解决的新方法。 （英语） 兹伯利0234.68036 Artif公司。智力。 2, 189-208 (1971). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面 引用于201文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{R.E.Fikes}和\textit{N.J.Nilsson}，Artif。因特尔。2189--208（1971年；Zbl 0234.68036） 全文： 内政部 参考文献： [1] Nilsson，N.J.，《人工智能中的问题解决方法》（1971年），McGraw-Hill图书公司：纽约McGraw-Hill图书公司 [2] Munson，J.H.，《不确定环境中的机器人规划、执行和监控》，（第二届国际联合人工智能大会，第二届世界联合人工智能会议，英国伦敦（1971年9月13日）） [3] Fikes，R.E.，监测STRIPS制定的机器人计划的执行情况（Proc.IFIP 71）。程序。IFIP 71，南斯拉夫卢布尔雅那（1971年8月） [4] Green，C.，《定理证明在问题解决中的应用》（Proc.International Joint Conf.Artificial Intelligence） [5] Raphael，B.，《问题解决系统中的框架问题》（Proc.Adv.Study Inst.on Artificial Intelligence and Heuristic Programming） [6] 恩斯特·G。；Newell，A.，《全球定位系统：概括性和问题解决的案例研究》，（ACM专题丛书（1969），学术出版社：纽约学术出版社）·Zbl 0187.13302号 [7] 加维，T。；Kling，R.，《QA3.5问答系统用户指南》，斯坦福研究所人工智能小组技术说明15（1969年12月），加利福尼亚州门罗公园 [8] 瓦尔丁格，R。；Lee，R.，PROW:朝向自动程序编写迈出的一步，（《国际人工智能大会》，《国际人工智慧大会》，华盛顿特区（1969年5月）） [9] Manna，Z。；Waldinger，R.，走向自动程序合成，美国计算机学会通讯。，14，第3号（1971年3月）·Zbl 0214.43006号 [10] 哈特，体育。；Nilsson，N.J.，《作为学习方法的广义计划的制定》（斯坦福研究所人工智能小组备忘录（1971年4月5日），麻省理工学院MAC项目：MAC项目，麻省技术学院门罗公园，加利福尼亚州） [11] Hewitt，C.，PLANNER：机器人模型操作和定理证明语言，（人工智能备忘录第168号（1970年8月），麻省理工学院MAC项目：麻省理工科学院剑桥MAC项目），（修订版） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。