A formal description framework of temporal conflicts in multi-agent virtual warehouse collaboration system based on ITL

It is inevitable to appear conflicts which are constituted by properties and sequences of events in multi-agent virtual warehouse collaboration system, because of the agents' characteristics of autonomy and heterogeneity. Temporal logic is the key to describe them. ITL includes a total of thirteen kinds of complete disjoint and joint sessions to describe the relationship among time. On this basis, we proposed a framework for formal description of temporal conflicts in MAS, and verified the framework in multi-agent virtual warehouse collaboration system. The framework contributes to more intuitive understanding of the essence of temporal conflict, and lays a good foundation for the resolution of conflicts and the stable operation of the system.