Temporal Logical Based Virtual Organization Activity Planning
基于时态逻辑的虚拟企业活动规划

1 引言常规的组织(或个人)为了提高竞争能力和快速响应市场变化的能力,需要合作组成虚拟企业。虚拟企业根据外界的情况决定自己的生产活动。虚拟企业活动规划对协调其活动很重要。文中,MTL(Metric Temporal Logic,一种时态逻辑)被用来对agent的活动进行规划。MTL是以单位时间计数来指示时间的持续,如活动a在三个单位时间内完成可表示为(a,3)。在现实中,给出完成一个活动所需要的时间范围更合理。如活动a在二至三个单位时间内完成可表示为(a,2,3)。将活动所需要的时间从一个时间段扩展到一个范围是文对MTL扩展的部分,记为EMTL(Extern Metric TemporalLogic)。本文在EMTL的基础上对虚拟企业活动建模,并对其进行规划。