该文在分析ＭＩＣＨＡＥＬ ＷＯＯＬＤＲＩＤＧＥ用于多智能体系统的形式方法的基础上，指出了其缺点和不足给出了一个扩展时态信念逻辑，使它的模型能更真实地反映客观世......