| 基于模型检验的规划综述 |
| |
| 引用本文： | 季磊. 基于模型检验的规划综述[J]. 计算机工程与设计, 2007, 28(11): 2658-2661,2670 |
| |
| 作者姓名： | 季磊 |
| |
| 作者单位： | 解放军总医院计算机室,北京,100853 |
| |
| 摘 要： | 基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高.详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势.
|
| 关 键 词： | 规划 模型检验 基于模型检验的规划 符号化 二元判定图 |
| 文章编号： | 1000-7024（2007）11-2658-04 |
| 修稿时间： | 2006-06-15 |
Survey of planning as model checking |
| |
| JI Lei. Survey of planning as model checking[J]. Computer Engineering and Design, 2007, 28(11): 2658-2661,2670 |
| |
| Authors: | JI Lei |
| |
| Affiliation: | PLA General Hospital Computer Department, Beijing 100853, China |
| |
| Abstract: | Planning as model checking is a very hot branch in the field of general planning research, because this approach solve various planning problem efficiently. The development and state-of-art of planning as model checking are expatiated. As a starting point, the basic framework and principles of planning as model checking are introduced. Then some important applications of model checking techniques into the field of planning are presented. Two classical planers based on model checking are also introduced. Finally, the developing trends are analyzed. |
| |
| Keywords: | planning model checking planning as model checking symbolic BDDs |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
