Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems

  • Antonino Rotolo
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6826)

Abstract

In this survey paper we focus on some requirements for developing normative multi-agent systems (NMAS). In particular, we discuss Boella et al.’s guidelines proposed for NMAS. Finally, we deal with two more specific questions concerning the role of norms in rule-based NMAS: the concepts of compliance and norm change.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alchourrón, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 95–125. D. Reidel Publishing Company, Dordrecht (1981)CrossRefGoogle Scholar
  2. 2.
    Alchourrón, C.E., Makinson, D.C.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 125–148. D. Reidel Publishing Company, Dordrecht (1981)CrossRefGoogle Scholar
  3. 3.
    Alchourrón, C.E., Makinson, D.C.: The logic of theory change: Contraction functions and their associated revision functions. Theoria 48, 14–37 (1982)CrossRefMATHMathSciNetGoogle Scholar
  4. 4.
    Bench-Capon, T.: The missing link revisited: The role of teleology in representing legal argument. Artificial Intelligence and Law 10(2-3), 79–94 (2002)CrossRefGoogle Scholar
  5. 5.
    Bench-Capon, T., Coenen, F.: Isomorphism and legal knowledge based systems. Artificial Intelligence and Law 1(1), 65–86 (1992)CrossRefGoogle Scholar
  6. 6.
    Boella, G., Pigozzi, G., van der Torre, L.: Five guidelines for normative multiagent systems. In: JURIX, pp. 21–30 (2009)Google Scholar
  7. 7.
    Boella, G., Pigozzi, G., van der Torre, L.: Normative systems in computer science - ten guidelines for normative multiagent systems. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)Google Scholar
  8. 8.
    Boella, G., Torre, L.V.D.: Introduction to normative multiagent systems. Computational and Mathematical Organization Theory 12, 71–79 (2006)CrossRefGoogle Scholar
  9. 9.
    Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Procs. IAT 2004 (2004)Google Scholar
  10. 10.
    Boella, G., van der Torre, L.: The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal, AILaw (2007)Google Scholar
  11. 11.
    Boella, G., van der Torre, L., Verhagen, H.: Normative multi-agent systems. In: Internationales Begegnungs und Porschungszentrum fur Informatik, IBFI (2007)Google Scholar
  12. 12.
    Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems 17(1), 1–10 (2008)CrossRefGoogle Scholar
  13. 13.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  14. 14.
    Bulygin, E.: Permissive norms and normative systems. In: Martino, A., Natali, F.S. (eds.) Automated Analysis of Legal Texts, pp. 211–218. Publishing Company, Amsterdam (1986)Google Scholar
  15. 15.
    Carmo, J., Jones, A.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer, Dordrecht (2002)Google Scholar
  16. 16.
    Conte, R., Castelfranchi, C., Dignum, F.: Autonomous norm-acceptance. In: Papadimitriou, C., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 99–112. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  17. 17.
    Gabbay, D.M., Pigozzi, G., Woods, J.: Controlled revision - an algorithmic approach for belief revision. J. Log. Comput. 13(1), 3–22 (2003)CrossRefMATHMathSciNetGoogle Scholar
  18. 18.
    Garca-Camino, A., Rodrguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18, 186–217 (2009), doi:10.1007/s10458-008-9059-4CrossRefGoogle Scholar
  19. 19.
    Gneezy, U., Rustichini, A.: A fine is a price. The Journal of Legal Studies 29(1), 1–18 (2000)CrossRefGoogle Scholar
  20. 20.
    Gordon, T.F.: The Pleadings Game; An Artificial Intelligence Model of Procedural Justice. Springer, New York (1995)Google Scholar
  21. 21.
    Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: Requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282–296. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  22. 22.
    Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)CrossRefGoogle Scholar
  23. 23.
    Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  24. 24.
    Governatori, G., Rotolo, A.: An algorithm for business process compliance. In: JURIX, pp. 186–191 (2008)Google Scholar
  25. 25.
    Governatori, G., Rotolo, A.: Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)CrossRefGoogle Scholar
  26. 26.
    Governatori, G., Rotolo, A.: How do agents comply with norms? In: Web Intelligence/IAT Workshops, pp. 488–491 (2009)Google Scholar
  27. 27.
    Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), vol. 110, pp. 3–12. ACS (2010)Google Scholar
  28. 28.
    Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)Google Scholar
  29. 29.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25–34. ACM Press, New York (2005)Google Scholar
  30. 30.
    Hart, H.: The concept of law. Clarendon, Oxford (1994)Google Scholar
  31. 31.
    Hollis, M.: Trust within reason. Cambridge University Press, Cambridge (1998)CrossRefGoogle Scholar
  32. 32.
    Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective, pp. 275–307. John Wiley and Sons Ltd., Chichester (1993)Google Scholar
  33. 33.
    Kelsen, H.: General theory of norms. Clarendon, Oxford (1991)CrossRefGoogle Scholar
  34. 34.
    Levitt, S.D., Dubner, S.J.: Freakonomics: A Rogue Economist Explores the Hidden Side of Everything. William Morrow, New York (May 2005)Google Scholar
  35. 35.
    Luck, M., McBurney, P., Preist, C.: Agent Technology: Enabling Next Generation Computing. AgentLink (2003), electronically http://www.agentlink.org/roadmap/
  36. 36.
    Makinson, D.C.: On a fundamental problem of deontic logic. In: Prakken, H., McNamara, P. (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pp. 29–54. IOS Press, Amsterdam (1998)Google Scholar
  37. 37.
    Meyer, J.-J., Wieringa, R.: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester (1993)MATHGoogle Scholar
  38. 38.
    Prakken, H., Sartor, G.: A dialectical model of assessing conflicting argument in legal reasoning. Artificial Intelligence and Law 4(3-4), 331–368 (1996)CrossRefGoogle Scholar
  39. 39.
    Rubino, R., Rotolo, A., Sartor, G.: An OWL ontology of fundamental legal concepts. In: Proceedings of JURIX 2006, pp. 101–110 (2006)Google Scholar
  40. 40.
    Ruiter, D.: A basic classification of legal institutions. Ratio Juris 10(4), 357–371 (1997)CrossRefGoogle Scholar
  41. 41.
    Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Dordrecht (2005)Google Scholar
  42. 42.
    Tinnemeier, N., Dastani, M., Meyer, J.-J.: Roles and norms for programming agent organizations. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, Richland, SC, vol. 1, pp. 121–128. International Foundation for Autonomous Agents and Multiagent Systems (2009)Google Scholar
  43. 43.
    von Wright, G.H.: Norm and Action. Routledge, London (1963)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Antonino Rotolo
    • 1
  • Leendert van der Torre
    • 2
  1. 1.CIRSFIDUniversity of BolognaBolognaItaly
  2. 2.Computer Science and CommunicationUniversity of LuxembourgLuxembourg

Personalised recommendations