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 条

[41] Enhancing distributed agent environments with quantum multi-agent systems and protocols
Jenefa, A.
Vidhya, K.
Taurshia, Antony
Naveen, V. Edward
Kuriakose, Bessy M.
Vijula, V.
MULTIAGENT AND GRID SYSTEMS, 2024, 20 (02) : 109 - 127
[42] Design of negotiation protocols for multi-agent manufacturing systems
Krothapalli, NKC
Deshmukh, AV
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1999, 37 (07) : 1601 - 1624
[43] Towards a formal methodology for designing multi-agent applications
Regayeg, A
Kacem, AH
Jmaiel, M
MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2005, 3550 : 153 - 164
[44] A new formal model of collaboration by Multi-Agent Systems
Khezami, Narjes
Otmane, Samir
Mallem, Malik
Int. Conf. Integr. Knowledge Intensive Multi-Agent Syst. Model. Explor. Eng., 2005, (32-37):
[45] Formal specification of multi-agent systems by using EUSMs
Merayo, Mercedes G.
Nunez, Manuel
Rodriguez, Ismael
INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 318 - +
[46] A formal analysis of potential energy in a multi-agent system
Spears, WM
Spears, DF
Heil, R
FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 131 - 145
[47] Formal Modeling and Verification of Multi-Agent System Architecture
Yuan, Ling
Fan, Ping
2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, 2013, 5 : 126 - 132
[48] A Formal Analysis of Required Cooperation in Multi-Agent Planning
Zhang, Yu
Sreedharan, Sarath
Kambhampati, Subbarao
TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2016), 2016, : 335 - 343
[49] Formal Specification and Reasoning for Situated Multi-agent System
Li, Zhuang
Miao, Huaikou
2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 455 - 460
[50] Generic, configurable, cooperation protocols for multi-agent systems
Burmeister, B
Haddadi, A
Sundermeyer, K
FROM REACTION TO COGNITION, 1995, 957 : 157 - 171

← 1 2 3 4 5 →