A Cooperation Behaviors Description Language of Multiple Intelligent Virtual Agents Based on Situation Calculus

In the framework of situation calculus,ConGolog is extended to CTConGolog by introducing the true concurrency of actions and the corresponding semantics,and adding the communication actions such as request,promise and result referring to FIPA-ACL.Meanwhile,a type of requirement/service cooperation model and the corresponding semantics are proposed based on CTConGolog.What is more,the meta actions is introduced for implementing the animation of various complex behaviors.Consequently,we developed a cooperation behaviors description language （CBDL） of intelligent virtual agents.Experimental results show that CBDL can describe the behaviors of multiple intelligent virtual agents by reasoning and cooperation in a dynamic environment.