Reasoning under compliance assumptions in normative multiagent systems
Max Knobbout, Mehdi M. Dastani · 2012
The use of norms in multiagent systems has proven to be a successful approach in order to coordinate and regulate the behaviour of participating agents. In such normative systems it is generally assumed that agents can obey or disobey norms. Inthispaper, wedevelopalogicalframeworkfornormative systems that allows reasoning about agents ’ abilities under a multitude of norm compliance assumptions. In particular, we investigate different types of norm compliance and propose an extension of Alternating Temporal Logic (ATL) to reason about the abilities of (coalitions of) agents under different types of norm compliance assumptions. For this extension we show that the problem of model-checking remains close to the domain of standard ATL. Finally, we show that some norms can limit an agent’s autonomy in the sense that an agent cannot control the violation of these norms. We present and discuss various classes of the socalled self-supportingnorms, i.e., normsfor whichindividual agents have control over their violations.