8,819 research outputs found
Towards formal models and languages for verifiable Multi-Robot Systems
Incorrect operations of a Multi-Robot System (MRS) may not only lead to
unsatisfactory results, but can also cause economic losses and threats to
safety. These threats may not always be apparent, since they may arise as
unforeseen consequences of the interactions between elements of the system.
This call for tools and techniques that can help in providing guarantees about
MRSs behaviour. We think that, whenever possible, these guarantees should be
backed up by formal proofs to complement traditional approaches based on
testing and simulation.
We believe that tailored linguistic support to specify MRSs is a major step
towards this goal. In particular, reducing the gap between typical features of
an MRS and the level of abstraction of the linguistic primitives would simplify
both the specification of these systems and the verification of their
properties. In this work, we review different agent-oriented languages and
their features; we then consider a selection of case studies of interest and
implement them useing the surveyed languages. We also evaluate and compare
effectiveness of the proposed solution, considering, in particular, easiness of
expressing non-trivial behaviour.Comment: Changed formattin
Early Warning Analysis for Social Diffusion Events
There is considerable interest in developing predictive capabilities for
social diffusion processes, for instance to permit early identification of
emerging contentious situations, rapid detection of disease outbreaks, or
accurate forecasting of the ultimate reach of potentially viral ideas or
behaviors. This paper proposes a new approach to this predictive analytics
problem, in which analysis of meso-scale network dynamics is leveraged to
generate useful predictions for complex social phenomena. We begin by deriving
a stochastic hybrid dynamical systems (S-HDS) model for diffusion processes
taking place over social networks with realistic topologies; this modeling
approach is inspired by recent work in biology demonstrating that S-HDS offer a
useful mathematical formalism with which to represent complex, multi-scale
biological network dynamics. We then perform formal stochastic reachability
analysis with this S-HDS model and conclude that the outcomes of social
diffusion processes may depend crucially upon the way the early dynamics of the
process interacts with the underlying network's community structure and
core-periphery structure. This theoretical finding provides the foundations for
developing a machine learning algorithm that enables accurate early warning
analysis for social diffusion events. The utility of the warning algorithm, and
the power of network-based predictive metrics, are demonstrated through an
empirical investigation of the propagation of political memes over social media
networks. Additionally, we illustrate the potential of the approach for
security informatics applications through case studies involving early warning
analysis of large-scale protests events and politically-motivated cyber
attacks
Severity-sensitive norm-governed multi-agent planning
This research was funded by Selex ES. The software developed during this research, including the norm analysis and planning algorithms, the simulator and harbour protection scenario used during evaluation is freely available from doi:10.5258/SOTON/D0139Peer reviewedPublisher PD
Rational Verification in Iterated Electric Boolean Games
Electric boolean games are compact representations of games where the players
have qualitative objectives described by LTL formulae and have limited
resources. We study the complexity of several decision problems related to the
analysis of rationality in electric boolean games with LTL objectives. In
particular, we report that the problem of deciding whether a profile is a Nash
equilibrium in an iterated electric boolean game is no harder than in iterated
boolean games without resource bounds. We show that it is a PSPACE-complete
problem. As a corollary, we obtain that both rational elimination and rational
construction of Nash equilibria by a supervising authority are PSPACE-complete
problems.Comment: In Proceedings SR 2016, arXiv:1607.0269
The role of the environment in collective perception:A generic complexity measure
We propose a novel generic information-theoretic framework for characterizing the task difficulty in the Collective Perception paradigm. Our formalism builds on the notion of Empowerment - a task-independent, universal and generic utility function, which characterizes the level of perceivable control an embodied agent has over its environment. Series of simulations with an empowerment model of the collective perception scenario revealed a significant correlation between the levels of empowerment and the accuracy demonstrated by a set of standard collective decision-making strategies and a recent state-of-the-art neural network controller on nine benchmark patterns, used previously for assessing swarm performance. The results elucidate the key role of both the agent embodiment and the environmental pattern in characterising task difficulty, and justify the application of empowerment to analytically assess this role, which could help predict swarm performance and support the development of more efficient decision-making strategies
Small steps for mankind: Modeling the emergence of cumulative culture from joint active inference communication
Although the increase in the use of dynamical modeling in the literature on cultural evolution makes current models more mathematically sophisticated, these models have yet to be tested or validated. This paper provides a testable deep active inference formulation of social behavior and accompanying simulations of cumulative culture in two steps: First, we cast cultural transmission as a bi-directional process of communication that induces a generalized synchrony (operationalized as a particular convergence) between the belief states of interlocutors. Second, we cast social or cultural exchange as a process of active inference by equipping agents with the choice of who to engage in communication with. This induces trade-offs between confirmation of current beliefs and exploration of the social environment. We find that cumulative culture emerges from belief updating (i.e., active inference and learning) in the form of a joint minimization of uncertainty. The emergent cultural equilibria are characterized by a segregation into groups, whose belief systems are actively sustained by selective, uncertainty minimizing, dyadic exchanges. The nature of these equilibria depends sensitively on the precision afforded by various probabilistic mappings in each individual's generative model of their encultured niche
- β¦