DeepAI AI Chat
Log In Sign Up

Using synchronous Boolean networks to model several phenomena of collective behavior

by   Stepan Kochemazov, et al.

In this paper, we propose an approach for modeling and analysis of a number of phenomena of collective behavior. By collectives we mean multi-agent systems that transition from one state to another at discrete moments of time. The behavior of a member of a collective (agent) is called conforming if the opinion of this agent at current time moment conforms to the opinion of some other agents at the previous time moment. We presume that at each moment of time every agent makes a decision by choosing from the set 0,1 (where 1-decision corresponds to action and 0-decision corresponds to inaction). In our approach we model collective behavior with synchronous Boolean networks. We presume that in a network there can be agents that act at every moment of time. Such agents are called instigators. Also there can be agents that never act. Such agents are called loyalists. Agents that are neither instigators nor loyalists are called simple agents. We study two combinatorial problems. The first problem is to find a disposition of instigators that in several time moments transforms a network from a state where a majority of simple agents are inactive to a state with a majority of active agents. The second problem is to find a disposition of loyalists that returns the network to a state with a majority of inactive agents. Similar problems are studied for networks in which simple agents demonstrate the contrary to conforming behavior that we call anticonforming. We obtained several theoretical results regarding the behavior of collectives of agents with conforming or anticonforming behavior. In computational experiments we solved the described problems for randomly generated networks with several hundred vertices. We reduced corresponding combinatorial problems to the Boolean satisfiability problem (SAT) and used modern SAT solvers to solve the instances obtained.


page 16

page 17


On the Hierarchy of Distributed Majority Protocols

We study the Consensus problem among n agents, defined as follows. Initi...

Multi-Agent Algorithms for Collective Behavior: A structural and application-focused atlas

The goal of this paper is to provide a survey and application-focused at...

Learning to Gather without Communication

A standard belief on emerging collective behavior is that it emerges fro...

Learning Nested Agent Models in an Information Economy

We present our approach to the problem of how an agent, within an econom...

Spin glass systems as collective active inference

An open question in the study of emergent behaviour in multi-agent Bayes...

Multi-Agent Path Finding with Capacity Constraints

In multi-agent path finding (MAPF) the task is to navigate agents from t...

Let's Agree to Agree: Targeting Consensus for Incomplete Preferences through Majority Dynamics

We study settings in which agents with incomplete preferences need to ma...