Algebras for Agent Norm-Regulation

TL;DR

This paper presents an abstract algebraic framework for multi-agent systems where agents' choices are guided by preferences and normative constraints, formalized through set-theoretic predicates and decision theory.

Contribution

It introduces a novel algebraic and set-theoretic formalization of normative regulation in multi-agent systems, combining decision theory and normative position theories.

Findings

Formal set-theoretic predicates characterize normative multi-agent systems.

The framework integrates decision theory with normative position algebra.

Provides a basis for analyzing agent behavior under normative constraints.

Abstract

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger-Lindahl theory of normative positions, and an algebraic representation of normative systems.