Prometheus

2011 ◽  
pp. 107-135 ◽  
Author(s):  
Lin Padgham ◽  
Michael Winikoff

We present the Prometheus methodology for designing agents and multi-agent systems. The methodology is intended to be practical; in particular, it aims to be complete and detailed, and to be usable by industrial software developers and undergraduate students. We present the methodology using a case study, describe existing tools that support both design and implementation, and report on experiences with using Prometheus, including our experiences in teaching Prometheus to an undergraduate class over the past few years. These experiences provide evidence that Prometheus is usable by its intended target audience.

2021 ◽  
Vol 10 (2) ◽  
pp. 27
Author(s):  
Roberto Casadei ◽  
Gianluca Aguzzi ◽  
Mirko Viroli

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.


2009 ◽  
Vol 90 (11) ◽  
pp. 3607-3615 ◽  
Author(s):  
Paolo C. Campo ◽  
Guillermo A. Mendoza ◽  
Philippe Guizol ◽  
Teodoro R. Villanueva ◽  
François Bousquet

Author(s):  
Carole Bernon ◽  
Valérie Camps ◽  
Marie-Pierre Gleizes ◽  
Gauthier Picard

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.


Author(s):  
Sofia Kouah ◽  
Djamel Eddine Saïdouni

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.


Author(s):  
Haibin Zhu ◽  
MengChu Zhou

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