nach oben

Artificial Intelligence and Law

Erschienen in:

01.11.2013

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies

verfasst von: Tina Balke, Marina De Vos, Julian Padget

Erschienen in: Artificial Intelligence and Law | Ausgabe 4/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Computer science advocates institutional frameworks as an effective tool for modelling policies and reasoning about their interplay. In practice, the rules or policies, of which the institutional framework consists, are often specified using a formal language, which allows for the full verification and validation of the framework (e.g. the consistency of policies) and the interplay between the policies and actors (e.g. violations). However, when modelling large-scale realistic systems, with numerous decision-making entities, scalability and complexity issues arise making it possible only to verify certain portions of the problem without reducing the scale. In the social sciences, agent-based modelling is a popular tool for analysing how entities interact within a system and react to the system properties. Agent-based modelling allows the specification of complex decision-making entities and experimentation with large numbers of different parameter sets for these entities in order to explore their effects on overall system performance. In this paper we describe how to achieve the best of both worlds, namely verification of a formal specification combined with the testing of large-scale systems with numerous different actor configurations. Hence, we offer an approach that allows for reasoning about policies, policy making and their consequences on a more comprehensive level than has been possible to date. We present the institutional agent-based model methodology to combine institutional frameworks with agent-based simulations). We furthermore present J-InstAL, a prototypical implementation of this methodology using the InstAL institutional framework whose specifications can be translated into a computational model under the answer set semantics, and an agent-based simulation based on the jason tool. Using a simplified contract enforcement example, we demonstrate the functionalities of this prototype and show how it can help to assess an appropriate fine level in case of contract violations.

Vorheriger Artikel Introduction to special issue on modelling policy-making

Nächster Artikel Agile: a problem-based model of regulatory policy making

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nur mit Berechtigung zugänglich

The computational modelling technique corresponding to agent-based modelling is typically referred to as agent-based simulation or multi-agent simulation (Gulyás 2005).

The explanation of the terms agent and ABM in this paper follows that of Balke (2011) to a large extent.

http://instsuite.cs.bath.ac.uk/.

http://jason.sourceforge.net/.

http://potassco.sourceforge.net/.

We assume here that the institutional framework includes policies that specify the procedure and the rules of contracting.

That is, to run simulations with all possible combinations of the values of the subsets of chosen input variables across all factors. Factorial experiments enable study of the effect of each factor on the simulation output data, as well as the effects of interactions between factors, while cancelling out influences of other factors on a particular setting.

If fewer agents have violated than punishable events, all violators are fined.

The higher numbers of punishable events in our experiments (i.e. 10 and 20), that are not depicted in Fig. 5, yield the same results that followed the same trends as described here, the decrease in cheating events produced by them was however faster.)

For maximum 2 punishments effects the results are similar the single punishment effect.

An interesting line of research would be to analyse the learning or increase of awareness of agents with respect to policies if they are punished repeatedly, but this is not the subject of this paper.

Ågotnes T, van der Hoek W, Rodríguez-Aguilar JA, Sierra C, Wooldridge M (2007) On the logic of normative systems. In: Proceedings of the 20th international joint conference on artificial intelligence, JCAI 2007, Hyderabad, India, January 6–12, 2007

Alberti M, Gavanelli M, Lamma E (2012) Deon ⁺: abduction and constraints for normative reasoning. In: Artikis A, Craven R, Kesim Çiçekli N, Sadighi B, Stathis K (eds) Logic programs, norms and action, vol. 7360 of lecture notes in computer science. Springer Berlin, pp 308–328

Alberti M, Gomes AS, Gonçalves R, Leite J, Slota M (2011) Normative systems represented as hybrid knowledge bases. In: Leite J, Torroni P, Ågotnes T, Boella G, van der Torre L (eds) Proceedings of the 12th international conference on computational logic in multi-agent systems, vol. 6814 of lecture notes in computer science. Springer, Berlin, pp 330–346

