首页 | 本学科首页   官方微博 | 高级检索  
     

基于模型检测的命题动态逻辑规划
引用本文:韦林,古天龙,常亮.基于模型检测的命题动态逻辑规划[J].桂林电子科技大学学报,2010,30(2):150-153.
作者姓名:韦林  古天龙  常亮
作者单位:桂林电子科技大学,计算机与控制学院,广西,桂林,541004
摘    要:命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具.PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全.与可满足性推理相对应,PDL模型检测问题具有多项式级别的时间复杂度.鉴于PDL模型检测的高效,对基于模型检测的PDL规划求解进行研究,从PDL规划语义的角度证明了PDL规划可以通过模型检测的方法求解,在这基础上给出基于模型检测的PDL规划算法,结合实例验证了算法的正确性.

关 键 词:动态命题逻辑  模型检测  规划

Propositional dynamic logic planning base on model checking
Wei Lin,Gu Tianlong,Chang Liang.Propositional dynamic logic planning base on model checking[J].Journal of Guilin Institute of Electronic Technology,2010,30(2):150-153.
Authors:Wei Lin  Gu Tianlong  Chang Liang
Abstract:
Keywords:
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号