We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametric with respect to an input/output semantics for agents, whereby inputs are the agents’ observations, and outputs are their actions. The observations include actions performed by other agents and events happening in the world. ...

In this thesis we present a proposal for communication protocol speci cation in the context of multiagent systems, with an approach we call role based. The idea of role is frequently found on the multiagent systems domain, representing very often the functionnality accomplished by the agent within the system, functionality that is usually expressed as message sequences following well de ned pro...

Résumé Peu de recherches se sont penchées sur la problématique de la révision des croyances dans un cadre multiagent. En tout cas, à notre connaissance, aucune ne s'est penchée sur la révision des croyances tenant compte de la crédibilité des informateurs, tout en gardant trace des arguments en faveur de la révision, une fois celle-ci e ectuée. C'est ce problème qui nous a motivé et pour lequel...

In this paper we consider a task of decentralized, multi-agent patrolling of a continous outdoor terrain. We propose an algorithm that efficiently operates under the condition of low communication throughput and is robust to the failure of one or more patrolling agents. The solution is based on Social Potential Fields and is easily extensible to allow other types of behavior. We describe an age...

Models of agents or multiagent systems in a certain application area can be made at different levels of abstraction. The aim of this paper is to clarify different dimensions of abstraction. The three dimensions of considered are: the process abstraction dimension, the temporal dimension, and the agent cluster dimension. Thus a three-dimensional framework is obtained in which different types of ...

This paper studies the complexity of model checking multiagent systems, in particular systems succinctly described by two practical representations: concurrent representation and symbolic representation. The logics we concern include branching time temporal logics and several variants of alternating time temporal logics.

Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based solutions to a class of problems defined by their property of being predictable from a macroscopic perspective while being highly stochastic when viewed at a microscopic level. These characteristic properties can be found in se...

— This article presents an agent-based solution for data fusion in Homeland Security. Communication technology has been developed very fast in the last decades. We can get lots of data in milliseconds. Our current problem is to process such amounts of data in order to provide useful information. We have to focus our effort on developing intelligent information systems able to handle big amounts...

This article proposes a methodology to model and simulate complex systems, based on IRM4MLS, a generic agent-based meta-model able to deal with multi-level systems. This methodology permits to engineer dynamic multi-level agent-based models, to represent complex systems over several scales and domains of interest. Its goal is to simulate a phenomenon using dynamically the lightest representatio...