nach oben

Artificial Intelligence and Law

Erschienen in:

01.03.2008 | Original Paper

Artificial institutions: a model of institutional reality for open multiagent systems

verfasst von: Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti

Erschienen in: Artificial Intelligence and Law | Ausgabe 1/2008

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Software agents’ ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents’ interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative component, with suitable rules to regulate the behaviour of agents. To tackle this problem we propose an application-independent metamodel of artificial institutions that can be used to define open multiagent systems. In our view an artificial institution is made up by an ontology that models the social context of the interaction, a set of authorizations to act on the institutional context, a set of linguistic conventions for the performance of institutional actions and a system of norms that are necessary to constrain the agents’ actions.

Vorheriger Artikel From human regulations to regulated software agents’ behavior

Nächster Artikel Electronic institutions for B2B: dynamic normative environments

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

For reason of conciseness we do not discuss our meta-metamodel and the relations existing between it and the meta-metamodel defined by UML.

Following Searle (Searle 1995), the construction of social reality in the human world is possible thanks to constitutive rules of the form X counts as Y in C.

Artikis A, Sergot M, Pitt J (2002) Animated specifications of computational societies. In: Castelfranchi C, Johnson WL (eds) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). ACM Press, pp 535–542

Boella G, Hulstijn J, Tan Y-H, der Torre LV (2006) Modeling control mechanisms with normative multiagent systems: the case of the renewables obligation. In: Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Simão Sichman J, Vázquez-Salceda J (eds) Coordination, organization, institutions and norms in multi-agent systems, vol 3913 of LNAI. Springer, pp 114–126

Castelfranchi C (1995) Commitments: from individual intentions to groups and organizations. In: Lesser V (ed) Proceedings of the 1st International Conference on Multi-Agent Systems. AAAI-Press and MIT Press, San Francisco, USA, pp 528–535

Cliffe O, Vos MD, Padget J (2006) Specifying and analysing agent-based social institutions using answer set programming agents. In: Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Simão Sichman J, Vázquez-Salceda J (eds) Coordination, organization, institutions and norms in multi-agent systems, vol 3913 of LNAI. Springer, pp 99–113

Colombetti M (2000) A commitment–based approach to agent speech acts and conversations. In: Proceedings of the Workshop on Agent Languages and Communication Policies, 4th International Conference on Autonomous Agents (Agents 2000). Barcelona, Spain, pp 21–29

Colombetti M, Fornara N, Verdicchio M (2004) A social approach to communication in multiagent systems. In: Leite JA, Omicini A, Sterling L, Torroni P (eds) Declarative agent languages and technologies, vol 2990 of LNAI. Springer, pp 191–220

Colombetti M, Verdicchio M (2002) An analysis of agent speech acts as institutional actions. In: Castelfranchi C, Johnson WL (eds) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). pp 1157–1166

Dignum F (ed) (2004) Advances in agent communication, international workshop on agent communication languages, ACL 2003, Springer Melbourne, Australia, July 14, 2003, vol 2922 of LNAI.

Dignum F, Broersen J, Dignum V, Meyer JC (2004) Meeting the deadline: why, when and how. In: Proceedings of the 3rd International Workshop on Formal Approaches to Agent-Based Systems (FAABS). pp 30–40

Esteva M, Rodríguez-Aguilar J, Rosell B, Arcos J (2004a) AMELI: An Agent-Based Middleware for Electronic Institutions. In: Jennings NR, Sierra C, Sonenberg L, Tambe M (eds) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) ACM Press, pp 236–243

Esteva M, Rodríguez-Aguilar J, Sierra C, Vasconcelos W (2004b) Verifying Norm Consistency in Electronic Institutions. In: Dignum V, Corkill D, Jonker C, Dignum F (eds) Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice. pp 8–15

Esteva M, Rodríguez-Aguilar JA, Sierra C, Garcia P, Arcos JL (2001) On the Formal Specification of Electronic Institutions. In: Dignum F, Sierra C (eds) Agent mediated electronic commerce, The European agentlink perspective, vol 1991 of LNAI. Springer, pp 126–147

Finin T, Labrou Y, Mayfield J (1997) KQML as an agent communication language. In: Bradshaw JM (ed) Software Agents. AAAI Press /The MIT Press, Chapt. 14, pp 291–316

Fornara N, Colombetti M (2004) A commitment-based approach to agent communication. Appl Artif Intelligence Int J 18(9–10):853–866CrossRef

