基于KQML的多智能体系统建模与验证.PDF

第 卷 第 期 桂林电子科技大学学报 ， ３２ ３ Ｖｏｌ．３２ Ｎｏ．３ 　 年 月 ２０１２ ６ ＪｏｕｒｎａｌｏｆＧｕｉｌｉｎＵｎｉｖｅｒｓｉｔ ｏｆＥｌｅｃｔｒｏｎｉｃＴｅｃｈｎｏｌｏ Ｊｕｎ．２０１２ 　 　 　 　 　 ｙ 　 　 ｇｙ 　 　 基于ＫＱＭＬ 的多智能体系统建模与验证 １ ２ １