The joint behaviors of intelligent agents

Joint behaviors widely existing in intelligent systems are important to investigate the cooperation among intelligent agents. In this paper, we put forward a comprehensive and novel model of joint behaviors in support of analysis and design of intelligent systems. The model includes two kinds of joint behaviors, their formal semantics are defined, and important properties are discussed, specified and proved.