中文摘要：

基于模型检测的规划方法可以处理带有不确定性的规划问题，应用前景广阔，近年得到了快速发展。本项目首先建立一个不确定状态转移系统对应的与或图的矩阵，设计求不确定状态转移系统的状态之间的可达关系的方法。获得用模型检测规划方法求弱、强和强循环规划解的一些重要性质。这些性质是关于一些状态转移是不可能或是不必要参与构成弱、强和强循环规划解的结论。根据不确定状态转移系统的状态之间的可达关系，设计对求弱、强和强循环规划解的问题中的状态进行分层的方法，获得求弱、强和强循环规划解时状态被分层后的一些重要性质，这些性质是关于一些状态转移是否可以不参与构成弱、强和强循环规划解的结论。根据不确定状态转移系统中的状态之间的可达关系，建立一个状态下每个动作的启发式信息。在此基础上，重新设计对可达性目标求弱规划、强规划和强循环规划的算法，并根据我国物流行业日益发展的需求，设计一个区域物流规划器。

结论摘要：

基于模型检测的规划方法可以处理带有不确定性的规划问题，应用前景广阔，近年得到了快速发展。本项目首先建立了一个不确定状态转移系统对应的与或图的矩阵，设计了求不确定状态转移系统的状态之间的可达关系的方法。获得了用模型检测规划方法求弱、强和强循环规划解的一些重要性质。这些性质是关于一些状态转移是不可能或是不必要参与构成弱、强和强循环规划解的结论。根据不确定状态转移系统的状态之间的可达关系，设计了对求弱、强和强循环规划解的问题中的状态进行分层的方法，获得了求弱、强和强循环规划解时状态被分层后的一些重要性质，这些性质是关于一些状态转移是否可以不参与构成弱、强和强循环规划解的结论。本项目根据前面获得的不确定状态转移系统中的状态之间的可达关系，建立了一个状态下每个动作的启发式信息。在此基础上，重新设计了对可达性目标求弱规划、强规划和强循环规划的算法，并根据我国物流行业日益发展的需求，设计了一个区域物流规划器。