多Agent通讯的语用解释

摘要

为有效描述多ａｇｅｎｔ系统中的通讯行为，该文基于言语行为理论，给出一个多类、带量词并具有分枝时序结构的一阶多模态扩展ＢＤＩ逻辑，通过引入一些必要的逻辑算子和构造符，刻划了ａｇｅｎｔ为实现其意图而具有的规划能力，并重点对多ａｇｅｎｔ通讯给出语用解释。文中讨论了该逻辑的语法和语义，并对言语行为进行了逻辑分类和解释。