Advertisement

Norm Enforcement as Supervisory Control

  • Mehdi Dastani
  • Sebastian Sardina
  • Vahid YazdanpanahEmail author
Conference paper
  • 913 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10621)

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.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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 CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Aucher, G.: Supervisory control theory in epistemic temporal logic. In: International conference on Autonomous Agents and Multi-Agent Systems, pp. 333–340 (2014)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Bicchieri, C.: The Grammar of Society: The Nature and Dynamics of Social Norms. Cambridge University Press, New York (2005)CrossRefGoogle Scholar
  9. 9.
    Blondel, V.D., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica 36(9), 1249–1274 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Boella, G., van der Torre, L.W.: Regulative and constitutive norms in normative multiagent systems. KR 4, 255–265 (2004)Google Scholar
  11. 11.
    Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Softw. Eng. J. 8(4), 189–209 (1993)CrossRefGoogle Scholar
  12. 12.
    Bulling, N., Dastani, M.: Norm-based mechanism design. Artif. Intell. 239, 97–142 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer Science & Business Media, US (2009)zbMATHGoogle Scholar
  14. 14.
    Dastani, M., Grossi, D., Meyer, J.C.: A logic for normative multi-agent programs. J. Log. Comput. 23(2), 335–354 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 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 CrossRefGoogle Scholar
  16. 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)Google Scholar
  17. 17.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory Languages and Computation. Addison-Wesley, Reading (1979)zbMATHGoogle Scholar
  18. 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 CrossRefGoogle Scholar
  19. 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)Google Scholar
  20. 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)Google Scholar
  21. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81–98 (1989)CrossRefzbMATHGoogle Scholar
  23. 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 2006Google Scholar
  24. 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)Google Scholar
  25. 25.
    Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co Inc., Reading (1996)Google Scholar
  26. 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)MathSciNetCrossRefGoogle Scholar
  27. 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)Google Scholar
  28. 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)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Sebastian Sardina
    • 2
  • Vahid Yazdanpanah
    • 3
    Email author
  1. 1.Utrecht UniversityUtrechtThe Netherlands
  2. 2.RMIT UniversityMelbourneAustralia
  3. 3.University of TwenteEnschedeThe Netherlands

Personalised recommendations