文献类型：期刊文章

作　　者：陈建中[1] 刘大有[1] 唐海鹰[1] 胡明[2]

机构地区：[1]吉林大学计算机科学系 [2]吉林工学院计算机系,长春130012

出　　处：《软件学报》

基　　金：国家自然科学基金;国家863高科技项目基金;国家教育部博士点基金;吉林大学符号计算与知识工程国家教育部开放实验室资金

年　　份：1999

卷　　号：10

期　　号：7

起止页码：778-784

语　　种：中文

收录情况：AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：ＢＤＩ（信念、期望和意图）逻辑是当前ａｇｅｎｔ理论研究的热点课题之一，相关研究工作较少涉及对ａｇｅｎｔ间通信的描述．文章旨在提出一个能表示和推理多ａｇｅｎｔ间基于言语行为理论的通信行为的扩展ＢＤＩ逻辑．该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑，除了包含标准ＢＤＩ逻辑的模态和时态算子之外，还引入了一些必要的逻辑算子和构造符，用于刻画ａｇｅｎｔ为实现其意图而具有的规划能力，以及对多ａｇｅｎｔ通信给出正确的语用解释．文章讨论了逻辑的语法和语义。

关 键 词：多agent通信  言语行为 BDI逻辑  人工智能 DAI

分 类 号：TP18]