Abstract
Institutions governing multi-agent systems (MASs) are a pervasive means to guide agents towards the aims of the MAS (e.g. collecting data) with regulations on the outcomes of agents’ behaviour. Yet, wider organisations/governments often intend to guide the design of institutions governing MAS in meeting different aims (e.g. preserving the rights of agents). A pervasive means to guide the design of MAS-governing institutions (or any institution, for that matter) is to use institutions at higher tiers of governance (e.g. directives, constitutions) to regulate the regulations of institutions at lower tiers of governance (e.g. national legislation, software policies). A recent innovation has been an automated means to determine the compliance of a lower-tier institution’s regulations with a higher-tier’s. However, for a designer of a non-compliant institution there remains a dilemma: be punished for non-compliant regulations or arduously determine and rectify the underlying causes of non-compliance. In this paper we propose a way to automatically determine how to revise an institution to be compliant that also minimises the change in the regulations’ outcomes thus keeping as closely as possible to the institution designers’ original intentions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The prototype, multi-tier reasoning in ASP and the examples used in this paper can be found at https://sourceforge.net/projects/multitierinstitutionlearning/files/.
References
Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.: Normative Multi-Agent Systems, vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 169–176 (2009)
Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)
Corapi, D., Ray, O., Russo, A., Bandara, A., Lupu, E.: Learning rules from user behaviour. Artif. Intell. Appl. Innov. III(296), 459–468 (2009)
Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54–63 (2010)
Gebser, M., Kaufmann, B., Kaminski, R.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080 (1988)
Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic J. IGPL 18(1), 157–194 (2010)
King, T.C., Li, T., De Vos, M., Dignum, V., Jonker, C.M., Padget, J., Riemsdijk, M.B.V.: A framework for institutions governing institutions. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (2015)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic (TOCL) 7(3), 499–562 (2006)
Li, T.: Normative conflict detection and resolution in cooperating institutions. Ph.D. thesis, University of Bath (2014)
Li, T., Balke, T., De Vos, M., Padget, J., Satoh, K.: Legal Conflict Detection in Interacting Legal Systems. In: DoCoPe@ JURIX (2013)
Li, T., Vos, M.D., Padget, J., Satoh, K., Balke, T.: Debugging ASP using ILP. In: Technical Communcations of ICLP 2015 (2015)
Liesbet, H., Gary, M.: Unraveling the central state, but how? Types of multi-level governance. Am. Polit. Sci. Rev. 97(2), 233–243 (2003)
Lu, H., Pan, W., Lane, N., Choudhury, T., Campbell, A.: SoundSense: scalable sound sensing for people-centric applications on mobile phones. In: Proceedings of the 7th International Conference on Mobile Systems, Applications, and Services, pp. 165–178 (2009)
Muggleton, S.: Inverse entailment and Progol. New Gener. Comput. 13(3–4), 245–286 (1995)
Searle, J.R.: What is an institution? J. Inst. Econ. 1, 1–22 (2005)
United States Federal Law. Children’s Online Privacy Protection Act (1998)
Vasconcelos, W., Kollingbaum, M.J., Norman, T.J.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 5, pp. 632–639. ACM Press, New York (2007)
Acknowledgements
Thomas C. King is supported by TU Delft’s SHINE (http://shine.tudelft.nl) project. Authors would like to thank the anonymous reviewers of COIN@IJCAI 2015 for their helpful comments and Brian Logan for the discussion following the workshop.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
King, T.C., Li, T., De Vos, M., Jonker, C.M., Padget, J., van Riemsdijk, M.B. (2016). Revising Institutions Governed by Institutions for Compliant Regulations. In: Dignum, V., Noriega, P., Sensoy, M., Sichman, J. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems XI. COIN 2015. Lecture Notes in Computer Science(), vol 9628. Springer, Cham. https://doi.org/10.1007/978-3-319-42691-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-42691-4_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42690-7
Online ISBN: 978-3-319-42691-4
eBook Packages: Computer ScienceComputer Science (R0)