该论文研究探讨了不确定规划中状态循环可达问题的求解方法。

简介：
在不确定规划的环境下，不确定状态转移系统寻找规划解的进程往往会耗费大量时间和精力，去往并评估了诸多毫无意义的状态和动作，从而导致了冗余的计算过程。 明确获取不确定状态转移系统的状态可达性关系，能够有效地避免这些无效的搜索，显著减少冗余的计算量，并为系统提供必要的指引信息。 基于非循环可达关系的原则，我们构建了矩阵运算的规则，并利用系统的邻接矩阵来计算可达矩阵。 此外，我们首次对循环可达关系进行了分类，例如二可达关系等，并设计出了一种用于求解循环可达关系的算法，并通过实例证明了该算法的有效性和准确性。 在不确定规划领域中，获得状态间的可达性关联对于优化规划解的求解过程至关重要；它能够大幅度地删除大量的冗余状态动作组合，从而降低问题的复杂度，最终提高解决规划问题的整体效率。