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

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 Energy management System using Multi Agent Systems with IoT and Machine learning

2021 ◽  
Vol 1916 (1) ◽  
pp. 012013
Author(s):  
R Leo ◽  
V Vishwa Raj ◽  
E Vishal ◽  
K M Vimalan ◽  
G Dhanush ◽  
...  
Keyword(s):  
Machine Learning ◽  
Energy Management ◽  
Management System ◽  
Energy Management System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

Design of an Intelligent System to Support Tutors in Learning Communities Using Multi-Agent Systems and Fuzzy Logic

2015 ◽  
Vol 10 (8) ◽  
pp. 845 ◽  
Author(s):  
Youness Chaabi ◽  
R. Messoussi ◽  
V. Hilaire ◽  
Y. Ruichek ◽  
K. Lekdioui ◽  
...  
Keyword(s):  
Fuzzy Logic ◽  
Learning Communities ◽  
Intelligent System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document