Transition systems for designing and reasoning about norms

The design and analysis of norms is a somewhat neglected topic in AI and Law, but this is not so in other areas of Computer Science. In recent years powerful techniques to model and analyse norms have been developed in the Multi-Agent Systems community, driven both by the practical need to regulate electronic institutions and open agent systems, and by a theoretical interest in mechanism design and normative systems. Agent based techniques often rely heavily on enforcing norms using the software to prevent violation, but I will also discuss the use of sanctions and rewards, and the conditions under which compliance by autonomous agents (including humans) can be expected or encouraged without sanctions or rewards. In the course of the paper a suggested framework for the exploration of these issues is developed1 .

• Type: Journal
• Year: 2015
• Where: AIL
• Authors: Trevor J. M. Bench-Capon
• Keywords: AIL 2015, Artificial Intelligence