Top

Published in:

2017 | OriginalPaper | Chapter

Norm Enforcement as Supervisory Control

Authors : Mehdi Dastani, Sebastian Sardina, Vahid Yazdanpanah

Published in: PRIMA 2017: Principles and Practice of Multi-Agent Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Architecture of an Institutional Platform for Multi-Agent Systems

next chapter Formal Models of Conflicting Social Influence

We highlight that do not take sanctions to be permissible events, but consider an already sanctioned behavior as a norm-compliant one.

Alechina, N., Bulling, N., Dastani, M., Logan, B.: Practical run-time norm enforcement with bounded lookahead. In: Proceeding of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 443–451 (2015)

Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Proceeding of the 11th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, pp. 1057–1064 (2012)

Alechina, N., Dastani, M., Logan, B.: Reasoning about normative update. In: Proceeding of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 20–26 (2013)

Alvarez-Napagao, S., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Normative monitoring: semantics and implementation. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN -2010. LNCS, vol. 6541, pp. 321–336. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21268-0_18 CrossRef

Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.: Normative Multi-Agent Systems, vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany (2013)

Aucher, G.: Supervisory control theory in epistemic temporal logic. In: International conference on Autonomous Agents and Multi-Agent Systems, pp. 333–340 (2014)

Barkaoui, K., Chaoui, A., Zouari, B.: Supervisory control of discrete event systems based on structure theory of petri nets. In: 1997 IEEE International Conference on Systems, Man, and Cybernetics, 1997 Computational Cybernetics and Simulation, vol. 4, pp. 3750–3755. IEEE (1997)

Bicchieri, C.: The Grammar of Society: The Nature and Dynamics of Social Norms. Cambridge University Press, New York (2005)CrossRef

Blondel, V.D., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica 36(9), 1249–1274 (2000)MathSciNetCrossRefMATH

10.

Boella, G., van der Torre, L.W.: Regulative and constitutive norms in normative multiagent systems. KR 4, 255–265 (2004)

11.

Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Softw. Eng. J. 8(4), 189–209 (1993)CrossRef

12.

Bulling, N., Dastani, M.: Norm-based mechanism design. Artif. Intell. 239, 97–142 (2016)MathSciNetCrossRefMATH

13.

Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer Science & Business Media, US (2009)MATH

14.

Dastani, M., Grossi, D., Meyer, J.C.: A logic for normative multi-agent programs. J. Log. Comput. 23(2), 335–354 (2013)MathSciNetCrossRefMATH

15.

Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol. 5605, pp. 16–31. Springer, Heidelberg (2009). doi:10.1007/978-3-642-05301-6_2 CrossRef

16.

Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: an agent-based middleware for electronic institutions. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 236–243 (2004)

17.

Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory Languages and Computation. Addison-Wesley, Reading (1979)MATH

18.

Hübner, J.F., Sichman, J.S., Boissier, O.: \(\cal{S-M}oise^{+}\): A middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) AAMAS 2005. LNCS, vol. 3913, pp. 64–77. Springer, Heidelberg (2006). doi:10.1007/11775331_5 CrossRef

19.

y López, F.L., Luck, M.: Modelling norms for autonomous agents. In: 4th Mexican International Conference on Computer Science (ENC 2003), 8–12 September 2003, Apizaco, Mexico, pp. 238–245 (2003)

20.

Åkesson, K., Fabian, M., Flordal, H., Vahidi, A.: Supremica - a tool for verification and synthesis of discrete event supervisors. In: Proceeding of the 11th Mediterranean Conference on Control and Automation (2003)

21.

Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)MathSciNetCrossRefMATH

22.

Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81–98 (1989)CrossRefMATH

23.

Reiser, C., da Cunha, A., Cury, J.: The environment GRAIL for supervisory control of discrete event systems. In: Proceeding of 8th International Workshop on Discrete Event Systems, pp. 390–391, July 2006

24.

Ricker, L., Lafortune, S., Gene, S.: DESUMA: A tool integrating GIDDES and UMDES. In: Proceeding of 8th International Workshop on Discrete Event Systems, pp. 392–393 (2006)

25.

Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co Inc., Reading (1996)

26.

Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3), 637–659 (1987)MathSciNetCrossRef

27.

Zhang, Z., Wonham, W.M.: STCT: An efficient algorithm for supervisory control design. In: Symposium on Supervisory Control of Discrete Event Systems, pp. 249–6399 (2001)

28.

Zouari, B., Barkaoui, K.: Parameterized supervisor synthesis for a modular class of discrete event systems. In: Proceeding of the IEEE International Conference on Systems, Man & Cybernetics, 5–8 October 2003, Washington, D.C, USA, pp. 1874–1879 (2003)

Title: Norm Enforcement as Supervisory Control
Authors: Mehdi Dastani
Sebastian Sardina
Vahid Yazdanpanah
Publisher: Springer International Publishing
Book: PRIMA 2017: Principles and Practice of Multi-Agent Systems
Print ISBN: 978-3-319-69130-5

Electronic ISBN: 978-3-319-69131-2

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-69131-2_20

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner