Automated multi-level governance compliance checking

An institution typically comprises constitutive rules, which give shape and meaning to social interactions and regulative rules, which prescribe agent behaviour in the society. Regulative rules guide social interaction, in particular when they are coupled with reward and punishment regulations that are enforced for (non-)compliance. Institution...

Governing Governance: A formal framework for analysing institutional design and enactment governance

This dissertation is motivated by the need, in today’s globalist world, for a precise way to enable governments, organisations and other regulatory bodies to evaluate the constraints they place on themselves and others. An organisation’s modus operandi is enacting and fulfilling contracts between itself and its participants. Yet, organisational...

Supporting request acceptance with use policies

This paper deals with the problem of automating the contribution of resources owned by people to do work for others, whilst providing a means for owners of resources to maintain autonomy over how, when and to whom their resources are used with the specification of resource use policies. We give representations of requests for resource usage as a...

On Meta-norms as Use Policies Constraining Contracts and Contract Requirements

In multi-agent organizations, contractual obligations and prohibitions are important for governing autonomous agents. However, agents may only wish to participate in an organization if the contracts they engage in respect and satisfy their policies specifying how the agent may be used, we call these use policies and they specify what norms may...

On Meta-norms as Use Policies Constraining Contracts and Contract Requirements

In multi-agent organizations, contractual obligations and prohibitions are important for governing autonomous agents. However, agents may only wish to participate in an organization if the contracts they engage in respect and satisfy their policies specifying how the agent may be used, we call these use policies and they specify what norms may...