本文主要针对基于自动推理技术的规划方法予以研究，分别考虑经典规划问题基于命题逻辑的规划方法和规划问题基于模态逻辑的规划方法，主要包括如下工作: 1)综述基于自动推理技术的规划方法的研究现状。 2)提出基于Graphplan的编码和基于状态的编码中重叠公理的判定策略和冗余公理的删除策略;在基于Graphplan的编码方式的基础上，通过压缩动作互斥公理和添加框架公理设计并实现两种新的编码方式:基于PMA的编码方式和基于FA的编码方式。 3

使用的函数（非自己编写）：dib.cpp（附上）功能：1．BMP图的读写；2．画直方图；3. 存直方图；4．迭代算法求得阈值并进行二值化；5．任意输入并进行二值化（供比较）；6. 保存新图或者恢复原图。pS:Public类中的文件地址指针是全局变量。-use of the function (their preparation) : dib.cpp (attached) functions : 1. BMP map reading an

JPlan is a java implementation of GraphPlan, a fast domain independent planner. JPlan allows developers and researchers to use and experiment with this planner, build variants of GraphPlan, and add a planning capability

Blackbox是通过将STRIPS的entire说明转换为布尔型满足问题的规划系统，用于解决多种当前满足的引擎，融合了约束满足和图规划技术。 -Blackbox is a planning system that works by converting problems specified in STRIPS notation into Boolean satisfiability problems, and then solvi