Sets of related norms (normative systems) are likely to evolve due to changing goals of an organization or changing values of a society, this may introduce incoherence, such as the simultaneous prohibition and obligation of an action or a set of deadlocked duties. This paper presents a compositional framework that may be used for detecting whether normative systems are coherent by analysing traces of actions and their legality. Unlike other mechanisms for checking normative system coherence, the framework makes it possible to re-check just those parts of the system that have changed, without re-checking the entirety. © 2014 Springer International Publishing.
CITATION STYLE
King, T. C., Dignum, V., & Van Riemsdijk, M. B. (2014). Re-checking normative system coherence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8386 LNAI, pp. 275–290). Springer Verlag. https://doi.org/10.1007/978-3-319-07314-9_15
Mendeley helps you to discover research relevant for your work.