期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
AgentSpeak中意图生成过程的可靠性与完整性研究
1
作者
杨博
邵利平
覃征
《计算机科学》
CSCD
北大核心
2011年第3期236-242,共7页
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent...
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpeak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论——AgentSpeak中的意图执行是可靠而完整的,从而验证了AgentSpeak中软件Agent意图完成目标的正确性。
展开更多
关键词
AgentSpeak
意图生成
Agent编程语言
模型论语义
bdiagent
在线阅读
下载PDF
职称材料
基于Q-learning的不确定环境BDI Agent最优策略规划研究
被引量：
8
2
作者
万谦
刘玮
+1 位作者
徐龙龙
郭竞知
《计算机工程与科学》
CSCD
北大核心
2019年第1期166-172,共7页
BDI模型能够很好地解决在特定环境下的Agent的推理和决策问题,但在动态和不确定环境下缺少决策和学习的能力。强化学习解决了Agent在未知环境下的决策问题,却缺少BDI模型中的规则描述和逻辑推理。针对BDI在未知和动态环境下的策略规划问...
BDI模型能够很好地解决在特定环境下的Agent的推理和决策问题,但在动态和不确定环境下缺少决策和学习的能力。强化学习解决了Agent在未知环境下的决策问题,却缺少BDI模型中的规则描述和逻辑推理。针对BDI在未知和动态环境下的策略规划问题,提出基于强化学习Q-learning算法来实现BDI Agent学习和规划的方法,并针对BDI的实现模型ASL的决策机制做出了改进,最后在ASL的仿真平台Jason上建立了迷宫的仿真,仿真实验表明,在加入Q-learning学习机制后的新的ASL系统中,Agent在不确定环境下依然可以完成任务。
展开更多
关键词
bdiagent
强化学习
Q-LEARNING
ASL
JASON
规划
在线阅读
下载PDF
职称材料
基于BDI Agent模型的对中小企业创新系统诊断框架及对策
3
作者
张橙
朱良天
《经济研究导刊》
2019年第2期1-3,共3页
我国中小企业在整个企业群体中数量最多、活力最强,是我国实体经济的重要基础。将人工智能领域中的BDI Agent模型引入,分别从单主体自主创新、多主体协同和创新生态系统三个角度解构中小企业创新系统,分析中小企业创新过程。对中小企业...
我国中小企业在整个企业群体中数量最多、活力最强,是我国实体经济的重要基础。将人工智能领域中的BDI Agent模型引入,分别从单主体自主创新、多主体协同和创新生态系统三个角度解构中小企业创新系统,分析中小企业创新过程。对中小企业在自主创新、协同创新以及创新环境中遇到的问题进行诊断,在此基础上提出相应的解决方案,以期提升中小企业的创新能力,发挥中小企业在中国经济发展中的新一代引擎作用。
展开更多
关键词
bdiagent
中小企业
创新主体
创新生态系统
在线阅读
下载PDF
职称材料
题名
AgentSpeak中意图生成过程的可靠性与完整性研究
1
作者
杨博
邵利平
覃征
机构
西安交通大学电子与信息工程学院
出处
《计算机科学》
CSCD
北大核心
2011年第3期236-242,共7页
基金
国防"十一五"预研项目(60673024)资助
文摘
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpeak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论——AgentSpeak中的意图执行是可靠而完整的,从而验证了AgentSpeak中软件Agent意图完成目标的正确性。
关键词
AgentSpeak
意图生成
Agent编程语言
模型论语义
bdiagent
Keywords
AgentSpeak
Intention production
Agent programming language
Model-theoretic semantics
BDI Agent
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Q-learning的不确定环境BDI Agent最优策略规划研究
被引量：
8
2
作者
万谦
刘玮
徐龙龙
郭竞知
机构
武汉工程大学计算机科学与工程学院
智能机器人湖北省重点实验室
出处
《计算机工程与科学》
CSCD
北大核心
2019年第1期166-172,共7页
基金
国家自然科学基金(61502355)
武汉工程大学第九届研究生教育创新基金(CX2017068)
文摘
BDI模型能够很好地解决在特定环境下的Agent的推理和决策问题,但在动态和不确定环境下缺少决策和学习的能力。强化学习解决了Agent在未知环境下的决策问题,却缺少BDI模型中的规则描述和逻辑推理。针对BDI在未知和动态环境下的策略规划问题,提出基于强化学习Q-learning算法来实现BDI Agent学习和规划的方法,并针对BDI的实现模型ASL的决策机制做出了改进,最后在ASL的仿真平台Jason上建立了迷宫的仿真,仿真实验表明,在加入Q-learning学习机制后的新的ASL系统中,Agent在不确定环境下依然可以完成任务。
关键词
bdiagent
强化学习
Q-LEARNING
ASL
JASON
规划
Keywords
BDI agent
reinforcement learning
Q-learning
ASL
Jason
planning
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于BDI Agent模型的对中小企业创新系统诊断框架及对策
3
作者
张橙
朱良天
机构
江苏城市职业学院商学院
南京苏洛光伏科技有限公司
出处
《经济研究导刊》
2019年第2期1-3,共3页
文摘
我国中小企业在整个企业群体中数量最多、活力最强,是我国实体经济的重要基础。将人工智能领域中的BDI Agent模型引入,分别从单主体自主创新、多主体协同和创新生态系统三个角度解构中小企业创新系统,分析中小企业创新过程。对中小企业在自主创新、协同创新以及创新环境中遇到的问题进行诊断,在此基础上提出相应的解决方案,以期提升中小企业的创新能力,发挥中小企业在中国经济发展中的新一代引擎作用。
关键词
bdiagent
中小企业
创新主体
创新生态系统
分类号
F27 [经济管理—企业管理]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
AgentSpeak中意图生成过程的可靠性与完整性研究
杨博
邵利平
覃征
《计算机科学》
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
2
基于Q-learning的不确定环境BDI Agent最优策略规划研究
万谦
刘玮
徐龙龙
郭竞知
《计算机工程与科学》
CSCD
北大核心
2019
8
在线阅读
下载PDF
职称材料
3
基于BDI Agent模型的对中小企业创新系统诊断框架及对策
张橙
朱良天
《经济研究导刊》
2019
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
