Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study

2008 ◽  
pp. 212-224 ◽  
Author(s):  
Danilo Santos ◽  
Marcelo Blois Ribeiro ◽  
Ricardo Bastos
Keyword(s):  
Management System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Conference Management ◽  
Multi Agent ◽  
Unified Process

A Programming Language for Normative Multi-Agent Systems

2009 ◽  
pp. 397-417 ◽  
Author(s):  
Mehdi Dastani ◽  
Nick A.M. Tinnemeier ◽  
John-Jules Ch. Meyer
Keyword(s):  
Programming Language ◽  
Management System ◽  
Operational Semantics ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Normative Concepts ◽  
Conference Management ◽  
Multi Agent

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organizational artifact. This chapter presents a programming language that aims at facilitating the implementation of norm-based organizational artifacts. The programming language is presented in two steps. We first present a programming language that is designed to support the implementation of nonnormative organizational artifacts. These artifacts are specified in terms of non-normative concepts such as the identity of participating agents, the identity of the constituting environments in which individual agents can perform actions, and the agents’ access relation to the environments. The programming language is then modified and extended to support the implementation of norm-based artifacts. Such artifacts are specified in terms of norms being enforced by monitoring, regimenting, and sanctioning mechanisms. The syntax and operational semantics of the programming language are discussed and explained by means of a conference management system example.

Designing Multi-Agent Systems from Logic Specifications

2011 ◽  
pp. 1-27
Author(s):  
Hong Lin
Keyword(s):  
Information Management ◽  
Management System ◽  
Predicate Logic ◽  
Information Management System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
First Order ◽  
Multi Agent ◽  
Program Construction

In this chapter a program construction method based on ?-Calculus is proposed. The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification. We exploit this method in synthesizing the architectural specifications of multi-agent systems (MAS) in ?-Calculus based on the logic specifications of the MAS. By enabling the transformation from the logic specifications to operational specifications of MAS, this method allows the design of the MAS to be focused on the architectural definition level. It benefits the development of MAS by enabling logic deduction on behaviors of the MAS, and a design methodology in an incremental fashion. We present this method by a case study of designing a course information management system.

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

ARTISTE: Agent Organization Management System for Multi-Agent Systems

2009 ◽  
pp. 207-221 ◽  
Author(s):  
Atsushi Terauchi ◽  
Osamu Akashi ◽  
Mitsuru Maruyama ◽  
Kensuke Fukuda ◽  
Toshiharu Sugawara ◽  
...  
Keyword(s):  
Management System ◽  
Multi Agent Systems ◽  
Organization Management ◽  
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.

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.

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