Abstract
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 developed.
Similar content being viewed by others
Notes
I once encountered a cafe in Paris with three areas: smoking, non-smoking and mixed, but I think this was a joke on the part of the patron.
At the time of writing it had received only nine citations on Google Scholar.
Awarded best paper prize at AAMAS-2011.
Social conventions are an exception, although one’s peers will soon make one aware of transgressions. Books of etiquette are published which are initially intended to describe existing social norms, but may, if sufficiently accepted, become authoritative sources, such as Nancy Mitford’s essay about word usage The English Aristocracy published in Encounter magazine 1954.
The Regimental Motto of the 17th/21st Lancers, now part of the Queen’s Royal Lancers.
A saying apparently widely used in the US Marines Corps.
Like Atkinson and Bench-Capon (2007), this paper does not consider accrual when multiple values are promoted or demoted by an action, not differing degrees of promotion and demotion. These issues are important, but require further investigation.
Moreover, non-performance of obligations is harder to specify and to detect, see, e.g., Wyner (2006) Sometimes, however, this will depend on the formulation of the action: forbidding tax evasion and insisting on payment of taxes require the same action. Here, however, the obligation will be preferred because there is only one way of paying and many ways of evading. In general the formulation requiring the fewest transitions to be sanctioned should be chosen.
In fact, whereas (3) is much more common that (4), (5c) is perhaps more common that (5b): this probably reflects that this method of seeking compliance is used when sanctions are difficult or impossible to enforce, and so compliance relies on the free choice of the agents concerned. This is closely related to the point about evidence in Boer (2014).
References
Ågotnes T, van der Hoek W, Tennenholtz M, Wooldridge M (2009) Power in normative systems. In Proceedings of the 8th international conference on autonomous agents and multiagent systems, vol 1, pp 145–152. International Foundation for Autonomous Agents and Multiagent Systems
Ågotnes T, van der Hoek W, Wooldridge M (2008) Robust normative systems. In Proceedings of the 7th international joint conference on autonomous agents and multiagent systems, vol 2, pp 747–754. International Foundation for Autonomous Agents and Multiagent Systems
Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49(5):672–713
Alur R, Henzinger TA, Mang FYC, Qadeer S, Rajamani SK, Tasiran S (1998) MOCHA: modularity in model checking. In Proceedings of computer aided verification, 10th international conference, pp 521–525
Arcos J, Esteva M, Noriega P, Rodríguez-Aguilar J, Sierra C (2005) An integrated development environment for electronic institutions. In Software agent-based applications, platforms and development kits, pp 121–142. Birkhäuser Basel
Atkinson K, Bench-Capon T (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171(10–15):855–874
Atkinson K, Bench-Capon T (2014) States, goals and values: revisiting practical reasoning. In Proceedings of 11th Intl. Workshop on Argumentation in Multi-Agent Systems
Atkinson K, Bench-Capon TJM (2014) Taking the long view: looking ahead in practical reasoning. In Proceedings of the fifth international conference on computational models of argument (COMMA 2014), pp 109–120
Atkinson K, Bench-Capon T (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171(10–15):855–874
Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13(3):429–448
Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13(3):429–448
Boer A (2014) Punishments, rewards, and the production of evidence. In Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, pp 97–102
Di Napoli C, Sierra C, Giordano M, Noriega P, Furnari MM (1996) A PVM implementation of the fishmarket multiagent system. In Proceedings of ISAI/IFIS 1996. Mexico-USA Collaboration in Intelligent Systems Technologies, pp 68–76. IEEE
d’Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C (2012) Communicating open systems. Artif. Intell. 186:38–94
Emerson EA (1990) Temporal and modal logic. Handb Theor Comput Sci Vol B Formal Models Semat B 995:1072
Esteva M, De La Cruz D, Sierra C (2002) Islander: an electronic institutions editor. In Proceedings of the first international joint conference on autonomous agents and multiagent systems: part 3, pp 1045–1052. ACM
Gordon TF (1987) Oblog-2: a hybrid knowledge representation system for defeasible reasoning. In Proceedings of the first international conference on artificial intelligence and law, pp 231–239
Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231–238
Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231–238
Jones A, Sergot M (1992) Deontic logic in the representation of law: towards a methodology. Artif Intell Law 1(1):45–64
Kant I (1785) Grundlegung zur Metaphysik der Sitten. English edition: fundamental principles of the metaphysics of ethics (trans: Abbott TK). London, Longmans, Green and co
Reiter R (1992) Formalizing database evolution in the situation calculus. In Fifth generation computer systems ’92: proceedings of the international conference on fifth generation computer systems, pp 600–609
Shoham Y, Tennenholtz M (1992) On the synthesis of useful social laws for artificial agent societies (preliminary report). In AAAI, pp 276–281
Ullmann-Margalit E (1977) The emergence of norms. Clarendon Press, Oxford
van Der Hoek W, Roberts M, Wooldridge M (2007) Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1):1–19
Winkels R, Den Haan N (1995) Automated legislative drafting: generating paraphrases of legislation. In Proceedings of the 5th international conference on artificial intelligence and law, pp 112–118. ACM
Wyner A (2006) Violations and fulfillments in the formal representation of contracts. Ph.D. thesis, King’s College, London
Author information
Authors and Affiliations
Corresponding author
Additional information
This is a revised and extended version of a paper presented at Jurix 2014 (Bench-Capon 2014).
Rights and permissions
About this article
Cite this article
Bench-Capon, T.J.M. Transition systems for designing and reasoning about norms. Artif Intell Law 23, 345–366 (2015). https://doi.org/10.1007/s10506-015-9175-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10506-015-9175-9