基于线性时序逻辑的多Agent协商推理模型

A Negotiation Reasoning Model of MAS Based on Linear Temporal Logic

下载PDF

导出

摘要在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为.进一步完善了多Agent系统中自主的协商机制.

作者尹红丽王永明夏幼明

机构地区云南师范大学计算机科学与信息技术学院

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

基金云南省自然科学基金项目(04F00062) 云南省省院省校科技合作基金项目(2004XY42)

关键词多AGENT系统协商推理模型线性时序逻辑

参考文献7

1[1]Timothy J Norman,Carles Sierra,Nick R Jenning.Right and commitment in multi-agnet agreement[OL].http://www.nj.nec.com/cs,1998
2李晶.基于能力与权力的协商公理体系多Agent系统模型[J].云南师范大学学报,2003,23(2).
3[3]Fames F Allen.Towards a general theory action and time[J].Artificial Intelligence,1984,23(2):123-153
4[4]A S Rao,M P Georgeff.Modelling rational agents within a BDI-architecture[C].In:R Fikes,E Sandewall,eds.Proc of Knowledge Represention(KR&R-91).San Francisco.CA:Morgan Kaufmann Publishers,1991.439-449
5胡山立,fzu.edu.cn,石纯一.Agent的意图模型[J].软件学报,2000,11(7):965-970. 被引量：24
6孙瑜,夏幼明,李志平.多Agent VSK-AF逻辑[J].计算机工程,2004,30(23):1-3. 被引量：1
7[7]L Gasser.Social conceptions of knowledge and action[J].Artificial Intelligence,1991,43(1):107-138

1Rao A S，Principles of Knowledge Representation and Reasoning. Proceedings of the 2 nd In，1991年，473页
2Rao A S，Proceedings of the12 th International Joint Conference on Artificial Intelligenc，1991年，498页
3Faginl R, Halpern J Y, Moses Y, et al. Reasoning About Knowledge.The MIT Press: Cambridge, MA, 1995
4Wooldridge M, Lomuseio A. Reasoning about Visibility, Pereeption and Knowledge. Intelligenee VI--Proceedings of the Sixth International Workshop on Agent Theories, Architecturcs, and Languages(ATAL99), Lecture Notes in Artificial Intelligence. Springer-Ve
5Wooldridge M, Lomuscio A. A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL,2001,9(2):273-288
6Wooldridge M, Lomuscio A. Multi- agent VSK Logic. Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIAI-2000), Springer-verlag, 2000-01
7胡山立,石纯一.适用于Agent非正规模态算子的一种语义解释[J].计算机研究与发展,1999,36(10):1153-1157. 被引量：8

1范辉,李晋江,张晖.Agent计算的理论[J].系统仿真学报,2001,13(S2):250-252. 被引量：4
2易伟华,夏海光,陈学广.基于BDI和知识水平的分布式协调推理[J].系统工程,2004,22(7):93-98. 被引量：5
3胡琼杰,邵伟民,瞿海军.基于移动代理的移动客户机缓存管理[J].计算机工程与设计,2004,25(9):1563-1565. 被引量：1
4周熠,陈小平.隐式愿望及其形式化[J].软件学报,2005,16(5):771-778. 被引量：1
5刘海庆,夏幼明,李晶,尹红丽.基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究[J].武汉大学学报（信息科学版）,2005,30(9):833-836.
6易伟华,陈学广,刘振元.基于MAS协调的资源分配决策[J].系统工程理论与实践,2006,26(3):11-16. 被引量：5
7徐斌.Agent形式化语言描述[J].信息技术与信息化,2007(1):83-84.
8朱学伟,殷兆麟.浅谈用BDI模型开发智能NPC游戏角色[J].计算机工程与设计,2007,28(11):2699-2701. 被引量：1
9张会,李思昆,吴鹏.具有全局时间的BDI模型[J].计算机工程与科学,2007,29(9):129-132.
10周熠,陈小平.部分蕴涵复杂性分析[J].模式识别与人工智能,2007,20(5):593-598.

1赵金伟,郝克刚,葛玮.基于Agent面向服务体系结构中的服务查询与选择[J].计算机应用,2006,26(S2):3-6. 被引量：1
2于振华,蔡远利,韩九强.基于面向对象Petri网的多Agent系统交互协议建模[J].计算机集成制造系统,2005,11(8):1064-1068. 被引量：12
3陈磊,姚莉,鲍翊平.基于AUML与GPN的Agent交互协议建模[J].计算机工程与科学,2006,28(4):107-110. 被引量：2
4徐晋晖,张伟,路海明,石纯一.一种具有个性的Agent实现机制[J].计算机研究与发展,2001,38(6):648-652. 被引量：5
5赵景远,李小坚.基于多Agent系统的数字家庭模型研究[J].微处理机,2007,28(4):86-88.
6王康平,郭东伟,曲明,周春光.基于信念的多Agent模型解决多目标优化问题[J].计算机研究与发展,2006,43(z1):157-160.
7张涛,谢红,黄少滨.多Agent交互策略模型检测方法[J].电子科技大学学报,2016,45(5):802-807. 被引量：3
8陈金峰,刘惠义.基于着色Petri网的多Agent交互[J].计算机应用与软件,2005,22(10):142-144. 被引量：2
9焦德朝,曹元大,廖乐健,胡晶晶.基于Agent的软件工程建模方法研究与实践[J].微计算机应用,2005,26(3):280-283. 被引量：1
10金明宇,翟玉庆.基于Web的Agent通信框架[J].计算机工程,2003,29(3):195-196. 被引量：6

计算机研究与发展

2006年第z1期

内容加载中请稍等...