Advertisement

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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)CrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 4.
    Artemov, S.: The logic of justification. The Review of Symbolic Logic 1, 477–513 (2008)zbMATHCrossRefGoogle Scholar
  5. 5.
    Bench-Capon, T.J.M.: Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13, 429–448 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 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. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 10.
    Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 277–322 (2005)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Fitting, M.: Justification logics and hybrid logics. Journal of Applied Logic 8, 356–370 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 14.
    Jones, A.J.I., Sergot, M.: A formal characterisation of institutionalised power. J. of the IGPL 4, 427–443 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 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. 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. 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. 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. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ioan Alfred Letia
    • 1
  • Anca Goron
    • 1
  1. 1.Department of Computer ScienceTechnical University of Cluj-NapocaCluj-NapocaRomania

Personalised recommendations