Blockchain-Oriented Coalition Formation by CPS Resources: Ontological Approach and Case Study

Contextual and Possibilistic Reasoning for Coalition Formation

In multi-agent systems, agents often need to cooperate and form coalitions to fulfil their goals, for example by carrying out certain actions together or by sharing their resources. In such situations, some questions that may arise are: Which agent(s) to cooperate with? What are the potential coalitions in which agents can achieve their goals? As the number of possibilities is potentially quite large, how to automate the process? And then, how to select the most appropriate coalition, taking into account the uncertainty in the agents’ abilities to carry out certain tasks? In this article, we address the question of how to identify and evaluate the potential agent coalitions, while taking into consideration the uncertainty around the agents’ actions. Our methodology is the following: We model multi-agent systems as Multi-Context Systems, by representing agents as contexts and the dependencies among agents as bridge rules. Using methods and tools for contextual reasoning, we compute all possible coalitions with which the agents can fulfil their goals. Finally, we evaluate the coalitions using appropriate metrics, each corresponding to a different requirement. To demonstrate our approach, we use an example from robotics.

Execution Plan Control in Dynamic Coalition of Robots with Smart Contracts and Blockchain

The paper presents an approach of the blockchain and smart contracts utilization for dynamic robot coalition creation. The coalition is forming for solving complex tasks in industry applications that requires sequential united actions from the several robots. The main idea is that the process is split into two stages: scheduling and dynamic execution. On the scheduling stage, the coalition is defined based on the correlation of existing tasks and robot equipment, and the execution plan is formed and stored in smart contracts. The second stage is the plan execution. During this stage, smart contract controls how each robot solves its sub-task and whether it solves the sub-task due to the planned moment of time. In case of any deviation from the plan, smart contacts will provide a solution for returning to the plan or for changing the coalition composition with new robots and an execution plan. The prototype for execution control system has been developed based on the Hyperledger Fabric platform.