论文部分内容阅读
要生成合理的群体行为需要在群体的协同行为规划中考虑实体之间的临场交互并对之进行验证,现有的方法无法满足需求.使用任务逻辑中的交互描述方法和任务语义,给出了一种能描述主体之间的临场交互的群体协同行为规划和验证方法.证明了通过单实体对协同行为的分别验证可以实现对群体协同行为规划的整体验证,实现了群体协同行为模型验证的局部化.