中文摘要：

将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统，并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合．以此为基础，提出了多智能体系统中并发动态知识、信念和肯定性逻辑，简称CDKBC逻辑．为了对CDKBC逻辑进行解释，也给出了CDKBC模型，并且讨论了知识、信念和肯定性之间的关系，即知识蕴涵着肯定性，肯定性蕴涵着信念．文中也给出了一个相应的证明系统（即公理系统），证明了该系统是可靠的和完备的，并且证明了系统的有效性问题是EXPTIME完全的．最后论文给出了CDKBC逻辑的实例．

英文摘要：

This paper extends the logic of Knowledge, Belief and Certainty （KBC） for one agent to that for multi-agent systems. It presents a Concurrent Dynamic logic of Knowledge, Belief and Certainty for MAS, which is called CDKBC logic, with a good combination between logic of KBC and action modalities that have concurrent and dynamic properties in multi-agent systems. Furthermore, a CDKBC model is given for interpreting this logic. The authors construct a CDKBC proof system for the logic and show the proof system is sound and complete, where the validity problem for the system will be proved to be EXPTIME-complete and give an application of the CDKBC logic.