在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求朋最务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言——CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为.
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.