Normative Multiagent Systems: A Dynamic Generalization

TL;DR

This paper introduces a dynamic normative system for multiagent coordination, allowing reasoning about norm changes under varying circumstances, addressing limitations of static systems.

Contribution

It presents a novel dynamic normative framework and analyzes the computational complexity of norm synthesis and recognition problems.

Findings

Proposes a dynamic normative system for multiagent coordination

Characterizes the computational complexity of key normative problems

Addresses limitations of static normative systems

Abstract

Social norms are powerful formalism in coordinating autonomous agents' behaviour to achieve certain objectives. In this paper, we propose a dynamic normative system to enable the reasoning of the changes of norms under different circumstances, which cannot be done in the existing static normative systems. We study two important problems (norm synthesis and norm recognition) related to the autonomy of the entire system and the agents, and characterise the computational complexities of solving these problems.