Visualizing Normative Systems: An Abstract Approach

  • Silvano Colombo Tosatto
  • Guido Boella
  • Leendert van der Torre
  • Serena Villata
Conference paper

DOI: 10.1007/978-3-642-31570-1_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7393)
Cite this paper as:
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


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.


Abstract normative systems graph patterns 
Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Silvano Colombo Tosatto
    • 1
  • Guido Boella
    • 2
  • Leendert van der Torre
    • 3
  • Serena Villata
    • 4
  1. 1.SnT LuxembourgLuxembourg
  2. 2.University of TorinoItaly
  3. 3.University of LuxembourgLuxembourg
  4. 4.INRIA Sophia AntipolisFrance

Personalised recommendations