[en] 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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-468
Author, co-author :
Colombo Tosatto, Silvano ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Boella, Guido; University of Torino, Italy
van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Villata, Serena; University of Torino, Italy
External co-authors :
yes
Language :
English
Title :
Visualizing Normative Systems: an Abstract Approach
Publication date :
2012
Event name :
DEON 2012
Event place :
Bergen, Norway
Event date :
July 16-18, 2012
Audience :
International
Main work title :
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
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. Nop̌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)
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)