基于自动推理技术的智能规划方法研究本文主要针对基于自动推理技术的规划方法予以研究，分别考虑经典规划

Title: 基于自动推理技术的智能规划方法研究

Description: 本文主要针对基于自动推理技术的规划方法予以研究，分别考虑经典规划问题基于命题逻辑的规划方法和规划问题基于模态逻辑的规划方法，主要包括如下工作: 1)综述基于自动推理技术的规划方法的研究现状。 2)提出基于Graphplan的编码和基于状态

Downloaders recently: [More information of uploader xinhua123]

To Search:

File list (Check if you may need any files):

Main Category