基于ITL的多智能体物流系统中动态冲突的形式化描述框架研究

由于Agent的自治性和异构性等特征,多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象,时序逻辑是描述它们的关键。ITL一共包括十三种互不相交且联合完备的时段关系来描述时段之间的关系,在此基础上,提出了一种针对多智能体物流系统中存在的动态冲突的形式化描述框架,并以简单的采购子系统为例进行了验证。