Normative systems and their revision: an algebraic approach
Artificial Intelligence and Law - Law, logic and defeasibility
Software Language Engineering
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.