原文传递
基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究
| 题名： | 基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究 |
| 正文语种： | 中文 |
| 作者： | 张恒；姜大立；邓韧；姜玉宏 |
| 关键词： | 时段时态逻辑；多智能体物流系统；动态冲突；形式化描述 |
| 摘要： | 由于Agent的自治性和异构性等特征，多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象，时序逻辑是描述它们的关键。ITL一共包括十三种互不相交且联合完备的时段关系来描述时段之间的关系，在此基础上，提出了一种针对多智能体物流系统中存在的动态冲突的形式化描述框架，并以简单的采购子系统为例进行了验证。 |
| 期刊名称： | 物流技术 |
| 出版年： | 2011 |
| 期： | 12 |
| 页码： | 125-128 |
检索历史
应用推荐
