吕、帅;刘磊;石，廉;李莹 基于自动推理技术的人工智能规划方法。 （中文。英文摘要） 兹比尔1212.68108 J.软件。 20，第5期，1226-1240（2009）. 小结：本文介绍了将自动推理技术与规划方法相结合的具体细节，包括使用命题逻辑将规划作为可满足性，使用模态逻辑和析取推理将符合规划作为非单调逻辑，将柔性规划作为模糊描述逻辑。在考虑了国际规划竞赛的实验结果和相关论文后，得出结论：基于自动推理技术的规划方法是有益的，可以采用。此外，还提出了挑战和可能的热点。 MSC公司： 68时01分 人工智能的一般主题 68T27型 人工智能中的逻辑 关键词：智能规划;命题逻辑;模态逻辑;非单调逻辑;描述逻辑;自动推理 PDF格式BibTeX公司 XML格式引用 \textit{S.Lü}等人，J.Softw。20，第5号，1226--1240（2009；Zbl 1212.68108） 全文： 内政部