Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

645844.pdf (779.68 KB)

Document type

Article

Version

Accepted version

Publication date

2015-03-01

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/124912

Automated Synthesis of Compact Normative Systems

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

https://doi.org/10.1145/2720024

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.

Subject

Intel·ligència artificial, Intel·ligència artificial distribuïda, Sistemes multiagent

Subject (English)

Artificial intelligence, Distributed artificial intelligence, Multiagent systems

Citation

Collections

Articles publicats en revistes (Matemàtiques i Informàtica)

Citation

MORALES MATAMOROS, Javier, et al. Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous and Adaptive Systems. 2015. Vol. 10, num. 1, pags. 2:1-2:33. ISSN 1556-4665. [consulted: 17 of August of 2026]. Available at: https://hdl.handle.net/2445/124912

Export metadata

JSON - METS

Share record