TY - GEN
T1 - Norm Enforcement as Supervisory Control
AU - Dastani, M.M.
AU - Sardini, 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.
U2 - 10.1007/978-3-319-69131-2_20
DO - 10.1007/978-3-319-69131-2_20
M3 - Conference contribution
SN - 9783319691305
T3 - Lecture Notes in Artificial Intelligence
SP - 330
EP - 348
BT - PRIMA 2017: Principles and Practice of Multi-Agent Systems
PB - Springer
ER -