zbMATH — the first resource for mathematics

Visualizing normative systems: an abstract approach. (English) Zbl 1297.68218
Ă…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].
68T27 Logic in artificial intelligence
03B45 Modal logic (including the logic of norms)
Full Text: DOI