Andrighetto G, Conte R, Turrini P, Paolucci M (2007) Emergence in the loop: simulating the two way dynamics of norm innovation. In: Boella G, van der Torre L, Verhagen H (eds) Normative multi-agent systems

Balke T (2011) Towards the governance of open distributed systems—a case study in wireless mobile grids. Phd dissertation, University of Bayreuth

Balke T, Vos MD, Padget J (2011) Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Futur Gener Comput Syst 27(8):1092–1102CrossRef

Baral C (2003) Knowledge representation, reasoning and declarative problem solving. Cambridge Press, CambridgeCrossRefMATH

Bonabeau E (2002) Agent-based modeling: methods and techniques for simulating human systems. Proc Natl Acad Sci USA 99(10):7280–7287CrossRef

Bordini RH, Hübner JF, Wooldridge M (2007) Programming multi-agent systems in agentspeak using Jason. Wiley series in agent technology. Wiley, New YorkCrossRef

Broersen J, Dastani M, Hulstijn J, Huang Z, van der Torre L (2001) The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of the fifth international conference on autonomous agents, AGENTS ’01. ACM, New York, NY, pp 9–16

Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244–263CrossRefMATH

Cliffe O (2007) Specifying and analysing institutions in multi-agent systems using answer set programming. Ph.D. thesis, University of Bath

Cliffe O, De Vos M, Padget J (2007) Specifying and reasoning about multiple institutions. In: Coin, Vol. 4386 of LNAI. Springer, Berlin, pp 67–85

Criado N, Argente E, Botti VJ (2010) A BDI architecture for normative decision making. In: van der Hoek W, Kaminka GA, Lespérance Y, Luck M, Sen S (eds) International conference on autonomous agents and multiagent systems. IFAAMAS, pp 1383–1384

De Vos M, Padget J, Satoh K (2011) Legal modelling and reasoning using institutions. In: Tojo S (ed) Proceedings of JURISIN 2010, vol. 6797 of LNCS. Springer, Berlin

Denecker M (2004) What’s in a model? Epistemological analysis of logic programming. In: Proceedings of the ninth international conference (KR2004) on principles of knowledge representation and reasoning. pp 106–113

Dignum F, Morley D, Sonenberg E, Cavedon L (2000) Towards socially sophisticated BDI agents. In: International conference on multi-agent systems, vol 0, p 0111

Epstein JM, Axtell R (1996) Growing artificial societies: social science from the bottom up. The Brookings Institution, Washington, DC

Esteva M, de la Cruz D, Sierra C (2002) ISLANDER: an electronic institutions editor. In: International conference on autonomous agents and multiagent systems. ACM, pp 1045–1052

Esteva M, Rosell B, Rodríguez-Aguilar JA, Arcos JL (2004) AMELI: An agent-based middleware for electronic institutions. In: Jennings N (ed) Proceedings of the third international joint conference on autonomous agents and multiagent systems (AAMAS 2004), vol. 1. IEEE Computer Society, Washington, DC, pp 236–243

Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Thiele S (2008) Engineering an incremental ASP solver. In: Garcia de la Banda M, Pontelli E (eds) Logic programming, vol. 5366 of lecture notes in computer science. Springer, Berlin, pp 190–205

Gebser M, Kaufmann B, Neumann A, Schaub T (2007) Conflict-driven answer set solving. In: Proceeding of IJCAI07, pp 386–392

Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3–4):365–386CrossRef

Gilbert N, Troitzsch KG (2005) Simulation for the social scientist, 2nd edn. Open University Press, New York City

Governatori G (2005) Representing business contracts in RuleML. Int J Coop Inf Syst 14(2–3):181–216CrossRef

Governatori G, Rotolo A (2004) Defeasible logic: agency, intention and obligation. In: Lomuscio A, Nute D (eds) Deontic logic in computer science, vol 3065 of LNAI. Springer, Berlin, pp 114–128

Grossi D (2007) Designing invisible handcuffs. Formal investigations in institutions and organizations for multi-agent systems. Ph.D. thesis, Utrecht University

