Please wait a minute...
浙江大学学报(工学版)
J4  2011, Vol. 45 Issue (4): 627-636    DOI: 10.3785/j.issn.1008-973X.2011.04.007
自动化技术、电信技术     
基于承诺的agent组织描述工具
傅朝阳1,2, 高济1, 周尤明1
1.浙江大学 人工智能研究所,浙江 杭州 310027； 2.苏州科技学院 电子系,江苏 苏州 215011
ATCL:formalization tool for commitment-based agent organization
FU Chao-yang1,2, GAO Ji1, ZHOU You-ming1
1. Institute of Artificial Intelligence, Zhejiang University, Hangzhou 310027, China; 2. Electronic Department,
Suzhou University of Science and Technology, Suzhou 215011, China
 全文: PDF  HTML
摘要：

针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子《》扩展为《C:ξ:ω:Θ》,表示：组织C承诺当条件ξ满足时立刻开始按规划ω执行,保证在Θ成立之前实现某商定内容.建立交互时态承诺逻辑(ATCL).给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,分别给出ATCL的语法和语义.给出模型检测算法,证明了ATCL的模型检测复杂度为PTIMEcomple.以卫星图像服务领域特定场景为例,展示了ATCL的表达能力,为研究agent组织可信协作提供了较好的形式化工具.
Abstract:

Current logics depicting agent organizations can’t present the decidable concurrent activities between or inside agent organizations. The alternating-time temporal commitment logic was proposed in order to solve the problem, which is based on the semantics of commitment with deadline and can unfold the trust based cooperation. The cooperation modality of ATL was extended into《C:ξ:ω:Θ》by incorporating the commitment semantics to present that the coalition C promises to cooperate to achieve something before ω satisfied by executing according to the plan of Θ once the condition ξ becomes true. The actionbased transition system was conducted and then the agent organization on the conditional commitment with deadline. Furthermore, the lexical rules and semantics of ATCL were introduced. The model checking algorithm of ATCL was provided and the complexity of the algorithm was proved to be PTIME-comple. An example to demonstrate the capability of ATCL was given depicting a satellite imaging domain specific scenario. ATCL is a wellconstructed formalization tool for studying the trusted cooperation between agent organizations.
出版日期: 2011-05-05
:  TP 302.2  
基金资助:

国家“973”重点基础研究发展规划资助项目(2003CB317005)；国家“863”高技术研究发展计划资助项目(2007AA01Z187)；国家自然科学基金资助项目(60775029)；浙江省自然科学基金资助项目(Y1090734).
通讯作者: 高济,男,博导.     E-mail: gaoji@mail.hz.zj.cn
作者简介: 傅朝阳（1977—）,男,江苏泗阳人,讲师,从事服务计算、MultiAgent系统、模态逻辑、模型检测等研究. E-mail:zhaoyangfu@gmail.com
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　

引用本文:

傅朝阳, 高济, 周尤明. 基于承诺的agent组织描述工具[J]. J4, 2011, 45(4): 627-636.

FU Chao-yang, GAO Ji, ZHOU You-ming. ATCL:formalization tool for commitment-based agent organization. J4, 2011, 45(4): 627-636.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2011.04.007    或    http://www.zjujournals.com/eng/CN/Y2011/V45/I4/627

［1］ HORMAZABAL N, CARDOSO H L, ROSA J L, et al. An approach for virtual organizations’dissolution ［C］∥The AAMAS’09 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN). Budapest: Springer, 2009: 93-108.
［2］ PRESTON S M. Virtual organization as process: integrating cognitive and social structure across time and space ［J］. Journal of Computermediated Communication and Organization Science on Virtual Organization, 1999, 3(4): 16-19.
［3］ SMITH M J, DESJARDINS M. Learning to trust in the competence and commitment of agents ［J］. Autonomous Agents and MultiAgent Systems, 2009, 18(1): 36-82.
［4］ GRIFFITHS N, LUCK M. Coalition formation through motivation and trust ［C］∥ Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems. Melbourne: ACM, 2003: 17-24.
［5］ ARENAS A, WILSON M, MATTHEWS B. On trust management in grids ［C］∥ Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems. Rome: ACM, 2007: 1-7.
［6］ HANDY C. Trust and the virtual organization ［J］. Long Range Planning, 1995, 73(3): 40-50.
［7］ WITWICKI S J, DURFEE E H. Commitmentbased service coordination ［J］. International Journal of AgentOriented Software Engineering, 2009, 3(1): 59-87.
［8］ FORNARA N, VIGANO F, COLOMBETTI M. Agent communication and artificial institutions ［J］. Autonomous Agents and MultiAgent Systems, 2007, 14(2): 121-142.
［9］ UDUPI Y B, SINGH M P. Dynamics of contractsbased organizations: a formal approach based on institutions ［C］∥ Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. Hawaii: ACM, 2007: 1-3.
［10］ UDUPI Y B, SINGH M P. Contract enactment in virtual organizations: a commitmentbased approach ［C］ ∥Proceedings of the 21st national conference on Artificial Intelligence. Boston: AAAI, 2006: 722-727.
［11］ ALUR R, HENZINGER T A, KUPFERMAN O. Alternatingtime temporal logic ［J］. Journal of the ACM, 2002, 49(5): 672-713.
［12］ CASTELFRANCHI C. Commitment: from individual intentions to groups and organizations ［C］∥ Proceedings of the International Conference on Multiagent Systems. San Francisco: MIT, 1996: 41-48.
［13］ CHOPRA A K, SINGH M P. Multiagent commitment alignment ［C］∥ Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems. Budapest: International Foundation for Autonomous Agents and Multiagent Systems, 2009: 937-944.
［14］ KHAN S M, LESPERANCE Y. On the semantics of conditional commitment ［C］∥ Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems. Hakodate: ACM, 2006: 1337-1344.
［15］ WAN Feng, SINGH M P. Formalizing and achieving multiparty agreements via commitments ［C］∥ Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems. Netherlands: ACM, 2005: 770-777.
［16］ 刘虎.开放系统中智能体竞争的时态逻辑［J］.中山大学学报:社会科学版,2008,48(2): 112-118.
LIU Hu. A temporal logic of cooperation and competition in open systems \
[J\]. Journal of Sun Yatsen University: Social Science Edition, 2008, 48(2): 112-118.
［17］ DWYER M B, AVRUNIN G S, CORBETT J C. Property specification patterns for finitestate verification ［C］∥ Proceedings of the 2nd workshop on Formal methods in software practice. Florida: ACM, 1998: 7-15.
［18］ SPEC PATTERNS ［OB/OL］. ［2009-11-26］. http:∥patterns.projects.cis.ksu.edu/documentation/patterns/ltl.shtml.
［19］ 张伟,石纯一.Agent的组织承诺和小组承诺［J］.软件学报, 2003, 14(3): 473-478.
ZHANG Wei, SHI Chunyi. Agent Organization commitiment and group commitment \
[J\]. Journal of Software, 2003, 14(3): 473-478.
［20］ GAUDOU B, HERZIG A, LONGIN D. Logical formalization of social commitments: application to agent communication languages ［C］∥ Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems. Budapest: International Foundation for Autonomous Agents and Multiagent Systems, 2009: 1293-1294.
［21］ 郭庆,陈纯.一种基于能力的联合承诺机制［J］.浙江大学学报:工学版,2003,37(7): 414-419.
GUO Qing, CHEN Chun. A multitactic integration megotiation model \
[J\]. Journal of Zhejiang University: Engineering Science, 2003, 37(7): 414-419.
［22］ WANG Zhengguang, LIANG Xiaohui, ZHAO Qinping. Commitment and obligation based on utility in agent organization ［C］∥ 5th IEEE International Conference on Cognitive Informatics. ［S.l.］: IEEE, 2006: 690-695.
［23］ GROSSI D, DIGNUM F, DASTANI M. Foundations of organizational structures in multiagent systems ［C］∥ Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems. Netherlands: ACM, 2005: 690-697.
No related articles found!