基于多子集语义的并发Agent模型

摘要

在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可以分为相关和不相关两类,在Agent合作或竞争的情形下,存在大量相关的并发行为,Agent必须有能力对这些行为进行推理。针对多Agent系统中各Agent并发动作的特点,通过多子集语义,避免了逻辑全知及副作用等问题,通过区分宏观时间和微观时间,给出一个交叠式并发的语义模型,描述了宏观时间中的并发性,为基于并发的多Agent合作与竞争提供了逻辑基础。