Abstract
Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a our preliminary results to visualize abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions.
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
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analyse 24, 33–36 (1963)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)
Forrester, J.W.: Gentle murder, or the adverbial samaritan. Journal of Philosophy 81, 193–196 (1984)
Gabbay, Horty, van der Meyden, van der Torre, L.(eds.): Handbook of Normative systems, vol. 1. College Publications, London (to appear)
Hansson, B.: An analysis of some deontic logics. Nôus 3, 373–398 (1969)
Lindahl, L., Odelstad, J.: Normative systems and their revision: An algebraic approach. Artificial Intelligence and Law 11(2-3), 81–104 (2003)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)
Makinson, D., van der Torre, L.: Permissions from an input-output perspective. Journal of Philosophical Logic 32(4), 391–416 (2003)
Moody, D.L.: The physics of notations: Toward a scientific basis for constructing visual notations in software engineering. IEEE Transactions on Software Engineering 35(6), 756–779 (2009)
Moody, D.L., van Hillegersberg, J.: Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 16–34. Springer, Heidelberg (2009)
Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)
Rumbaugh, J.E.: Notation notes: Principles for choosing notation. Journal of Object-Oriented Programming 8(10), 11–14 (1996)
Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: Semantics and proof theory. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012 (2012)
Villata, S., Boella, G., van der Torre, L.: Argumentation patterns. In: Proc. of ArgMAS 2011, pp. 133–150 (2011)
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
Colombo Tosatto, S., Boella, G., van der Torre, L., Villata, S. (2012). Visualizing Normative Systems: An Abstract Approach. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-31570-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31569-5
Online ISBN: 978-3-642-31570-1
eBook Packages: Computer ScienceComputer Science (R0)