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.

Hierarchical Design Method for Multi-Agent Systems

2015 ◽  
Vol 7 (2) ◽  
pp. 105-134
Author(s):  
Bouneb Messaouda ◽  
Saïdouni Djamel Eddine
Keyword(s):  
Design Methodology ◽  
Design Method ◽  
Transition System ◽  
Hierarchical Design ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Labeled Transition System ◽  
System Assessment ◽  
Definition Of

This paper proposes a new hierarchical design method for the specification and the verification of multi agent systems (MAS). For this purpose, the authors propose the model of Refinable Recursive Petri Nets (RRPN) under a maximality semantics. In this model, a notion of undefined transitions is considered. The underlying semantics model is the Abstract Maximality-based Labeled Transition System (AMLTS). Hence, the model supports a definition of a hierarchical design methodology. The example of goods transportation is used for illustrating the approach. For the system assessment, the properties are expressed in CTL logic and verified using the verification environment FOCOVE (Formal Concurrency Verification Environment).

scholarly journals A Programming Approach to Collective Autonomy

2021 ◽  
Vol 10 (2) ◽  
pp. 27
Author(s):  
Roberto Casadei ◽  
Gianluca Aguzzi ◽  
Mirko Viroli
Keyword(s):  
Autonomous Vehicles ◽  
Autonomic Computing ◽  
Autonomous Agents ◽  
Programming Approach ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Simulated Case ◽  
Complex Settings

Research and technology developments on autonomous agents and autonomic computing promote a vision of artificial systems that are able to resiliently manage themselves and autonomously deal with issues at runtime in dynamic environments. Indeed, autonomy can be leveraged to unburden humans from mundane tasks (cf. driving and autonomous vehicles), from the risk of operating in unknown or perilous environments (cf. rescue scenarios), or to support timely decision-making in complex settings (cf. data-centre operations). Beyond the results that individual autonomous agents can carry out, a further opportunity lies in the collaboration of multiple agents or robots. Emerging macro-paradigms provide an approach to programming whole collectives towards global goals. Aggregate computing is one such paradigm, formally grounded in a calculus of computational fields enabling functional composition of collective behaviours that could be proved, under certain technical conditions, to be self-stabilising. In this work, we address the concept of collective autonomy, i.e., the form of autonomy that applies at the level of a group of individuals. As a contribution, we define an agent control architecture for aggregate multi-agent systems, discuss how the aggregate computing framework relates to both individual and collective autonomy, and show how it can be used to program collective autonomous behaviour. We exemplify the concepts through a simulated case study, and outline a research roadmap towards reliable aggregate autonomy.

Exploring management strategies for community-based forests using multi-agent systems: A case study in Palawan, Philippines

2009 ◽  
Vol 90 (11) ◽  
pp. 3607-3615 ◽  
Author(s):  
Paolo C. Campo ◽  
Guillermo A. Mendoza ◽  
Philippe Guizol ◽  
Teodoro R. Villanueva ◽  
François Bousquet
Keyword(s):  
Management Strategies ◽  
Multi Agent Systems ◽  
Community Based ◽  
Agent Systems ◽  
Multi Agent

Engineering Adaptive Multi-Agent Systems

2011 ◽  
pp. 513-535
Author(s):  
Carole Bernon ◽  
Valérie Camps ◽  
Marie-Pierre Gleizes ◽  
Gauthier Picard
Keyword(s):  
Information System ◽  
Theoretical Background ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
The Third ◽  
Multi Agent

This chapter introduces the ADELFE methodology, an agent-oriented methodology dedicated to the design of systems that are complex, open, and not well-specified. The need for its development is justified by the theoretical background given in the first section, which also gives an overview of the concepts on which multi-agent systems developed with ADELFE are based. A methodology is composed of a process, a notation, and tools. Tools are presented in the second section and the process in the third one, using an information system case study to better visualize how to apply this process.

Role-Based Multi-Agent Systems

2011 ◽  
pp. 254-285 ◽  
Author(s):  
Haibin Zhu ◽  
MengChu Zhou
Keyword(s):  
System Design ◽  
Multi Agent Systems ◽  
Agent System ◽  
Agent Systems ◽  
Collaborative Behavior ◽  
Cooperative Agents ◽  
Multi Agent ◽  
Role Based ◽  
Information Personalization

Agent system design is a complex task challenging designers to simulate intelligent collaborative behavior. Roles can reduce the complexity of agent system design by categorizing the roles played by agents. The role concepts can also be used in agent systems to describe the collaboration among cooperative agents. In this chapter, we introduce roles as a means to support interaction and collaboration among agents in multi-agent systems. We review the application of roles in current agent systems at first, then describe the fundamental principles of role-based collaboration and propose the basic methodologies of how to apply roles into agent systems (i.e., the revised E-CARGO model). After that, we demonstrate a case study: a soccer robot team designed with role specifications. Finally, we present the potentiality to apply roles into information personalization.

Sign in / Sign up

Export Citation Format

Share Document