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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Artemov, S.: The logic of justification. The Review of Symbolic Logic 1, 477–513 (2008)
Bench-Capon, T.J.M.: Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13, 429–448 (2003)
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)
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)
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)
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)
Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 277–322 (2005)
Fitting, M.: Justification logics and hybrid logics. Journal of Applied Logic 8, 356–370 (2010)
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)
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)
Jones, A.J.I., Sergot, M.: A formal characterisation of institutionalised power. J. of the IGPL 4, 427–443 (1996)
Modgil, S.: Value based argumentation in hierarchical argumentation frameworks. In: Conference on Computational Models of Argument, pp. 297–308. IOS Press (2006)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)