支持多Agent通信的扩展BDI逻辑

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

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。

信念-愿望-意图逻辑探析

在理性主体寻求达成其目的的过程中,信念、愿望和意图起着重要的作用。由Rao和Georgeff提出的信念-愿望-意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分(比如:信念、愿望、意图和承诺)是如何进行形式化的。另外,不同类型的理性主体可以通过添加特定的条件来进行建模。

纤维逻辑

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方。本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体 BDI 建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望。

带有偏爱算子的等级信念-愿望-意图逻辑研究

在经典命题逻辑的基础上,运用Pavelka有理数逻辑以及克里普克语义学,建立起来的带有偏爱算子的等级信念-愿望-意图(简称BDI)逻辑系统可以对主体心智状态的强烈程度进行柔性化处理,为Agent(主体、真体、智能)的决策行为进行精确的数值计算以及形式化的逻辑推理,此模型具有广泛的应用价值。

信念-愿望-意图理论及其形式化研究

从Bratman(1987)的信念-愿望-意图理论出发,考察了该理论在逻辑中的形式化,比如Cohen和Levesque(1990)的BDI逻辑。Bratman认为:信念、愿望和意图在人的行为中扮演着重要的作用;意图不仅仅是一个愿望,而且是主体不会轻易放弃的承诺;意图具有惯性,而且是进一步实际推理的一个输入;为了对信念、愿望和意图加以区分,他引入了"前态度"的概念。Cohen和Levesque(1990)的BDI逻辑给出了Bratman(1987)的信念-愿望-意图理论的形式语义,行动、时间、信念和偏好在此逻辑中占据着重要地位。

带有情感算子的Agent形式化系统研究

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.