Azeroual Mohamed, T. Lamhamdi, Hassan El Moussaoui, Hassane El Markhi
{"title":"A multi-agent system for fault location and service restoration in power distribution systems","authors":"Azeroual Mohamed, T. Lamhamdi, Hassan El Moussaoui, Hassane El Markhi","doi":"10.3233/mgs-190316","DOIUrl":"https://doi.org/10.3233/mgs-190316","url":null,"abstract":"","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87933669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A novel approach for choosing dynamic community detection algorithms using PROMETHEE II","authors":"S. Arab, N. Taghezout, F. Benkaddour","doi":"10.3233/mgs-190315","DOIUrl":"https://doi.org/10.3233/mgs-190315","url":null,"abstract":"","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81277842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Mohsenzadeh, M. Nickray, Amir Jalaly Bidgoly, Y. Farjami
{"title":"A new task scheduling mechanism in grid computing using trust model","authors":"A. Mohsenzadeh, M. Nickray, Amir Jalaly Bidgoly, Y. Farjami","doi":"10.3233/MGS-200325","DOIUrl":"https://doi.org/10.3233/MGS-200325","url":null,"abstract":"","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73355286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Boucherit, Laura M. Castro, Abdallah Khababa, O. Hasan
The formal design and development of multi-agent systems has attracted a considerable attention over the past decades because of their extensive use in safety-critical applications. This paper presents an efficient, hybrid and scalable formal development approach for safetycritical systems based on the multi-agent paradigm. In fact, we aim in this paper to benefit from the advantages of existing tools and techniques for each development stage and then integrate them in one unified approach. In particular approach, we advocate using Petri nets and rewriting logic to facilitate the formalization of multi-agent based systems, as well as we have integrated both the model checking and property-based testing techniques in the verification and testing stages. For illustrating the utilization and effectiveness of the proposed approach, we use it to analyze a simple automated distributing machine.
{"title":"Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems","authors":"A. Boucherit, Laura M. Castro, Abdallah Khababa, O. Hasan","doi":"10.3233/mgs-200320","DOIUrl":"https://doi.org/10.3233/mgs-200320","url":null,"abstract":"The formal design and development of multi-agent systems has attracted a considerable attention over the past decades because of their extensive use in safety-critical applications. This paper presents an efficient, hybrid and scalable formal development approach for safetycritical systems based on the multi-agent paradigm. In fact, we aim in this paper to benefit from the advantages of existing tools and techniques for each development stage and then integrate them in one unified approach. In particular approach, we advocate using Petri nets and rewriting logic to facilitate the formalization of multi-agent based systems, as well as we have integrated both the model checking and property-based testing techniques in the verification and testing stages. For illustrating the utilization and effectiveness of the proposed approach, we use it to analyze a simple automated distributing machine.","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79233267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Flexibility is considered as one of the key objectives of agent-based technology. Despite this, we still lack a fundamental understanding of just what “flexibility in multi-agent system (MAS)” really is. Two main questions must be asked. First, how do agents and MAS achieve a high degree of flexibility? Second, what makes one agent or one MAS more flexible than others agents or others MASs? This paper addresses the answer to these two questions by proposing an ontology of the flexibility property and a mathematical measurement model for this property. The proposed ontology gives a comprehensive view of the flexibility by decomposing it on several characteristics and presents several techniques for implementing each characteristic. In addition, it relates these characteristics to MAS components. The proposed model presents a set of metrics for measuring the different characteristics of the flexibility property. The proposed metrics have been applied to JADE applications using a tool developed for this purpose.
{"title":"Flexibility measurement model of multi-agent systems","authors":"Rohallah Benaboud, Toufik Marir","doi":"10.3233/mgs-200334","DOIUrl":"https://doi.org/10.3233/mgs-200334","url":null,"abstract":"Flexibility is considered as one of the key objectives of agent-based technology. Despite this, we still lack a fundamental understanding of just what “flexibility in multi-agent system (MAS)” really is. Two main questions must be asked. First, how do agents and MAS achieve a high degree of flexibility? Second, what makes one agent or one MAS more flexible than others agents or others MASs? This paper addresses the answer to these two questions by proposing an ontology of the flexibility property and a mathematical measurement model for this property. The proposed ontology gives a comprehensive view of the flexibility by decomposing it on several characteristics and presents several techniques for implementing each characteristic. In addition, it relates these characteristics to MAS components. The proposed model presents a set of metrics for measuring the different characteristics of the flexibility property. The proposed metrics have been applied to JADE applications using a tool developed for this purpose.","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88802562","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the early phase of Requirements Engineering (RE), Goal-Oriented Requirements Engineering (GORE) has been found to be a valuable tool. GORE plays a vital role in requirements analysis such as alternative selection decision-making process. This is carried out to determine the practicability and effectiveness of alternative approaches to arriving at quality goals. Most GORE models handle alternative selection based on an extremely coarse-grained qualitative approach, making it impossible to distinguish two alternatives. Many proposals are based on quantitative alternative choices, yet they do not offer a clear decision-making judgement. We propose a fuzzy-based quantitative approach to perform goal analysis using inter-actor dependencies in the i* framework, thereby addressing the ambiguity problems that arise in qualitative analysis. The goal analysis in the i* framework was performed by propagating the impact and weight values throughout the entire hierarchy of an actor. In this article, the Analytic Hierarchy Process (AHP) is adapted with GORE to discuss the evaluation of alternative strategies of the i* goal model of interdependent actors. By using a quantitative requirement prioritisation method such as the AHP, weights of importance are assigned to softgoals to obtain a multi-objective optimised function. The proposed hybrid method measures the degree of contribution of alternatives to the fulfillment of top softgoals. The integration of AHP with goal anlaysis helps to measure alternative options against each other based on the requirements problem. This approach also includes the sensitivity analysis, which helps to check the system behaviour for change in input parameter. Hence, it facilitates decision-making for the benefit of the requirements’ analyst. To explain the proposed solution, this paper considers a telemedicine system case study from the existing literature.
{"title":"Hybrid analytic hierarchy process-based quantitative satisfaction propagation in goal-oriented requirements engineering through sensitivity analysis","authors":"Sreenithya Sumesh, A. Krishna","doi":"10.3233/mgs-200339","DOIUrl":"https://doi.org/10.3233/mgs-200339","url":null,"abstract":"In the early phase of Requirements Engineering (RE), Goal-Oriented Requirements Engineering (GORE) has been found to be a valuable tool. GORE plays a vital role in requirements analysis such as alternative selection decision-making process. This is carried out to determine the practicability and effectiveness of alternative approaches to arriving at quality goals. Most GORE models handle alternative selection based on an extremely coarse-grained qualitative approach, making it impossible to distinguish two alternatives. Many proposals are based on quantitative alternative choices, yet they do not offer a clear decision-making judgement. We propose a fuzzy-based quantitative approach to perform goal analysis using inter-actor dependencies in the i* framework, thereby addressing the ambiguity problems that arise in qualitative analysis. The goal analysis in the i* framework was performed by propagating the impact and weight values throughout the entire hierarchy of an actor. In this article, the Analytic Hierarchy Process (AHP) is adapted with GORE to discuss the evaluation of alternative strategies of the i* goal model of interdependent actors. By using a quantitative requirement prioritisation method such as the AHP, weights of importance are assigned to softgoals to obtain a multi-objective optimised function. The proposed hybrid method measures the degree of contribution of alternatives to the fulfillment of top softgoals. The integration of AHP with goal anlaysis helps to measure alternative options against each other based on the requirements problem. This approach also includes the sensitivity analysis, which helps to check the system behaviour for change in input parameter. Hence, it facilitates decision-making for the benefit of the requirements’ analyst. To explain the proposed solution, this paper considers a telemedicine system case study from the existing literature.","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76395648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Belief-Desire-Intention (BDI) model is a popular approach to design flexible agents. The key ingredient of BDI model, that contributed to concretize behavioral flexibility, is the inclusion of the practical reasoning. On the other hand, researchers signaled some missing flexibility’s ingredient, in BDI model, essentially the lack of learning. Therefore, an extensive research was conducted in order to extend BDI agents with learning. Although this latter body of research is important, the key contribution of BDI model, i.e., practical reasoning, did not receive a sufficient attention. For instance, for performance reasons, some of the concepts included in the BDI model are neglected by BDI architectures. Neglecting these concepts was criticized by some researchers, as the ability of the agent to reason will be limited, which eventually leads to a more or less flexible reasoning, depending on the concepts explicitly included. The current paper aims to stimulate the researchers to re-explore the concretization of practical reasoning in BDI architectures. Concretely, this paper aims to stimulate a critical review of BDI architectures regarding the flexibility, inherent from the practical reasoning, in the context of single agents, situated in an environment which is not associated with uncertainty. Based on this review, we sketch a new orientation and some suggested improvements for the design of BDI agents. Finally, a simple experiment on a specific case study is carried out to evaluate some suggested improvements, namely the contribution of the agent’s “well-informedness” in the enhancement of the behavioral flexibility.
{"title":"Behavioral flexibility in Belief-Desire- Intention (BDI) architectures","authors":"Adel Saadi, R. Maamri, Z. Sahnoun","doi":"10.3233/mgs-200335","DOIUrl":"https://doi.org/10.3233/mgs-200335","url":null,"abstract":"The Belief-Desire-Intention (BDI) model is a popular approach to design flexible agents. The key ingredient of BDI model, that contributed to concretize behavioral flexibility, is the inclusion of the practical reasoning. On the other hand, researchers signaled some missing flexibility’s ingredient, in BDI model, essentially the lack of learning. Therefore, an extensive research was conducted in order to extend BDI agents with learning. Although this latter body of research is important, the key contribution of BDI model, i.e., practical reasoning, did not receive a sufficient attention. For instance, for performance reasons, some of the concepts included in the BDI model are neglected by BDI architectures. Neglecting these concepts was criticized by some researchers, as the ability of the agent to reason will be limited, which eventually leads to a more or less flexible reasoning, depending on the concepts explicitly included. The current paper aims to stimulate the researchers to re-explore the concretization of practical reasoning in BDI architectures. Concretely, this paper aims to stimulate a critical review of BDI architectures regarding the flexibility, inherent from the practical reasoning, in the context of single agents, situated in an environment which is not associated with uncertainty. Based on this review, we sketch a new orientation and some suggested improvements for the design of BDI agents. Finally, a simple experiment on a specific case study is carried out to evaluate some suggested improvements, namely the contribution of the agent’s “well-informedness” in the enhancement of the behavioral flexibility.","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89511519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
K-means algorithm is a well-known unsupervised machine learning tool that aims at splitting a given dataset into a fixed number of clusters via iterative refinement approach. Running such an algorithm on today’s datasets that are characterized by its high multidimensionality and huge size requires using fault-tolerance mechanisms to mitigate the impact of possible failures. In this paper, we propose an actor-based implementation of k-means algorithm. The algorithm was made fault-tolerant by periodically saving the centroids into a stable storage during the failure-free execution, and restarting from the last saved centroids upon a failure. This was implemented in two different ways: optimistic checkpointing (blocking) and pessimistic checkpointing (non-blocking). The actor-based k-means algorithm was evaluated on a machine with eight cores. The experiments showed that the proposed algorithm scales very well as the number of workers increases, and can be up to ∼ 2x faster than a Java-thread-based implementation of k-means algorithm. The results also showed that the optimistic algorithm outperformed the pessimistic one, specifically, in the presence of competing I/O operations. Several failures were forced to occur during the execution to evaluate the performance of the fault-tolerant implementations. The experiments showed that the average amount of lost work ranged from 3–6%.
{"title":"Parallel and fault-tolerant k-means clustering based on the actor model","authors":"Salah Taamneh, A. Qawasmeh, A. Aljammal","doi":"10.3233/mgs-200336","DOIUrl":"https://doi.org/10.3233/mgs-200336","url":null,"abstract":"K-means algorithm is a well-known unsupervised machine learning tool that aims at splitting a given dataset into a fixed number of clusters via iterative refinement approach. Running such an algorithm on today’s datasets that are characterized by its high multidimensionality and huge size requires using fault-tolerance mechanisms to mitigate the impact of possible failures. In this paper, we propose an actor-based implementation of k-means algorithm. The algorithm was made fault-tolerant by periodically saving the centroids into a stable storage during the failure-free execution, and restarting from the last saved centroids upon a failure. This was implemented in two different ways: optimistic checkpointing (blocking) and pessimistic checkpointing (non-blocking). The actor-based k-means algorithm was evaluated on a machine with eight cores. The experiments showed that the proposed algorithm scales very well as the number of workers increases, and can be up to ∼ 2x faster than a Java-thread-based implementation of k-means algorithm. The results also showed that the optimistic algorithm outperformed the pessimistic one, specifically, in the presence of competing I/O operations. Several failures were forced to occur during the execution to evaluate the performance of the fault-tolerant implementations. The experiments showed that the average amount of lost work ranged from 3–6%.","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80116851","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Plan distance heuristics for task fusion in distributed temporal continuous planning","authors":"Gilberto Marcon dos Santos, J. Adams","doi":"10.3233/MGS-200327","DOIUrl":"https://doi.org/10.3233/MGS-200327","url":null,"abstract":"","PeriodicalId":43659,"journal":{"name":"Multiagent and Grid Systems","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78569463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：