Online Automated Synthesis of Compact Normative Systems

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

Research output: Contribution to journalArticle

10 Citations (Scopus)
5 Downloads (Pure)

Abstract

Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.
Original languageEnglish
Article number2
Number of pages33
JournalACM Transactions on Autonomous and Adaptive Systems
Volume10
Issue number1
Early online dateMar 2015
DOIs
Publication statusPublished - Mar 2015

Fingerprint

Multi agent systems
Autonomous agents

Cite this

Online Automated Synthesis of Compact Normative Systems. / Morales, Javier; Lopez-Sanchez, Maite; Rodriguez-Aguilar, Juan A.; Vasconcelos, Wamberto; Wooldridge, Michael.

In: ACM Transactions on Autonomous and Adaptive Systems, Vol. 10, No. 1, 2, 03.2015.

Research output: Contribution to journalArticle

Morales, Javier ; Lopez-Sanchez, Maite ; Rodriguez-Aguilar, Juan A. ; Vasconcelos, Wamberto ; Wooldridge, Michael. / Online Automated Synthesis of Compact Normative Systems. In: ACM Transactions on Autonomous and Adaptive Systems. 2015 ; Vol. 10, No. 1.
@article{9b51804fc0234e8194b73e7630248032,
title = "Online Automated Synthesis of Compact Normative Systems",
abstract = "Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.",
author = "Javier Morales and Maite Lopez-Sanchez and Rodriguez-Aguilar, {Juan A.} and Wamberto Vasconcelos and Michael Wooldridge",
year = "2015",
month = "3",
doi = "10.1145/2720024",
language = "English",
volume = "10",
journal = "ACM Transactions on Autonomous and Adaptive Systems",
issn = "1556-4665",
publisher = "Association for Computing Machinery (ACM)",
number = "1",

}

TY - JOUR

T1 - Online Automated Synthesis of Compact Normative Systems

AU - Morales, Javier

AU - Lopez-Sanchez, Maite

AU - Rodriguez-Aguilar, Juan A.

AU - Vasconcelos, Wamberto

AU - Wooldridge, Michael

PY - 2015/3

Y1 - 2015/3

N2 - Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.

AB - Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.

U2 - 10.1145/2720024

DO - 10.1145/2720024

M3 - Article

VL - 10

JO - ACM Transactions on Autonomous and Adaptive Systems

JF - ACM Transactions on Autonomous and Adaptive Systems

SN - 1556-4665

IS - 1

M1 - 2

ER -