Efficient Contract-Net Protocol for Formal Modeling of Multi-Agent Systems

2021 ◽  
Vol 10 (1) ◽  
pp. 805-816
Author(s):  
Awais Qasim ◽  
Areeba Bader ◽  
Adeel Munawar
Keyword(s):  
Formal Modeling ◽  
Multi Agent Systems ◽  
Contract Net Protocol ◽  
Agent Systems ◽  
Contract Net ◽  
Efficient Contract ◽  
Multi Agent

Application of Fuzzy Labeled Transition System to Contract Net Protocol

2015 ◽  
Vol 6 (3) ◽  
pp. 27-46 ◽  
Author(s):  
Sofia Kouah ◽  
Djamel Eddine Saïdouni
Keyword(s):  
Dynamic Systems ◽  
Transition System ◽  
Multi Agent Systems ◽  
Contract Net Protocol ◽  
Agent Systems ◽  
Contract Net ◽  
Multi Agent ◽  
Refinement Process ◽  
Labeled Transition System

For developing large dynamic systems in a rigorous manner, fuzzy labeled transition refinement tree (FLTRT for short) has been defined. This model provides a formal specification framework for designing such systems. In fact, it supports abstraction and enables fuzziness which allows a rigorous formal refinement process. The purpose of this paper is to illustrate the applicability of FLTRT for designing multi agent systems (MAS for short), among others collective and internal agent's behaviors. Therefore, Contract Net Protocol (CNP for short) is chosen as case study.

Incorporating the Negotiation Process in Urban Planning DSS

2020 ◽  
pp. 484-500
Author(s):  
Imene Benatia ◽  
Mohamed Ridda Laouar ◽  
Sean B. Eom ◽  
Hakim Bendjenna
Keyword(s):  
City Planning ◽  
Negotiation Process ◽  
Multi Agent Systems ◽  
Negotiation Protocol ◽  
Agent Systems ◽  
Contract Net ◽  
Multi Agent ◽  
Urban Project ◽  
Communication And Coordination ◽  
The City

Cooperation in multi-agent systems is necessary in order to perform complex tasks and lead Multi-agent System (MAS) towards its objective. Contract-Net Protocol (CNP) is one of the communication and coordination mechanisms used by multi-agent systems which prefer cooperation through interaction protocols. This paper proposes a new cooperation and negotiation protocol based on the principals of the Contact Net Protocol (CNP). The auhtors' suggested negotiation protocol is used to solve one of the problems in the context of the city planning which is the problem of election of urban projects. Their proposed protocol is intended to the decision makers in order to help them resolve the problem of the evaluation and the selection of the best urban project without the need to be together in a decision urban room.

Sign in / Sign up

Export Citation Format

Share Document