On the semantics and verification of normative multi-agent systems

Journal of Universal Computer Science

Volumn 15, Issue 13, 2009, Pages 2647-2670

  Aştefǎnoaei, Lǎcrǎmioara ^a   Dastani, Mehdi ^b   Meyer, John Jules ^b   de Boer, Frank S ^a  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Multi agent systems; Norms; Rewriting logic; Verification

Indexed keywords

EID: 71449102087     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Astefanoaei, L. and de Boer, F. S.: Model-checking agent refinement; In Padgham, L., Parkes, D. C., Müller, J., and Parsons, S., editors, AAMAS (2), pages 705-712. IFAAMAS, 2008.
2. Astefanoaei, L., Dastani, M., Meyer, J.-J. C., and de Boer, F. S.: A verification framework for normative multi-agent systems; In Bui et al. [BHH08], pages 54-65.
3. Arbab, F.: Reo: a channel-based coordination model for component composition; Mathematical Structures in Computer Science, 14(3):329-366, 2004.
4. Boella, G., Broersen, J., and van der Torre, L.: Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations; In Bui et al. [BHH08], pages 86-97.
5. Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.: Verifying multi-agent programs by model checking; Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006.
6. Bui, T. D., Ho, T. V., and Ha, Q.-T., editors. Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, volume 5357 of Lecture Notes in Computer Science. Springer, 2008.
7. Bosse, T., Jonker, C. M., van der Meij, L., Sharpanskykh, A., and Treur, J.: Specification and verification of dynamics in cognitive agent models; In IAT, pages 247-254, 2006.
8. Boella, G., Pigozzi, G., Singh, M. P., and Verhagen, H., editors Third International Workshop on Normative Multiagent Systems NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings, 2008.
9. Boella, G. and van der Torre, L. W. N.: A game-theoretic approach to normative multi-agent systems; In Boella, G., van der Torre, L. W. N., and Verhagen, H., editors, Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings. Internationales Begegnungsund Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
10. Boella, G. and van der Torre, L.: Substantive and procedural norms in normative multiagent systems; J. Applied Logic, 6(2):152-171, 2008.
11. Boella, G., van der Torre, L. W. N., and Verhagen, H., editors, Normative Multi-agent Systems, 18.03. -23.03.2007, volume 07122 of Dagstuhl Seminar Proceedings. Internationales Begegnungsund Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
12. Clavel, M., Durán, F., Eker, S., Lincoln, P., Mart́-Oliet, N., Meseguer, J., and Talcott, C. L., editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, volume 4350 of Lecture Notes in Computer Science Springer, 2007.
13. Dastani, M.: 2APL: a practical agent programming language; Autonomous Agents and Multi-Agent Systems, 16(3):214-248, 2008.
14. Dastani, M., Grossi, D., Meyer, J.-J. C., and Tinnemeier, N.: Normative multi-agent programs and their logics; In KRAMAS'08: Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems, 2008.
15. Dignum, V.: A Model for Organizational Interaction PhD thesis, Utrecht University, 2003.
16. Durfee, E. H., Yokoo, M., Huhns, M. N., and Shehory, O., editors 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007. IFAAMAS, 2007.
17. Eker, S., Martí-Oliet, N., Meseguer, J., and Verdejo, A.: Deduction, strategies, and rewriting; Electr. Notes Theor. Comput. Sci., 174(11):3-25, 2007.
18. Esteva, M., Rosell, B., Rodríguez-Aguilar, J. A., and Arcos, J. L.: Ameli: An agent-based middleware for electronic institutions; In AAMAS, pages 236-243. IEEE Computer Society, 2004.
19. Ferber, J., Gutknecht, O., and Michel, F.: From agents to organizations: An organizational view of multi-agent systems; In Giorgini, P., Müller, J. P., and Odell, J., editors, AOSE, volume 2935 of Lecture Notes in Computer Science, pages 214-230. Springer, 2003.
20. Grossi, D., Dignum, F., and Meyer, J.-J. C.: A formal road from institutional norms to organizational structures; In Durfee et al. [DYHS07], page 89.
21. Grossi, D., Gabbay, D. M., and van der Torre, L.: A normative view on the blocks world; In Boella et al. [BPSV08], pages 128-142.
22. Governatori, G. and Rotolo, A.: Changing legal systems: Abrogation and annulment part i: Revision of defeasible theories; In van der Meyden, R. and van der Torre, L., editors, DEON, volume 5076 of Lecture Notes in Computer Science, pages 3-18. Springer, 2008.
23. Governatori, G. and Rotolo, A.: Changing legal systems: Abrogation and annulment. part ii: Temporalised defeasible logic; In Boella et al. [BPSV08], pages 112-127.
24. Gelernter, D. and Zuck, L. D.: On what linda is: Formal description of linda as a reactive system; In Garlan, D. and Métayer, D. L., editors, COORDINATION, volume 1282 of Lecture Notes in Computer Science, pages 187-204. Springer, 1997.
25. Hindriks, K. V., de Boer, F. S., van der Hoek, W., and Meyer, J.-J. C.: Agent programming in 3apl; Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
26. Hübner, J. F., Sichman, J. S., and Boissier, O.: Moise+: towards a structural, functional, and deontic model for mas organization; In AAMAS, pages 501-502. ACM, 2002.
27. Manna, Z. and Pnueli, A.: The temporal logic of reactive and concurrent systems Springer-Verlag New York, Inc., New York, NY, USA, 1992.
28. Raimondi, F. and Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams; J. Applied Logic, 5(2):235-251, 2007.
29. Ricci, A., Viroli, M., and Omicini, A.: Give agents their artifacts: the a&a approach for engineering working environments in mas; In Durfee et al. [DYHS07], page 150.
30. Searle, J. R.: The Construction of Social Reality The Penguin Press, London, 1995.
31. Serbanuta, T.-F., Rosu, G., and Meseguer, J.: A rewriting logic approach to operational semantics (extended abstract); Electr. Notes Theor. Comput. Sci., 192(1):125-141, 2007.
32. Serbanuta, T.-F., Rosu, G., and Meseguer, J.: A rewriting logic approach to operational semantics; Inf. Comput., 207(2):305-340, 2009.
33. Tinnemeier, N., Dastani, M., and Meyer, J.-J.: Orwell's nightmare for agents? programming multi-agent organisations; In Proc. of ProMAS'08, 2008.
34. Tinnemeier, N., Dastani, M., and Meyer, J.-J.: Programming open multi-agent systems; In Proc. of AAMAS'09, 2009 to appear.
35. van der Torre, L. W. N. and Tan, Y.-H.: The temporal analysis of chisholm's paradox; In AAAI/IAAI, pages 650-655, 1998.
36. van Riemsdijk, M. B., de Boer, F. S., Dastani, M., and Meyer, J.-J. C.: Prototyping 3apl in the maude term rewriting language; In AAMAS'06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pages 1279-1281, New York, NY, USA, 2006. ACM Press.