多Agent合作逻辑中的动作与意图被引量：2

Actions and Intentions in Multi-Agent Cooperation Logic

在线阅读下载PDF

导出

摘要改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.

作者赖贤伟胡山立

机构地区福州大学计算机科学与技术系福建农业大学计算机科学与技术系中国科学院计算机科学重点实验室

出处《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期41-45,共5页 Journal of Computer Research and Development

基金国家自然科学基金项目(60373079,60573076)

关键词多Agent合作逻辑动作意图多子集语义

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

作者简介赖贤伟男,1981年生,硕士研究生,主要研究方向为人工智能、多Agent系统.(xianweilai@163.com) 胡山立男,1944年生,教授,主要研究方向为人工智能、多Agent系统.

引文网络
相关文献

参考文献7

1[1]R Alur,T A Henzinger,O Kupferman.Alternating-time temporal logic[J].Journal of the ACM,2002,49(5):672-713
2[2]M Pauly.Logic for social software:[Ph D dissertation][D].University of Amsterdam,2001
3[3]M Wooldridge,W van der Hoek.On obligations and normative ability:Towards a logical analysis of the social contract[J].Journal of Applied Logic,2005,(3):396-420
4[4]W van der Hoek,W Jamroga,M Wooldridge.A logic for strategic reasoning[C].In:Proc of the 4th Int'l Joint Conf on Autonomous Agents and Multi-Agent Systems (AAMAS-05).New York:ACM Press,2005.157-164
5[5]L Sauro,J Gerbrandy,W van der Hoek,et al.Reasoning about action and cooperation[C].The 15th Int'l Joint Conf on Autonomous Agents and Multi-Agent Systems (AAMAS-06),Hakodate,2006
6[6]W Jamroga,W van der Hoek,M Wooldridge.Intentions and strategies in game-like scenarios[G].In:C Bento,A Cardoso,G Dias (eds.),Progress in Artificial Intelligence:Proceedings of EPIA 2005,Lecture Notes in Artificial Intelligence 3808.2005.512-523
7[7]P R Cohen,H J Levesque.Intention is choice with commitment[J].Artificial Intelligence,1990,(42):213-261

同被引文献5

1张再跃,眭跃飞,曹存根.基于模糊命题模态逻辑的形式推理系统(英文)[J].软件学报,2005,16(8):1359-1365. 被引量：6
2胡山立,石纯一.Agent意图的双子集语义改进模型[J].软件学报,2006,17(3):396-402. 被引量：8
3王秀丽,宁正元,胡山立,赖贤伟.模糊交互时态逻辑及其语义结构[J].广西师范大学学报（自然科学版）,2008,26(1):154-157. 被引量：2
4宁正元,胡山立,赖贤伟.交互时态信念逻辑及其模型检测[J].南京大学学报（自然科学版）,2008,44(2):171-178. 被引量：3
5胡山立,石纯一.Agent-BDI逻辑[J].软件学报,2000,11(10):1353-1360. 被引量：21

引证文献2

1赖贤伟,胡山立,宁正元,王秀丽.强弱例外下的交互时态逻辑[J].计算机应用,2008,28(11):2874-2876.
2赖贤伟,胡山立,宁正元,王秀丽.交互时态逻辑下的三种模糊信念算子[J].海南师范大学学报（自然科学版）,2008,21(4):385-388.

1赖贤伟,胡山立,宁正元,王秀丽.交互时态逻辑下的三种模糊信念算子[J].海南师范大学学报（自然科学版）,2008,21(4):385-388.
2宁正元,胡山立,赖贤伟.交互时态信念逻辑及其模型检测[J].南京大学学报（自然科学版）,2008,44(2):171-178. 被引量：3
3赖贤伟,胡山立,宁正元,王秀丽.强弱例外下的交互时态逻辑[J].计算机应用,2008,28(11):2874-2876.
4王会然.网络安全策略探析[J].中国电子商务,2011(5):98-98. 被引量：1
5王秀丽,宁正元,胡山立,赖贤伟.模糊交互时态逻辑及其语义结构[J].广西师范大学学报（自然科学版）,2008,26(1):154-157. 被引量：2
6司光东,张建中,何军.两种群签名方案的安全性分析[J].计算机工程,2005,31(5):153-155. 被引量：2
7赖贤伟,胡山立,宁正元,詹青青.多Agent合作逻辑研究进展[J].福建电脑,2007,23(11):3-4.
8张伟.搜索之争[J].现代工业经济和信息化,2012(23):74-75.
9广日.网购骗术逐个拆[J].家庭科技,2008(9):12-13.
10谷文祥.关于计算机汉字信息输入处理的一个新模型[J].计算机研究与发展,1995,32(7):61-65. 被引量：8

计算机研究与发展

2006年第z1期

浏览历史

内容加载中请稍等...

多Agent合作逻辑中的动作与意图被引量：2

参考文献7

同被引文献5

引证文献2

相关作者

相关机构

相关主题

浏览历史

多Agent合作逻辑中的动作与意图 被引量：2

参考文献7

同被引文献5

引证文献2

相关作者

相关机构

相关主题

浏览历史

多Agent合作逻辑中的动作与意图被引量：2