Abstract
Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such norm-aware agents, less effort has been placed on enabling system designers and users to understand the interactions between norms. Providing designers with such an understanding can aid in eliminating redundant norms and errors in norm specifications, while enhancing user understanding can increase the trust placed in a system. In this paper we make use of conceptual graph based semantics to provide a graphical representation that is designed to enhance the understanding of the interactions between different types of norms. More specifically, permissions derogate obligations and prohibitions, and the latter two norm types interact by conflicting with each other. Tracking these interactions in standard symbolic norm representations is difficult given a large set of norms, yet our work allows for the easy understanding of whether a permission causes obligation or prohibition derogation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boella, G., van der Torre, L.: Permissions and obligations in hierarchical normative systems. In: Proceedings of the 9th International Conference on Artificial Intelligence and Law, pp. 109–118 (2003)
Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs. Springer, London (2008)
Croitoru, M., Oren, N., Miles, S., Luck, M.: Graph-based norm explanation. In: Research and Development in Intelligent Systems XXVII, Proceedings of AI 2010: The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 35–48. Springer, Heidelberg (2010)
Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)
Groth, P., Miles, S., Modgil, S., Oren, N., Luck, M., Gil, Y.: Determining the trustworthiness of new electronic contracts. In: Aldewereld, H., Dignum, V., Picard, G. (eds.) ESAW 2009. LNCS, vol. 5881, pp. 132–147. Springer, Heidelberg (2009)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Miles, S., Groth, P., Luck, M.: Handling mitigating circumstances for electronic contracts. In: Proceedings of the AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, pp. 37–42. The Society for the Study of Artificial Intelligence and Simulation of Behaviour (April 2008)
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, vol. 1, pp. 153–160 (2009)
Mugnier, M.-L., Leclère, M.: On querying simple conceptual graphs with negation. Data Knowledge Engineering 60, 468–493 (2007)
Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Hübner, J.F., Matson, E.T., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 156–171. Springer, Heidelberg (2009)
Sowa, J.F.: Conceptual Graphs. IBM Journal of Research and Development 20(4), 336–375 (1976)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
Stolpe, A.: Relevance, derogation and permission: a case for a normal form for codes of norms. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 98–115. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oren, N., Croitoru, M., Miles, S., Luck, M. (2011). Understanding Permissions through Graphical Norms. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies VIII. DALT 2010. Lecture Notes in Computer Science(), vol 6619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20715-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-20715-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20714-3
Online ISBN: 978-3-642-20715-0
eBook Packages: Computer ScienceComputer Science (R0)