International Conference on Deontic Logic in Computer Science

DEON 2012: Deontic Logic in Computer Science pp 16-30

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

Volume 7393 of the book series Lecture Notes in Computer Science (LNCS)
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

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.

Keywords

Abstract normative systems graph patterns 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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