期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
支持多Agent通信的扩展BDI逻辑 被引量：15
1
作者 陈建中 刘大有 +1 位作者 唐海鹰 胡明 《软件学报》 EI CSCD 北大核心 1999年第7期778-784,共7页
ＢＤＩ（信念、期望和意图）逻辑是当前ａｇｅｎｔ理论研究的热点课题之一，相关研究工作较少涉及对ａｇｅｎｔ间通信的描述．文章旨在提出一个能表示和推理多ａｇｅｎｔ间基于言语行为理论的通信行为的扩展ＢＤＩ逻辑．该逻辑是一个多... ＢＤＩ（信念、期望和意图）逻辑是当前ａｇｅｎｔ理论研究的热点课题之一，相关研究工作较少涉及对ａｇｅｎｔ间通信的描述．文章旨在提出一个能表示和推理多ａｇｅｎｔ间基于言语行为理论的通信行为的扩展ＢＤＩ逻辑．该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑，除了包含标准ＢＤＩ逻辑的模态和时态算子之外，还引入了一些必要的逻辑算子和构造符，用于刻画ａｇｅｎｔ为实现其意图而具有的规划能力，以及对多ａｇｅｎｔ通信给出正确的语用解释．文章讨论了逻辑的语法和语义。 展开更多
关键词 多agent通信 言语行为 bdi逻辑 人工智能 DAI
下载PDF
基于行动逻辑的智能主体行为表征研究 被引量：8
2
作者 张晓君 郝一江 《重庆理工大学学报（社会科学）》 CAS 2013年第1期13-19,共7页
在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进... 在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。 展开更多
关键词 行为 智能主体 行动逻辑 bdi逻辑 动态认知行动逻辑
下载PDF
纤维逻辑 被引量：1
3
作者 邱莉榕 杨柳 史忠植 《计算机科学》 CSCD 北大核心 2006年第1期1-3,共3页
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但... 形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方。本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体 BDI 建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望。 展开更多
关键词 形式逻辑 bdi逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性
下载PDF
信念-愿望-意图逻辑探析 被引量：3
4
作者 林颖 张晓君 《重庆理工大学学报（社会科学）》 CAS 2016年第3期18-24,共7页
在理性主体寻求达成其目的的过程中,信念、愿望和意图起着重要的作用。由Rao和Georgeff提出的信念-愿望-意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分(比如:信念、愿望、意图和承诺)是如何进... 在理性主体寻求达成其目的的过程中,信念、愿望和意图起着重要的作用。由Rao和Georgeff提出的信念-愿望-意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分(比如:信念、愿望、意图和承诺)是如何进行形式化的。另外,不同类型的理性主体可以通过添加特定的条件来进行建模。 展开更多
关键词 信念 愿望 意图 承诺 bdi逻辑
下载PDF
信念-愿望-意图理论及其形式化研究 被引量：2
5
作者 林颖 张晓君 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2015年第1期5-9,共5页
从Bratman(1987)的信念-愿望-意图理论出发,考察了该理论在逻辑中的形式化,比如Cohen和Levesque(1990)的BDI逻辑。Bratman认为:信念、愿望和意图在人的行为中扮演着重要的作用;意图不仅仅是一个愿望,而且是主体不会轻易放弃的承诺;意图... 从Bratman(1987)的信念-愿望-意图理论出发,考察了该理论在逻辑中的形式化,比如Cohen和Levesque(1990)的BDI逻辑。Bratman认为:信念、愿望和意图在人的行为中扮演着重要的作用;意图不仅仅是一个愿望,而且是主体不会轻易放弃的承诺;意图具有惯性,而且是进一步实际推理的一个输入;为了对信念、愿望和意图加以区分,他引入了"前态度"的概念。Cohen和Levesque(1990)的BDI逻辑给出了Bratman(1987)的信念-愿望-意图理论的形式语义,行动、时间、信念和偏好在此逻辑中占据着重要地位。 展开更多
关键词 信念 愿望 意图 偏好 bdi逻辑
下载PDF
带有情感算子的Agent形式化系统研究
6
作者 夏幼明 《云南民族大学学报（自然科学版）》 CAS 2011年第5期398-401,共4页
随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent... 随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系. 展开更多
关键词 Agent形式化系统 情感算子 bdi逻辑 VSK逻辑
下载PDF
带有偏爱算子的等级信念-愿望-意图逻辑研究
7
作者 陈亚楠 《贵州工程应用技术学院学报》 2021年第2期37-42,共6页
在经典命题逻辑的基础上,运用Pavelka有理数逻辑以及克里普克语义学,建立起来的带有偏爱算子的等级信念-愿望-意图(简称BDI)逻辑系统可以对主体心智状态的强烈程度进行柔性化处理,为Agent(主体、真体、智能)的决策行为进行精确的数值计... 在经典命题逻辑的基础上,运用Pavelka有理数逻辑以及克里普克语义学,建立起来的带有偏爱算子的等级信念-愿望-意图(简称BDI)逻辑系统可以对主体心智状态的强烈程度进行柔性化处理,为Agent(主体、真体、智能)的决策行为进行精确的数值计算以及形式化的逻辑推理,此模型具有广泛的应用价值。 展开更多
关键词 偏爱算子 等级bdi逻辑 心智状态 决策行为
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部