詹姆斯·F·艾伦。 作为时间推理的规划。 （英语） Zbl 0765.68195号 知识表示和推理原理。第二届国际会议，剑桥/马萨诸塞州（美国）1991，3-14（1991）。 摘要：[有关整个系列，请参阅Zbl 0747.00023号.]本文描述了一个基于时序逻辑的推理系统，该系统可以按照传统规划系统的思路解决规划问题。然而，由于它是作为一般表示法中的推理来进行的，因此可以描述的问题范围要比传统的规划系统大得多。此外，计划推理的其他模式，如计划识别或计划监控，可以在同一框架内形式化。 引用于18文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68吨15 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：推理;规划系统 引文：Zbl 0747.00023号 PDF格式 BibTeX公司 XML格式 引用 \textit{J.F.Allen}，in：知识表示和推理原理。1991年4月22日至25日，美国马萨诸塞州坎布里奇市，第二届国际会议记录（KR’91）。加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.。3-14（1991；Zbl 0765.68195） 打开URL