基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究 |
| |
引用本文: | 张恒,姜大立,邓韧,姜玉宏.基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究[J].物流技术,2011(23):125-128. |
| |
作者姓名: | 张恒 姜大立 邓韧 姜玉宏 |
| |
作者单位: | 后勤工程学院研究生管理大队;后勤工程学院后勤信息工程系; |
| |
基金项目: | 国家自然科学基金项目“基于Multi-agent的军事虚拟仓库协同模型研究”(70871119); 基于本体的应急物流Multi-agent建模与应急任务协同求解(71101152) |
| |
摘 要: | 由于Agent的自治性和异构性等特征,多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象,时序逻辑是描述它们的关键。ITL一共包括十三种互不相交且联合完备的时段关系来描述时段之间的关系,在此基础上,提出了一种针对多智能体物流系统中存在的动态冲突的形式化描述框架,并以简单的采购子系统为例进行了验证。
|
关 键 词: | 时段时态逻辑 多智能体物流系统 动态冲突 形式化描述 |
本文献已被 CNKI 等数据库收录! |
|