The University of Southampton
University of Southampton Institutional Repository

Norm enforcement as supervisory control

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.

0302-9743
330-348
Springer
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Sardina, Sebastian
3ece0358-ec7d-40eb-891b-24ce31d4de14
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Bazzan, Ana
Villata, Serena
An, Bo
Leite, Joao
van der Torre, Leendert
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Sardina, Sebastian
3ece0358-ec7d-40eb-891b-24ce31d4de14
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Bazzan, Ana
Villata, Serena
An, Bo
Leite, Joao
van der Torre, Leendert

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. pp. 330-348 . (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
ORCID for Vahid Yazdanpanah: ORCID iD orcid.org/0000-0002-4468-6193

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 ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×