Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Organized Adaption in Multi-Agent Systems

OAMAS 2008: Organized Adaption in Multi-Agent Systems pp 1–17Cite as

Issues in Designing Logical Models for Norm Change

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5368))

Abstract

The aim of this paper is to raise awareness of some issues in designing (formal) models for norm change. I start by positioning this research in a broader context. Then I will briefly recall several concepts and problems from deontic logic, which is the field primarily concerned with notions like ‘norm’, ‘obligation’, ‘right’, etc. Then I proceed with what I regard the main contribution of the paper: the distinction of four categories of problems one faces when thinking about formal logical models for norm change.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, T., Wooldridge, M., van der Hoek, W.: Normative system games. In: Huhns, M., Shehory, O. (eds.) Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), May 2007, pp. 876–883. IFAMAAS (2007)

    Google Scholar 

  2. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functors 50, 510–530 (1985)

    Google Scholar 

  3. Alchourrón, C.E.: A sketch of logic without truth. In: The 2nd International Conference on Artificial Intelligence and Law, pp. 165–179. ACM Press, New York (1989)

    Google Scholar 

  4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: FOCS 1997: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Computer Society, Los Alamitos (1997)

    Google Scholar 

  5. Aumann, R.J.: Agreeing to disagree. The Annals of Statistics 4(6), 1236–1239 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  6. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139, 165–224 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  7. Bochman, A.: A logical theory of nonmonotonic inference and belief change. Springer, New York (2001)

    Book  MATH  Google Scholar 

  8. Boella, G., van der Torre, L.: Fulfilling or violating norms in normative multiagent systems. In: Proceedings of IAT 2004, pp. 483–486. IEEE, Los Alamitos (2004)

    Google Scholar 

  9. Boella, G., van der Torre, L.W.N.: Delta: The social delegation cycle. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. Boella, G., van der Torre, L.W.N., Verhagen, H.: Introduction to normative multiagent systems. Computational & Mathematical Organization Theory 12(2-3), 71–79 (2006)

    Article  Google Scholar 

  11. Broersen, J., Mastop, R., Meyer, J.-J.C., Turrini, P.: A deontic logic for socially optimal norms. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS, vol. 5076, pp. 218–232. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Broersen, J.M.: Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm’s scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol. 4048, pp. 53–68. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Broersen, J.M., Dastani, M., Hulstijn, J., van der Torre, L.W.N.: Goal generation in the BOID architecture. Cognitive Science Quarterly Journal 2(3-4), 428–447 (2002)

    Google Scholar 

  14. Broersen, J.M., Dastani, M., van der Torre, L.: Beliefs, obligations, intentions and desires as components in an agent architecture. International Journal of Intelligent Systems 20(9), 893–920 (2005)

    Article  MATH  Google Scholar 

  15. Broersen, J.M., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 43–56. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  16. Broersen, J.M., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation 16(5), 559–578 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  17. Broersen, J.M., van der Torre, L.: Reasoning about norms, obligations, time and agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol. 5044, pp. 171–182. Springer, Heidelberg (2008)

    Google Scholar 

  18. Brown, M.A.: Normal bimodal logics of ability and action. Studia Logica 51(3/4), 519–532 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  19. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment 42(3), 213–261 (1990)

    Google Scholar 

  20. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, New York (2007)

    Book  MATH  Google Scholar 

  21. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  22. Dunin-Keplicz, B., Verbrugge, R.: Collective intentions. Fundamenta Informaticae 51(3), 271–295 (2002)

    MathSciNet  MATH  Google Scholar 

  23. Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2(2), 1–46 (1997)

    MathSciNet  MATH  Google Scholar 

  24. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, ch. 14, pp. 996–1072 (1990)

    Google Scholar 

  25. Endriss, U.: The 1st international workshop on computational social choice. Knowledge Engineering Review 23(2), 213–215 (2008)

    Article  Google Scholar 

  26. Gärdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 52–54. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  27. Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory Aspects of Counts-as: An Analysis in Modal Logic. J. Logic Computation 16(5), 613–643 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  28. Hansen, J., Pigozzi, G., van der Torre, L.W.N.: Ten philosophical problems in deontic logic. In: Normative Multi-agent Systems (2007)

    Google Scholar 

  29. Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1999)

    Book  MATH  Google Scholar 

  30. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic (2000)

    Google Scholar 

  31. Horty, J.F.: Agency and Deontic Logic (2001)

    Google Scholar 

  32. Horty, J.F.: Defaults with priorities. Journal of Philosophical Logic 36(4), 367–413 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  33. Jacquette, D.: Moral dilemmas, disjunctive obligations, and Kant’s principle that ‘ought’ implies ’can’. Synthese 88(1), 43–55 (2004)

    Article  MATH  Google Scholar 

  34. Jones, A., Sergot, M.: A formal characterization of institutionalized power. Journal of the IGPL 4(3), 429–445 (1996)

    Article  Google Scholar 

  35. Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: The normative sytems perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Normative System Specification. Deontic Logic in Computer Science, pp. 275–307. John Wiley and Sons, Chichester (1993)

    Google Scholar 

  36. Jorgensen, J.: Imperatives and logic. Erkenntnis 7, 288–296

    Google Scholar 

  37. Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37(1), 1–21 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  38. Liu, F.: Changing for the Better: Preference Dynamics and Agent Diversity. PhD thesis, ILLC Dissertation Series, Amsterdam (2008)

    Google Scholar 

  39. Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29–53. IOS Press, Amsterdam (1998)

    Google Scholar 

  40. Makinson, D., van der Torre, L.W.N.: Input-output logics. Journal of Philosphical Logic 29, 383–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  41. Makinson, D., van der Torre, L.W.N.: Permission from an input-output perspective. Journal of Philosophical Logic 32, 391–416 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  42. Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29, 109–136 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  43. Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments (1999)

    Google Scholar 

  44. Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans. Softw. Eng. Methodol. 9(3), 273–305 (2000)

    Article  Google Scholar 

  45. Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI 14, 533–562 (1995)

    MathSciNet  Google Scholar 

  46. Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  47. Pörn, I.: The logic of power. Basil-Blackwell, Malden (1970)

    Google Scholar 

  48. Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE Symposium on the Foundations of Computer Science, pp. 109–121 (1976)

    Google Scholar 

  49. Moses, Y., Fagin, R., Halpern, J.Y., Vardi, M.Y.: Reasoning about Knowledge (1995)

    Google Scholar 

  50. Rao, A.S., Georgeff, M.P.: Formal models and decision procedures for multi-agent systems 8(3), 293–342 (1998)

    Google Scholar 

  51. Roorda, J.W., van der Hoek, W., Meyer, J.-J.: Iterated belief change in multi-agent systems. Logic Journal of the IGPL 11(2), 223–246 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  52. Schild, K.: On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multi-agent systems 3, 259–283 (2000)

    Article  Google Scholar 

  53. Searle, J.: The Construction of Social Reality. Free Press, New York (1995)

    Google Scholar 

  54. Thielscher, M.: The qualification problem: A solution to the problem of anomalous models. Artificial Intelligence 131(1-2), 1–37 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  55. van Benthem, J.: Exploring logical dynamics. Center for the Study of Language and Information, Stanford (1997)

    MATH  Google Scholar 

  56. van der Hoek, W., Meyer, J.-J.C.: Epistemic Logic for AI and Computer Science (1995)

    Google Scholar 

  57. van der Hoek, W., Roberts, M., Wooldridge, M.: Knowledge and social laws. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 674–681. ACM, New York (2005)

    Chapter  Google Scholar 

  58. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Public announcements and belief expansion. Advances in Modal Logic, vol. 5 (2005)

    Google Scholar 

  59. Veltman, F.: Defaults in update semantics. Journal of Philosophical Logic 25, 221–261 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  60. Witteveen, C., van der Hoek, W.: Recovery of (non)monotonic theories. Artif. Intell. 106(1), 139–159 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  61. von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)

    Article  Google Scholar 

  62. von Wright, G.H.: Deontic logic - as I see it. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15–25. IOS Press, Amsterdam (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computing Sciences, Utrecht University, The Netherlands

    Jan Broersen

Authors
  1. Jan Broersen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Communication Systems Engineering, Karlovassi, University of the Aegean, 83200, Samos, Greece

    George Vouros

  2. Institute of Informatics & Telecommunications, Software & Knowledge Engineering Laboratory, National Centre for Scientific Research "Demokritos", 15310, Athens, Greece

    Alexander Artikis

  3. Department of Computer Science, Royal Holloway, University of London, UK

    Kostas Stathis

  4. Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK

    Jeremy Pitt

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broersen, J. (2009). Issues in Designing Logical Models for Norm Change. In: Vouros, G., Artikis, A., Stathis, K., Pitt, J. (eds) Organized Adaption in Multi-Agent Systems. OAMAS 2008. Lecture Notes in Computer Science(), vol 5368. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02377-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02377-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02376-7

  • Online ISBN: 978-3-642-02377-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation