It is envisioned that in the near future autonomous systems such as multi-agent systems, will co-exist with humans, e.g., vehicles share roads human drivers. These safety-critical scenarios require formally provable safety guarantees so robots never collide humans or each other. challenging to provide real world due stochastic environments and inaccurate models of heterogeneous agents including...

Multi-agent systems provide a basis for developing of autonomous entities and thus find application in variety domains. We consider setting where not only the member agents are adaptive but also multi-agent system viewed as an entity its own right is adaptive. Specifically, social structure can be reflected norms among members. It well recognized that arise society always beneficial to focus on...

due to their advantages, omni-directional mobile robots have found many applications especially in robotic soccer competitions. however, omni directional navigation system, omni-vision system and kicking mechanism in such mobile robots have not ever been combined. this situation brings the idea of a robot with no head direction into existence, a comprehensive omni directional mobile robot. such...

The aim of this paper is to give a survey on the development and applications of evolutionary multi-agent systems (EMAS). The paper starts with a general introduction describing the background, structure and behaviour of EMAS. EMAS application to solving global optimisation problems is presented in the next section along with its modification targeted at lowering the computation costs by early ...

In Multi-Agent learning, agents must learn to select actions that maximize their utility given the action choices of the other agents. Cooperative Coevolution offers a way to evolve multiple elements that together form a whole, by using a separate population for each element. We apply this setup to the problem of multi-agent learning, arriving at an evolutionary multi-agent system (EA-MAS). We ...

We present an abstract declarative semantics for multi-agent systems based on the idea of stable set, and argue that it can be suitably employed to describe, and to some extent verify, the dynamics of complex systems of autonomous and heterogeneous interacting agents. We view agents as black-boxes, whose semantics is abstractly understood as an input-output transformation from the agents’ obser...

We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems. Timed concurrent cons...

Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-layered description, which could be used by MAS designers to provide different level of abstractions over MASs. In this paper, we first advocate the need for zooming mechanisms, promoting a coherent and consistent multi-layered...