智能规划中领域知识获取和知识推理算法的研究

智能规划是人工智能研究中的一个重要领域，也是目前人工智能中的研究热点之一。智能规划研究的核心课题是规划策略的研究，而规划策略的优劣在很大程度上取决于对领域知识的掌握和应用。本课题以规划领域定义为研究对象，分析规划动作的模型和定义信息，设计出一种领域知识的自动提取方法，把规划领域定义者所隐含的领域知识显式地表达出来，然后利用领域定义中的领域公理和规划动作之间的相互作用对所提取的领域知识进行形式化推理，获得反映规划领域内在规律的更深次层的领域知识，最后设计出应用这些领域知识进行规划求解的算法，并在Linux环境下实现一个智能规划系统来检验规划策略的有效性。