Sacerdoti，伯爵D。 在抽象空间的层次结构中进行规划。 （英语） Zbl 0288.68052号 Artif公司。智力。 5, 115-135 (1974). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于46文件 MSC公司： 68吨10 模式识别、语音识别 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：DENDRAL公司 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Sacerdoti}，阿蒂夫。智力。5115--135（1974年；Zbl 0288.68052） 全文： 内政部 参考文献： [1] 布坎南，B。；萨瑟兰，G。；Feigenbaum，E.，HEURISTIC DENDRAL:有机化学中生成解释性假设的程序，（Meltzer，B.；Michie，D.，《机器智能》，4（1969），美国爱思唯尔：美国爱思惟尔纽约），209-254·Zbl 0217.54302号 [2] 恩斯特·G。；Newell，A.，《全球定位系统：概括性和问题解决的案例研究》，（ACM专题丛书（1969），学术出版社：纽约学术出版社）·兹比尔0187.13302 [3] Fikes，R.E。；哈特，体育。；新泽西州尼尔森，《学习和执行通用机器人计划》，人工智能，3251-288（1972） [4] Fikes，R.E。；Nilsson，N.J.，STRIPS:将定理证明应用于问题解决的新方法，《人工智能》，第2期，第3/4期，189-208页（1971年）·Zbl 0234.68036号 [5] Hewitt，C.，《PLANNER的描述和理论分析（使用图式）：机器人中证明定理和操纵模型的语言》（1972年麻省理工学院数学系博士论文：麻省理工科大学剑桥分校数学系） [6] Kelly，M.D.，《使用规划通过计算机进行图像边缘检测》（Meltzer，B.；Michie，D.，《机器智能》，6（1971），美国爱思唯尔：美国爱思惟尔纽约），397-409 [7] 麦卡锡，J。；Hayes，P.，《从人工智能的角度来看的一些哲学问题》（Meltzer，B.；Michie，D.，《机器智能》，4（1969），美国爱思唯尔：美国爱思惟尔纽约），463-502·Zbl 0226.68044号 [8] A.纽厄尔。；肖，J.C。；Simon，H.A.，《关于一般问题解决计划的报告》，（信息处理实习生会议（1960年），教科文组织：巴黎教科文组织），256-264·Zbl 0112.08502号 [9] Pólya，G.，《如何解决它》（1945），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），第8页·JFM 46.0241.01号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。