阐述了Ａｇｅｎｔ的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。建立了Ａｇｅｎｔ－ＢＤＩ逻辑的代表系统Ａ－ＢＩ，讨论了它的语法和语......