Thus, it can be a proper logic basis for describing multi-Agent cooperation and competition that involve concurrent, and it can advance the work in Agent models developed by Rao & Georgeff, Singh and Werner et al.

• 为基于并发的多Agent合作和竞争提供了合适的逻辑基础；推进了Rao &Georgeff；Singh和Werner等人有关Agent模型方面的工作.