Introduction - If you have any usage issues, please Google them yourself
本文主要针对基于自动推理技术的规划方法予以研究,分别考虑经典规划问题基于命题逻辑的规划方法和规划问题基于模态逻辑的规划方法,主要包括如下工作: 1)综述基于自动推理技术的规划方法的研究现状。 2)提出基于Graphplan的编码和基于状态
Packet : 基于自动推理技术的智能规划方法研究.zip filelist
基于自动推理技术的智能规划方法研究.kdh