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

摘要

由于Agent的自治性和异构性等特征,多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象,时序逻辑是描述它们的关键.ITL一共包括十三种互不相交且联合完备的时段关系来描述时段之间的关系,在此基础上,提出了一种针对多智能体物流系统中存在的动态冲突的形式化描述框架,并以简单的采购子系统为例进行了验证.%Due to the autonomy and heterogeneity of Agent, the multi-Agent logistics system is inevitably rich in conflicts consisting of system attributes and event sequences, for whose description, the temporal logics is critical. Interval temporal logic(ITL) includes thirteen mutually disjoint temporal sequences which can be joined to form a continuous whole, on the basis of which, the paper proposes a formal descriptive framework for the dynamic conflicts in multi-Agent logistics systems and verifies its feasiblity using a simple purchasing subsystem.