Abstract

Many open networks, distributed computing systems, and infrastructure management systems face a common problem: how to distribute a collectivised set of resources amongst a set of autonomous agents of heterogenous provenance. One approach is for the agents themselves to self-organise the allocation of resources with respect to a set of agreed conventional rules; but given an allocation scheme which maps resources to those agents and a set of rules for determining that allocation scheme, some natural questions arise—Is this allocation fair? Is the allocation method effective? Is it efficient? Are the decision makers accountable? In this paper, we argue that some answers to these questions can be found in the formal characterisation of different aspects of ‘justice’ and that these different aspects need a principled operationalisation as policies for system management. We present a formal model and some experimental results, concluding that the different aspects are all inter-connected and that what is required is a comprehensive research programme in computational justice.