Abstract:Self-organization is a process where a stable pattern is formed by the cooperative behavior between parts of an initially disordered system without external control or influence. It has been introduced to multi-agent systems as an internal control process or mechanism to solve difficult problems spontaneously. However, because a self-organizing multi-agent system has autonomous agents and local interactions between them, it is difficult to predict the behavior of the system from the behavior of the local agents we design. This paper proposes a logic-based framework of self-organizing multi-agent systems, where agents interact with each other by following their prescribed local rules. The dependence relation between coalitions of agents regarding their contributions to the global behavior of the system is reasoned about from the structural and semantic perspectives. We show that the computational complexity of verifying such a self-organizing multi-agent system is in exponential time. We then combine our framework with graph theory to decompose a system into different coalitions located in different layers, which allows us to verify agents' full contributions more efficiently. The resulting information about agents' full contributions allows us to understand the complex link between local agent behavior and system level behavior in a self-organizing multi-agent system. Finally, we show how we can use our framework to model a constraint satisfaction problem.

A Formal Framework Of Coalition Formation And Rational Collaboration In Multi-Agent System

Architecture and Mechanism of Coalition Formation in Multi-Agent Systems

A Formal Framework of Figuring out Rational Strategy in Multi-Agent System

On the logic of dynamic coalition formation

A Model for Learning and Acting Rationally in Multiagent System.

Research of Coalition Formation in Time-Bounded Multi-Agent Systems

Multi-agent complex system model based on BDI

A MULTI-AGENT BASED COOPERATIVE INTELLIGENT FRAME FOR PROBLEM SOLVING METHOD

Coalition Model for Dynamic Task Solving

Algorithm to Form Coalition in Multi-Agent Cooperation

A Formal Model of Multi-Agent Collaborative Systems

Novel Modeling Architecture and Framework of Agent

Agent Coalition Algorithm for Complex Task Structure

Coalition formation problem: a capability-centric analysis and general model

Coalition Formation Strategy Based on Emotional Organization Agent

On the Integrated Structure of an Intelligent Agent for Cooperative Design

A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems

Coalition Formation Based on a Task-Oriented Collaborative Ability Vector

An Improved Multi-Agent Cooperative Solution Process

Task Assignment Based on the Dynamic Alliance Formation Game.

A Multi-Agent Based New Cooperation Method in CSCD