Norm enforcement as supervisory control
Norm enforcement as supervisory control
In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.
330-348
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Sardina, Sebastian
3ece0358-ec7d-40eb-891b-24ce31d4de14
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
2017
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Sardina, Sebastian
3ece0358-ec7d-40eb-891b-24ce31d4de14
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Dastani, Mehdi, Sardina, Sebastian and Yazdanpanah, Vahid
(2017)
Norm enforcement as supervisory control.
Bazzan, Ana, Villata, Serena, An, Bo, Leite, Joao and van der Torre, Leendert
(eds.)
In PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings.
vol. 10621 LNAI,
Springer.
.
(doi:10.1007/978-3-319-69131-2_20).
Record type:
Conference or Workshop Item
(Paper)
Abstract
In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.
This record has no associated files available for download.
More information
e-pub ahead of print date: 5 October 2017
Published date: 2017
Venue - Dates:
20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, , Nice, France, 2017-10-30 - 2017-11-03
Identifiers
Local EPrints ID: 441997
URI: http://eprints.soton.ac.uk/id/eprint/441997
ISSN: 0302-9743
PURE UUID: 7850e043-6fb9-488a-98ac-37f7431e66d2
Catalogue record
Date deposited: 03 Jul 2020 16:31
Last modified: 06 Jun 2024 02:08
Export record
Altmetrics
Contributors
Author:
Mehdi Dastani
Author:
Sebastian Sardina
Author:
Vahid Yazdanpanah
Editor:
Ana Bazzan
Editor:
Serena Villata
Editor:
Bo An
Editor:
Joao Leite
Editor:
Leendert van der Torre
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics