Norm Enforcement as Supervisory Control

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.

Keywords

Taverne

Citation

Dastani, M M, Sardini, S & Yazdanpanah, V 2017, Norm Enforcement as Supervisory Control. in PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings. Lecture Notes in Artificial Intelligence, vol. 10621, Springer, pp. 330-348. https://doi.org/10.1007/978-3-319-69131-2_20