Many multi-agent systems (MAS) and other kinds of dynamic systems may be modeled as transition systems, in which actions are associated with transitions between different system states. This paper presents an approach to normative systems in this context, in which the permission or prohibition of actions is related to the permission or prohibition of different types of state transitions with respect to some condition d on a number of agents x 1 , ..., x ν in a state. It introduces the notion of a norm-regulated transition system situation, which is intended to represent a single step in the run of a (norm-regulated) transition system. The normative framework uses an algebraic representation of conditional norms and is based on a systematic exploration of the possible types of state transitions with respect to d(x 1 , ..., x ν ). A general-level Java/Prolog framework for norm-regulated transition system situations is currently being developed.
The notion of a norm-regulated transition system situation was originally presented in REF .
Norm-regulated Transition System Situations
ICAART
Computer Science