本文主要针对基于自动推理技术的规划方法予以研究,分别考虑经典规划问题基于命题逻辑的规划方法和Conformant规划问题基于模态逻辑的规划方法,主要包括如下工作:1)综述基于自动推理技术的规划方法的研究现状。2)提出基于Graphplan的编码和基于状态的编码中重叠公理的判定策略和冗余公理的删除策略;在基于Graphplan的编码方式的基础上,通过压缩动作互斥公理和添加框架公理设计并实现两种新的编码方式:基于PMA的编码方式和基于FA的编码方式。3)在基于动作的编码方式的基础上,提出一种新的利用约简动作变元得到的、仅依赖于表示状态的命题变元的编码方式:基于命题的编码方式。4)通过分析Conformant规划的语义,提出新的基于模态逻辑的规划框架和两种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D公理系统的定理证明过程等同于原问题的规划过程,并通过实例验证基于模态逻辑的Conformant规划方法的有效性。5)通过分析不确定性动作在多可能世界下的副作用,对基于模态逻辑的Conformant规划方法的推理能力予以界定,提出两种能够处理通用定义的Conformant规划问题的组合规划方法:朴素的组合规划方法和带约束的组合规划方法,并通过实例验证基于模态逻辑的Conformant组合规划方法的有效性。