论文部分内容阅读
基于模型检测的规划方法是最近发展起来的新方法，它可以处理带有不确定性的规划问题．分别设计了对求弱规划解、强规划解和强循环规划解的问题中的状态进行分层的方法．状态被分层后，求规划解只需要在从上层到其下一层状态之间寻找状态动作序偶就可以了，其他状态动作序偶都可以去掉．分别荻得了求弱规划解、强规划解和强循环规划解时状态被分层后的一些重要性质，这些性质是关于一些状态动作序偶是否可以不参与构成弱规划解、强规划解和强循环规划解的结论．通过所获得的性质可以将大量的状态动作序偶直接去掉，从而减少问题规模．以往的对基于模型