Abstract
Norms impose obligations, permissions and prohibitions on individual agents operating as part of an organisation. Typically, the purpose of such norms is to ensure that an organisation acts in some socially (or mutually) beneficial manner, possibly at the expense of individual agent utility. In this context, agents are normaware if they are able to reason about which norms are applicable to them, and to decide whether to comply with or ignore them. While much work has focused on the creation of norm-aware agents, much less has been concerned with aiding system designers in understanding the effects of norms on a system. The ability to understand such norm effects can aid the designer in avoiding incorrect norm specification, eliminating redundant norms and reducing normative conflict. In this paper, we address the problem of norm understanding by providing explanations as to why a norm is applicable, violated, or in some other state. We make use of conceptual graph based semantics to provide a graphical representation of the norms within a system. Given knowledge of the current and historical state of the system, such a representation allows for explanation of the state of norms, showing for example why they may have been activated or violated.
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.
References
F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
G. Boella and L. van der Torre. Permissions and obligations in hierarchical normative systems. In Proc. of ICAIL 03, Edinburgh, Scotland, 2003.
G. Boella and L. van der Torre. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence Law, 16:53–71, 2008.
W. Briggs and D. Cook. Flexible social laws. In C. Mellish, editor, Proc. of the Fourteenth Int. Joint Conf. on Artificial Intelligence, pages 688–693, San Francisco, 1995. Morgan Kaufmann.
M. Chein and M. Mugnier. Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs. Springer, 2009.
G. Governatori, J. Hulstijn, R. Riveret, and A. Rotolo. Characterising deadlines in temporal modal defeasible logic. In Proc. of AI-2007, volume 4830 of Lecture Notes in Artificial Intelligence, pages 486–496, 2007.
S. Miles, P. Groth, and M. Luck. Handling mitigating circumstances for electronic contracts. In AISB 2008 Symp. on Behaviour Regulation in Multi-agent Systems, pages 37–42, 2008.
N. Oren, S. Panagiotidi, J. Vazquez-Salceda, S. Modgil, M. Luck, and S. Miles. Towards a formalisation of electronic contracting environments. In Proc. of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008, pages 61–68, Chicago, Illinois, USA, 2008.
Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: Off-line design. Artificial Intelligence, 73(1–2):231–252, 1995.
J. F. Sowa. Conceptual Graphs. IBM Journal of Research and Development, 20(4):336–375, 1976.
J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison- Wesley, 1984.
W. Woods and J. Schmolze. The kl-one family. Computers Math. Applic., 23:133–177, 1992.
Acknowledgements
The authors would like to thank the EU Agreement Technologies COST action for providing a STSM grant which made this work possible.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this paper
Cite this paper
Croitoru, M., Oren, N., Miles, S., Luck, M. (2011). Graph-Based Norm Explanation. In: Bramer, M., Petridis, M., Hopgood, A. (eds) Research and Development in Intelligent Systems XXVII. SGAI 2010. Springer, London. https://doi.org/10.1007/978-0-85729-130-1_3
Download citation
DOI: https://doi.org/10.1007/978-0-85729-130-1_3
Published:
Publisher Name: Springer, London
Print ISBN: 978-0-85729-129-5
Online ISBN: 978-0-85729-130-1
eBook Packages: Computer ScienceComputer Science (R0)