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.
Changes of normative system. @cite_0 represents the norms as a set of atomic propositions and then employs a language to specify the update of norms. Although the updates are parameterised over actions, no considerations are taken to investigate, by either verification or norm synthesis, whether the normative system can be imposed to coordinate agents' behaviour to secure the objectives of the system.
@cite_0
321389052
The use of normative systems is widely accepted as an effective approach to control and regulate the behaviour of agents in multi-agent systems. When norms are added to a normative system, the behaviour of such a system changes. As of yet, there is no clear formal methodology to model the dynamics of a normative system under addition of various types of norms. In this paper we view the addition of a norm as an update of a normative system, and we provide update semantics to model this process.