Next Article in Journal
Multi-Vehicle Simulation in Urban Automated Driving: Technical Implementation and Added Benefit
Previous Article in Journal
Modeling Road Accident Severity with Comparisons of Logistic Regression, Decision Tree and Random Forest
Previous Article in Special Issue
Tree-Like Distributed Computation Environment with Shapp Library
Open AccessArticle

A Social Multi-Agent Cooperation System Based on Planning and Distributed Task Allocation

by Atef Gharbi 1,2
1
Faculty of Computing and Information Technology, Northern Border University, Rafha 91911, Saudi Arabia
2
LISI, INSAT, Université de Carthage, Carthage 1054, Tunisia
Information 2020, 11(5), 271; https://doi.org/10.3390/info11050271
Received: 3 March 2020 / Revised: 13 May 2020 / Accepted: 14 May 2020 / Published: 18 May 2020
(This article belongs to the Special Issue Modeling Distributed Information Systems)
Planning and distributed task allocation are considered challenging problems. To address them, autonomous agents called planning agents situated in a multi-agent system should cooperate to achieve planning and complete distributed tasks. We propose a solution for distributed task allocation where agents dynamically allocate the tasks while they are building the plans. We model and verify some properties using computation tree logic (CTL) with the model checker its-ctl. Lastly, simulations are performed to verify the effectiveness of our proposed solution. The result proves that it is very efficient as it requires little message exchange and computational time. A benchmark production system is used as a running example to explain our contribution. View Full-Text
Keywords: distributed task allocation; multi-agent system; planning agent; computation tree logic (CTL); model checker distributed task allocation; multi-agent system; planning agent; computation tree logic (CTL); model checker
Show Figures

Figure 1

MDPI and ACS Style

Gharbi, A. A Social Multi-Agent Cooperation System Based on Planning and Distributed Task Allocation. Information 2020, 11, 271.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop