1) planning as model checking
基于模型检验的规划
1.
Survey of planning as model checking;
基于模型检验的规划综述
2) PMBC
基于协作的规划模型
1.
A Plan Model Based on Cooperation(PMBC) and its three elements including precondition, action and ending condition are introduced in this paper, Multi-Agent cooperation is implemented by preplanning the specifical state and local cooperation.
该文介绍了一种基于协作的规划模型及此模型的前提、动作和终止条件三要素,通过对特定状态和局部协作的提前规划,有效地实现了多智能体系统中智能体间的协作。
2.
In this paper,a Plan Model Based on Cooperation(PMBC) and its three elements including precondition,action,ending condition are introduced.
本文介绍了一种基于协作的规划模型及其前提、动作、终止条件三要素,并且把此规划模型运用到了机器人足球比赛中,实践证明在多智能体系统中应用此规划模型不仅能够提高单个智能体的反应速度,还可以提高整个多智能体系统的运行效率。
3) model checking-based testing
基于模型检验的测试
4) model checking integrated planning system
模型检验集成规划系统
5) Rule-based Planning
基于规则的规划
6) planning with templates
基于模板规划
补充资料：城市总体规划与国土规划、区域规划的关系
国土规划、区域规划、城市总体规划是在不同层次、涉及不同地域范围的发展规划。国土规划、区域规划、城市总体规划组成一个完整的规划系列，国土规划和区域规划应当是城市总体规划的重要依据。而全国和区域性的江河流域、土地利用等专业规划则是国土和区域规划的重要组成部分，城市土地利用规划又是城市总体规划的重要组成部分。
我国的国土规划、区域规划以及江河流域规划、区域性土地利用总体规划等工作起步较晚，目前正在有计划、有重点地逐步展开，还没有法定的审批程序和审批成果。而全国绝大多数城市总体规划已经各级政府按法定程序审批，并在不断完善和深化，在实际工作中存在着相互联系和交叉的情况，因此本法原则确定应当相互协调的关系是必要的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条