Automated synthesis of normative systems

Javier Morales, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos

Research output: Contribution to conferencePaper

36 Citations (Scopus)

Abstract

Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthe-sise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.

Original languageEnglish
Pages483-490
Number of pages8
Publication statusPublished - 1 Jan 2013
Event12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 - Saint Paul, MN, United States
Duration: 6 May 201310 May 2013

Conference

Conference12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
CountryUnited States
CitySaint Paul, MN
Period6/05/1310/05/13

Fingerprint

Multi agent systems

Keywords

  • Norm Synthesis
  • Normative Systems
  • Norms

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Morales, J., Lopez-Sanchez, M., Rodriguez-Aguilar, J. A., Wooldridge, M., & Vasconcelos, W. (2013). Automated synthesis of normative systems. 483-490. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.

Automated synthesis of normative systems. / Morales, Javier; Lopez-Sanchez, Maite; Rodriguez-Aguilar, Juan A.; Wooldridge, Michael; Vasconcelos, Wamberto.

2013. 483-490 Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.

Research output: Contribution to conferencePaper

Morales, J, Lopez-Sanchez, M, Rodriguez-Aguilar, JA, Wooldridge, M & Vasconcelos, W 2013, 'Automated synthesis of normative systems' Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States, 6/05/13 - 10/05/13, pp. 483-490.
Morales J, Lopez-Sanchez M, Rodriguez-Aguilar JA, Wooldridge M, Vasconcelos W. Automated synthesis of normative systems. 2013. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.
Morales, Javier ; Lopez-Sanchez, Maite ; Rodriguez-Aguilar, Juan A. ; Wooldridge, Michael ; Vasconcelos, Wamberto. / Automated synthesis of normative systems. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.8 p.
@conference{b46697fa8a014843961a6a0ac0cfbf14,
title = "Automated synthesis of normative systems",
abstract = "Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthe-sise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.",
keywords = "Norm Synthesis, Normative Systems, Norms",
author = "Javier Morales and Maite Lopez-Sanchez and Rodriguez-Aguilar, {Juan A.} and Michael Wooldridge and Wamberto Vasconcelos",
year = "2013",
month = "1",
day = "1",
language = "English",
pages = "483--490",
note = "12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 ; Conference date: 06-05-2013 Through 10-05-2013",

}

TY - CONF

T1 - Automated synthesis of normative systems

AU - Morales, Javier

AU - Lopez-Sanchez, Maite

AU - Rodriguez-Aguilar, Juan A.

AU - Wooldridge, Michael

AU - Vasconcelos, Wamberto

PY - 2013/1/1

Y1 - 2013/1/1

N2 - Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthe-sise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.

AB - Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthe-sise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system.

KW - Norm Synthesis

KW - Normative Systems

KW - Norms

UR - http://www.scopus.com/inward/record.url?scp=84894752411&partnerID=8YFLogxK

M3 - Paper

SP - 483

EP - 490

ER -