Fornara N, Viganò F, Colombetti M (2005) Agent communication and institutional reality. In: van Eijk RM, Huget MP, Dignum F (eds) Agent communication: international workshop on agent communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. pp. 1–17, Springer Verlag. (For an extended version see N. Fornara, F. Vigan‘o, and M. Colombetti, ’Agent Communication and ArtificialInstitutions’. Journal of Autonomous Agents and Multi-Agent Systems, to appear)

Fornara N, Viganò F, Colombetti M (2007) Agent communication and artificial institutions. Auton Agents Multi-Agent Syst 14(2):121–142CrossRef

Foundation for Intelligent Physical Agents (2002) FIPA communicative act library specification. http://www.fipa.org

Garcia-Camino A, Noriega P, Rodriguez-Aguilar JA (2005) Implementing norms in electronic institutions. In: Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS 2005). ACM Press, pp 667–673

Ferber J, Gutknecht O (1998) A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS98). Paris, France, pp 128–135

Jones A, Sergot MJ (1996) A formal characterisation of institutionalised power. J IGPL 4(3):429–445MathSciNet

López y López F, Luck M, d’Inverno M (2004) Normative agent reasoning in dynamic societies. In: Jennings NR, Sierra C, Sonenberg L, Tambe M (eds): Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). ACM Press, pp 535–542

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

Noriega P, Sierra C (1996) Towards layered dialogical agents. In: Mueller JP, Wooldridge M, Jennings N (eds) Proceedings ATAL 96. Intelligent Agents III. Agent theories, architectures, and languages, vol 1193 of LNAI. Springer-Verlag

Object Management Group (2005a) UML 2.0 OCL Specification. http://www.omg.org/

Object Management Group (2005b) Unified modeling language specification. http://www.omg.org/

Omicini A, Zambonelli F (1999) Coordination for internet application development. Auton Agent Multi Agent Syst 2(3):251–269CrossRef

Rubino R, Omicini A, Denti E (2006) Computational institutions for modelling nor-regulated MAS: an 625 approach based on coordination artifacts. In: Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Simão Sichman J, Vázquez-Salceda J (eds) Coordination, organization, institutions and norms in multi-agent systems, vol 3913 of LNAI. Springer, pp 127–141

Searle JR (1995) The construction of social reality. Free Press, New York

Singh MP (1999a) An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artif Intell Law 7:97–113CrossRef

Singh MP (1999b) A social semantics for agent communication languages. In: Proceedings of IJCAI-99 workshop on agent communication languages. pp 75–88

van Eijk R, Huget M, Dignum F (eds) (2005) Agent communication, international workshop on agent communication, AC 2004, New York, NY, USA, July 19, 2004, Revised selected and invited papers, vol. 3396 of LNAI. Springer

Vasconcelos W (2003) Logic-based electronic institutions. In: Leite J, Omicini A, Sterling L, Torroni P (eds) Workshop on Declarative Agent Languages and Technologies (DALT 2003), vol 2990 of LNCS. Springer, pp 221–242

Vasconcelos W, Sabater J, Sierra C, Querol J (2002) Skeleton-based agent development for electronic institutions. In: Castelfranchi C, Johnson WL (eds) Proceedings of the 1st international joint conference on Autonomous Agents and Multiagent Systems (AAMAS ’02). ACM Press, pp 696–703

Vázquez-Salceda J, Aldewereld H, Dignum F (2004) Implementing norms in multiagent systems. In: Lindemann IG, Denzinger J, Timm IJ, Unland R (eds) Multiagent System Technologies (MATES 2004), vol 3187 of LNAI. Springer Verlag, Berlin, Germany, pp 313–327

Vázquez-Salceda J, Dignum V, Dignum F (2005) Organizing multiagent sstems. Auton Agent Multi Agent Syst 11(3):307–360CrossRef

Viganò, F, Fornara N, Colombetti M (2006) An event driven approach to norms in artificial institutions. In: Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Simão Sichman J, Vázquez-Salceda J (eds) Coordination, organization, institutions and norms in multi-agent systems, vol 3913 of LNAI. Springer, pp 142–154

von Wright GH (1959) On the logic of negation. Societas Scientiarum Fennica, Helsinki

Titel: Artificial institutions: a model of institutional reality for open multiagent systems
verfasst von: Nicoletta Fornara
Francesco Viganò
Mario Verdicchio
Marco Colombetti
Publikationsdatum: 01.03.2008
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 1/2008
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-007-9055-z

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 1/2008

A computational framework for institutional agency

From human regulations to regulated software agents’ behavior

Building computational institutions for agents with RoleX

Normative-informational positions: a modal-logical approach

Electronic institutions for B2B: dynamic normative environments

Preface