Visualizing normative systems: an abstract approach. (English) Zbl 1297.68218

Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leendert; Villata, Serena

Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012).

Summary: 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.
For the entire collection see [Zbl 1250.03001].

MSC:

68T27	Logic in artificial intelligence
03B45	Modal logic (including the logic of norms)

Keywords:

abstract normative systems; graph patterns