TY - GEN
T1 - Norm Enforcement as Supervisory Control
AU - Dastani, Mehdi
AU - Sardina, Sebastian
AU - Yazdanpanah, Vahid
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85034246202&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-69131-2_20
DO - 10.1007/978-3-319-69131-2_20
M3 - Conference contribution
AN - SCOPUS:85034246202
SN - 9783319691305
VL - 10621 LNAI
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 330
EP - 348
BT - PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings
PB - Springer
T2 - 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
Y2 - 30 October 2017 through 3 November 2017
ER -