模型检测规划中的状态分层方法

作者：文中华; 黄巍; 刘任任; 姜云飞

来源：软件学报, 2009, (04): 858-869.

• 模型检测
• 状态分层
• 不确定规划
• 正向搜索
• 状态动作序偶 model checking
• hierarchical state
• planning under uncertainty
• forward search
• state-action pair

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

• 出版日期2009
• 单位中山大学; 湘潭大学; 华南理工大学