Gulyás L (2005) Understanding emergent social phenomena: methods, tools and applications for agent-based modeling. Ph.D. thesis, Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary

Helbing D, Balietti S (2011) How to do agent-based simulations in the future: from modeling social mechanisms to emergent phenomena and interactive systems design. Working Paper 11-06-024, Santa Fe Institute

Herrestad H (1991) Norms and formalization. In: Proceedings of the 3rd international conference on artificial intelligence and law, ICAIL’91. ACM Press, New York, pp 175–184

Holland JH (1992) Adaptation in natural and artificial systems. MIT Press, Cambridge

Hübner JF, Sichman JS, Boissier O (2007) Developing organised multiagent systems using the MOISE. IJAOSE 1(3/4):370–395CrossRef

Jager W (2000) Modelling consumer behaviour. Ph.D. thesis, University of Groningen

Jones AJ, Sergot M (1996) A formal characterisation of institutionalised power. ACM Comput Surv 28(4):121 Read 28/11/2004

Jones AJI, Sergot M (1993) On the characterization of law and computer systems: the normative systems perspective. In: Deontic logic in computer science: normative system specification. Wiley, New York, pp 275–307

Ligeza A (2006) Logical foundations for rule-based systems, vol. 11 of studies in computational intelligence. Springer, Berlin

Macy MW, Willer R (2002) From factors to actors: computational sociology and agent-based modeling. Annu Rev Sociol 28:143–166CrossRef

Meneguzzi FR, Luck M (2009) Norm-based behaviour modification in BDI agents. In: Sierra C, Castelfranchi C, Decker KS, Sichman JS (eds) International conference on autonomous agents and multiagent systems, vol 1. IFAAMAS, pp 177–184

Morales J, López-Sánchez M, Esteva M (2011) Evaluation of an automated mechanism for generating new regulations. In: Lozano J, Gámez J, Moreno J (eds) Advances in artificial intelligence, vol. 7023 of lecture notes in computer science. Springer, Berlin, pp 12–21

Noriega P (1997) Agent mediated auctions: the Fishmarket Metaphor. Ph.D. thesis, Universitat Autònoma de Barcelona

North DC (1994) Institutions matter. Economic History 9411004, EconWPA

Okouya D, Dignum V (2008) OperettA: a prototype tool for the design, analysis and development of multi-agent organizations. In: AAMAS (Demos). IFAAMAS, pp 1677–1678

Ostrom E (1990) Governing the commons: the evolution of institutions for collective action. Cambridge University Press, Cambridge, 18th printing (2006)

Prakken H, Sergot MJ (1996) Contrary-to-duty obligations. Studia Logica (SLOGICA) 57(1):91–115MathSciNetCrossRefMATH

Rao AS, Georgeff MP (1995) BDI-agents: from theory to practice. In: Proceedings of the first international conference on multiagent systems

Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun ACM 29(5):370–386CrossRef

Sierra C, Thangarajah J, Padgham L, Winikoff M (2007) Designing institutional multi-agent systems. In: Proceedings of the 7th international conference on Agent-oriented software engineering VII. Springer, Berlin

Vázquez-Salceda J (2003) The role of norms and electronic institutions in multi-agent systems applied to complex domains. The HARMONIA framework. Ph.D. thesis, Technical University of Catalonia

Vickers G (1973) Values, norms and policies. Policy Sci 4:103–111CrossRef

Wooldridge MJ, Jennings NR (1995) Intelligent agents: theory and practice. Knowl Eng Rev 10(2):115–152CrossRef

Titel: I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies
verfasst von: Tina Balke
Marina De Vos
Julian Padget
Publikationsdatum: 01.11.2013
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 4/2013
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-013-9143-1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2013

Versioned linking of semantic enrichment of legal documents

Introduction to special issue on modelling policy-making

Agile: a problem-based model of regulatory policy making

Bridging narrative scenario texts and formal policy modeling through conceptual policy modeling

Neminem laedere. An evolutionary agent-based model of the interplay between punishment and damaging behaviours