Change search
ReferencesLink to record
Permanent link

Direct link
O­ffline Norm Evolution
University of Gävle, Faculty of Engineering and Sustainable Development, Department of Industrial Development, IT and Land Management. Department of Computer and Systems Sciences, Stockholm University, Stockholm, Sweden . (Besluts-, risk- och policyanalys)
2015 (English)In: Agents and Artificial Intelligence: 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / [ed] Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe, Springer, 2015, Vol. 9494, 316-333 p.Conference paper (Refereed)
Abstract [en]

An approach to the pre-runtime design of normative systems for a class of problem-solving norm-regulated multi-agent systems is suggested. The basic idea is to employ evolutionary mechanisms to evolve efficient normative systems for so-called norm-regulated Dalmases, as part of the design process. The Dalmas architecture uses an algebraic approach to normative systems, in which normative consequences are based on an extended set of one-agent types of normative positions, which is given a semantics in terms of prohibition of certain types of state transitions. To illustrate the approach, a genetic algorithm is used to evolve norms for an example system. Furthermore, some approaches to reducing the algorithm’'s search space, including to employ a notion of ‘operational equivalence’ of norms, are discussed. It is demonstrated that an evolutionary algorithm may be a useful tool when designing norms for problem-solving multi-agent systems.

Place, publisher, year, edition, pages
Springer, 2015. Vol. 9494, 316-333 p.
, Lecture Notes of Artificial Intelligence, ISSN 03029743 ; 9494
Keyword [en]
Norm-regulated Multi-Agent System, Normative MAS, DALMAS, Norm Evolution, Evolutionary Algorithm
National Category
Computer Science
URN: urn:nbn:se:hig:diva-20192DOI: 10.1007/978-3-319-27947-3_17ISI: 000376576200017ScopusID: 2-s2.0-84952784465ISBN: 978-331927946-6ISBN: 978-3-319-27947-3OAI: diva2:850694
The 7th International Conference on Agents and Artificial Intelligence (ICAART), 10-12 January 2015, Lisbon, Portugal
Available from: 2015-09-02 Created: 2015-09-02 Last updated: 2016-07-01Bibliographically approved
In thesis
1. Norm-Regulation of Agent Systems: Instrumentalizing an algebraic approach to agent system norms
Open this publication in new window or tab >>Norm-Regulation of Agent Systems: Instrumentalizing an algebraic approach to agent system norms
2015 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. Norms are represented as conditional sentences, whose normative consequences are formulated by applying normative operators to descriptive conditions. From such general normative conditions follow normative sentences regarding specific states of affairs. These in turn result in permission or prohibition of individual actions in specific situations. Furthermore, an approach to turning runtime systems into instruments for problem-solving by using evolutionary mechanisms for evolving normative systems, is presented. The construction of norm-creating operators on conditions, which forms the basis for the representation of normative systems, is approached from two angles. (i) A logical analysis based on the Kanger-Lindahl theory of normative positions is conducted. This results in two extended sets of types of normative positions, and based on an algebraic version of one of these extended systems, a set of operators for creating agent-specific norms is constructed. (ii) An alternative analysis, which takes as its starting point a systematic exploration of types of state transitions, yields a set of norm-creating operators based on prohibition of transition types. It is furthermore argued that in the context of a class of transition systems, in which transitions are deterministic and associated with a single agent performing an act, operators based on (ii) specify a meaningful semantics of operators based on (i). Theoretical results together with shared code and example applications contribute to make possible theoretically sound, transparently described, and efficiently implemented norm-regulated autonomous agent systems.

Abstract [sv]

En arkitektur för normreglerade multiagentsystem baserad på en algebraisk representation av normativa system instrumentaliseras och vidareutvecklas. Kärnan i instrumentaliseringen utgörs av en Prolog-modul som tillsammans med ett Java-bibliotek kan användas för att skapa client/server-baserad körbar kod. Normer representeras som ordnade par av grundvillkor och följdvillkor. De senare konstrueras genom att normativa operatorer appliceras på deskriptiva villkor. Från sådana generella normativa villkor följer normativa satser om specifika sakförhållanden, vilka i sin tur ger upphov till förbud mot eller tillåtelse att utföra enskilda handlingar i olika situationer. Vidare skisseras en metod för att göra körbara multiagentsystem till verktyg för problemlösning genom att använda evolutionära mekanismer för att odla fram normativa system. Konstruktionen av normskapande operatorer på villkor, vilka ligger till grund för representationen av normativa system, betraktas ur två olika synvinklar. (i) En logisk analys, baserad på Kanger-Lindahls teori om normativa positioner. Denna resulterar i två utökade uppsättningar av typer av normativa positioner och utgående från en algebraisk version av ett av dessa utökade system konstrueras sedan en uppsättning operatorer för att skapa agentspecifika normer. (ii) En alternativ analys, som tar sin utgångspunkt i en systematisk undersökning av olika typer av tillståndsövergångar. Denna ger upphov till en uppsättning av normskapande operatorer som är baserade på förbud mot olika typer av övergångar. Argument presenteras vidare för att inom ramen för en klass av övergångssystem, där övergångar är deterministiska och associerade med en agent som utför en handling, så specificerar operatorer baserade på (ii) en meningsfull semantik för operatorer baserade på (i). Teoretiska resultat tillsammans med tillgängliggjord programkod och exempel på tillämpningar bidrar till att underlätta skapandet av teoretiskt sunda, transparent beskrivna och effektivt implementerade normreglerade system av autonoma agenter.

Place, publisher, year, edition, pages
Stockholm: Department of Computer and Systems Sciences, Stockholm University, 2015. 64 p.
Report Series / Department of Computer & Systems Sciences, ISSN 1101-8526 ; 15-014
Agent System, Norm-regulated, Norm-governed, Normative MAS, Normative Positions, Normative system, Transition system
National Category
Computer Science
Research subject
Computer and Systems Sciences
urn:nbn:se:hig:diva-20425 (URN)978-91-7649-260-4 (ISBN)
Public defence
2015-11-03, L30, Nodhuset, Borgarfjordsgatan 12, Stockholm, 13:00 (English)

At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 4: Submitted. Paper 5: Forthcoming.

Available from: 2015-10-16 Created: 2015-10-16 Last updated: 2016-01-14Bibliographically approved

Open Access in DiVA

fulltext(591 kB)96 downloads
File information
File name FULLTEXT01.pdfFile size 591 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hjelmblom, Magnus
By organisation
Department of Industrial Development, IT and Land Management
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 96 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 429 hits
ReferencesLink to record
Permanent link

Direct link