Skip to main content

Towards Justifying Norm Compliance

  • Conference paper
  • 462 Accesses

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

Abstract

We introduce justifications in normative systems with the aim to better understand the compliance to norms, including situations of conflict between norms that might arise. To stay at the level of explanations on justification we employ the Hybrid Justification Logic. We show the grounding of the abstract norms to the concrete ones within an example for a traffic management system. The interplay between norms is judged at the values of the society through Value-Based Argumentation. The justification for the way agents comply or not to the norms, relative to their social values, has been implemented in the CaSAPI argumentation environment.

Keywords

  • Multiagent System
  • Autonomous Agent
  • Argumentation Scheme
  • Argumentation Framework
  • Hybrid Logic

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (Canada)
  • 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. Aldewereld, H., Alvarez-Napagao, S., Dignum, F., Vazquez-Salceda, J.: Making norms concrete. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, vol. 1, pp. 807–814. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2010)

    Google Scholar 

  2. 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 International Workshops. LNCS, vol. 6541, pp. 321–336. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  3. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821–868. Elsevier, Amsterdam (2007)

    CrossRef  Google Scholar 

  4. Artemov, S.: The logic of justification. The Review of Symbolic Logic 1, 477–513 (2008)

    CrossRef  MATH  Google Scholar 

  5. Bench-Capon, T.J.M.: Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13, 429–448 (2003)

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Bench-Capon, T., Atkinson, K., McBurney, P.: Altruism and agents: an argumentation based approach to designing agent decision mechanisms. In: Decker, K.S., Sichman, J.S., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2009), Budapest, Hungary, pp. 1073–1080 (2009)

    Google Scholar 

  7. Boissier, O., Balbo, F., Badeig, F.: Controlling Multi-party Interaction within Normative Multi-agent Organizations. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010 International Workshops. LNCS, vol. 6541, pp. 357–376. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  8. Bourguet, J.-R., Amgoud, L., Thomopoulos, R.: Towards a Unified Model of Preference-Based Argumentation. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 326–344. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  9. Burgemeestre, B., Hulstijn, J., Tan, Y.-H.: Value-Based Argumentation for Justifying Compliance. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 214–228. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  10. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 277–322 (2005)

    CrossRef  MathSciNet  Google Scholar 

  11. Fitting, M.: Justification logics and hybrid logics. Journal of Applied Logic 8, 356–370 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Gaertner, D., Rodríguez-Aguilar, J.A., Toni, F.: Agreeing on Institutional Goals for Multi-agent Societies. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS, vol. 5428, pp. 1–16. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  13. Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 354–369. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  14. Jones, A.J.I., Sergot, M.: A formal characterisation of institutionalised power. J. of the IGPL 4, 427–443 (1996)

    CrossRef  MathSciNet  MATH  Google Scholar 

  15. Modgil, S.: Value based argumentation in hierarchical argumentation frameworks. In: Conference on Computational Models of Argument, pp. 297–308. IOS Press (2006)

    Google Scholar 

  16. Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, vol. 1, pp. 153–160. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2009)

    Google Scholar 

  17. Morge, M.: An argumentation-based computational model of trust for negotiation. In: Proc. of the International Symposium on Behaviour Regulation in Multi-Agent Systems, vol. 4, pp. 31–36 (2008)

    Google Scholar 

  18. Oren, N., Luck, M., Miles, S.: A model of normative power. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, vol. 1, pp. 815–822. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2010)

    Google Scholar 

  19. Tinnemeier, N., Dastani, M., Meyer, J.J.: Programming norm change. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, vol. 1, pp. 957–964. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2010)

    Google Scholar 

  20. Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19, 124–152 (2009)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Letia, I.A., Goron, A. (2012). Towards Justifying Norm Compliance. In: Cranefield, S., van Riemsdijk, M.B., Vázquez-Salceda, J., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent System VII. COIN 2011. Lecture Notes in Computer Science(), vol 7254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35545-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35545-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35544-8

  • Online ISBN: 978-3-642-35545-5

  • eBook Packages: Computer ScienceComputer Science (R0)