Formal development of multi-agent interaction protocols

被引：0
|
作者：
Sadaoui, S [1 ]
Chen, B [1 ]
机构：
[1] Univ Regina, Dept Comp Sci, Regina, SK S4S 0A2, Canada
来源：
8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES | 2004年
关键词：
agent interaction protocols; formal methods; LOTOS; online auction;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Today, multi-agent systems will play a key role in the development of twenty-first century computer systems. The construction of agents and their interactions should integrate theories, methodologies and tools. In this paper, we propose a single unifying framework for developing interaction protocols in multi-agent systems. This framework, which is based on formal methods, supports almost all aspects of agent interaction. This paper also shows the use of formal methods to specify, simulate and verify agent interaction protocols.
引用
收藏
页码：450 / 455
页数：6
相关论文
共 50 条
  • [31] A formal description language for multi-agent architectures
    Faulkner, Stephane
    Kolp, Manuel
    Wautelet, Yves
    Achbany, Youssef
    AGENT-ORIENTED INFORMATION SYSTEMS IV, 2008, 4898 : 143 - +
  • [32] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [33] Formal specification of beliefs in multi-agent systems
    DIST - University of Genoa, Viale Causa 13, Genova
    16145, Italy
    不详
    38050, Italy
    Lect. Notes Comput. Sci., (117-130):
  • [34] Mobile agent security through multi-agent cryptographic protocols
    Stephen, K
    Xu, K
    IC'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2003, : 462 - 468
  • [35] Intelligent agent for formal modelling of temporal multi-agent systems
    Qasim, Awais
    Aziz, Zeeshan
    Kazmi, Syed Asad Raza
    Khalid, Adnan
    Fakhir, Ilyas
    Hassan, Jawad
    INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2020, 13 (01):
  • [36] Representing and enforcing interaction protocols in multi-agent systems: an approach based on conceptual graphs
    Mineau, GW
    IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 261 - 267
  • [37] Several consensus protocols with memory of multi-agent systems
    Feng, Xin-Lei
    Huang, Ting-Zhu
    Shao, Jin-Liang
    MATHEMATICAL AND COMPUTER MODELLING, 2013, 58 (9-10) : 1625 - 1633
  • [38] Controllability of multi-agent systems based on agreement protocols
    WANG Long JIANG FangCui XIE GuangMing JI ZhiJian Center for Systems and Control College of Engineering and Key Laboratory of Machine Perception Ministry of Education Peking University Beijing China College of Automation Engineering Qingdao University Qingdao China
    Science in China(Series F:Information Sciences), 2009, 52 (11) : 2074 - 2088
  • [39] Consensus of nonlinear multi-agent systems with adaptive protocols
    Wang, Lei
    Feng, Wei-jie
    Chen, Michael Z. Q.
    Wang, Qing-guo
    IET CONTROL THEORY AND APPLICATIONS, 2014, 8 (18): : 2245 - 2252
  • [40] A framework for the exchange and installation of protocols in a multi-agent system
    Iwao, T
    Wada, Y
    Okada, M
    Amamiya, M
    COOPERATIVE INFORMATION AGENTS V, PROCEEDINGS, 2001, 2182 : 211 - 222
12345