| 基于CPDL模型检验的装配序列规划 |
| |
| 引用本文： | 李雅楠,古天龙,常亮.基于CPDL模型检验的装配序列规划[J].桂林电子科技大学学报,2011,31(2):115-119. |
| |
| 作者姓名： | 李雅楠 古天龙 常亮 |
| |
| 作者单位： | 桂林电子科技大学计算机科学与工程学院; |
| |
| 基金项目： | 国家自然科学基金(60963010) |
| |
| 摘 要： | 模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点.由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配...
|
| 关 键 词： | 装配序列规划 模型检验 命题动态逻辑 拆卸 |
Assembly sequence planning based on CPDL model checking |
| |
| Li Yanan,Gu Tianlong,Chang Liang.Assembly sequence planning based on CPDL model checking[J].Journal of Guilin Institute of Electronic Technology,2011,31(2):115-119. |
| |
| Authors: | Li Yanan Gu Tianlong Chang Liang |
| |
| Affiliation: | Li Yanan,Gu Tianlong,Chang Liang (School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| Abstract: | The artificial intelligence planning by model checking has become a hot spot in AI planning because of its higher efficiency.Propositional dynamic logic planning based on model checking can not solve planning problem with disassembly.A symbolic model checking algorithm for proposition dynamic logic with converse is presented in this paper.The CPDL symbolic model checker is implemented.We give the solution of CPDL symbolic model checking for assembly sequence planning which is one of AI planning.The feasibil... |
| |
| Keywords: | assembly sequence planning model checking proposition dynamic logic disassembly |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
