Abstract
Defeasible deontic logic has shown to be expressive enough to represent a normative system, and therefore compliance to such a system can be automatically checked by means of classical model checking techniques of logical systems. However, normative systems are not static, as they can be actively changed by the legislator over time, directly, by changing one norm. Moreover norms can change passively, either by effect of the change of another piece of the normative system, or by means of the change of meaning that affects terms employed in the norm.
Although some efforts have been carried out by scholars in the field of legal reasoning about norm change, there is a lack of uniformity in the representation of these changes, and this is an issue when we aim at deploying the law as an automated platform: we need to introduce changes as effects in the semantics of derivation in a logical system, when the unified viewpoint admits a unified representation as well. We adopt the logical paradigm of agency and provide a classification of changes from an agentive viewpoint that allows a unified representation within the logical language for agents LegalRuleML.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Broersen, J.: Issues in designing logical models for norm change. In: Vouros, G., Artikis, A., Stathis, K., Pitt, J. (eds.) OAMAS 2008. LNCS (LNAI), vol. 5368, pp. 1–17. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02377-4_1
Castelfranchi, C.: A cognitive framing for norm change. In: Dignum, V., Noriega, P., Sensoy, M., Sichman, J.S.S. (eds.) COIN 2015. LNCS (LNAI), vol. 9628, pp. 22–41. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42691-4_2
Cristani, M., Olivieri, F., Rotolo, A.: Changes to temporary norms, pp. 39–48 (2017)
Dastani, M., Meyer, J.J., Tinnemeier, N.: Programming norm change. J. Appl. Non-Class. Log. 22(1–2), 151–180 (2012)
De, S., Nau, D., Gelfand, M.: Understanding norm change: an evolutionary game-theoretic approach, vol. 3, pp. 1433–1441 (2017)
Governatori, G., Olivieri, F., Calardo, E., Rotolo, A., Cristani, M.: Sequence semantics for normative agents. In: Baldoni, M., Chopra, A.K., Son, T.C., Hirayama, K., Torroni, P. (eds.) PRIMA 2016. LNCS (LNAI), vol. 9862, pp. 230–246. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-44832-9_14
Governatori, G., Olivieri, F., Cristani, M., Scannapieco, S.: Revision of defeasible preferences. Int. J. Approx. Reason. 104, 205–230 (2019)
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philos. Log. 42(6), 799–829 (2013). https://doi.org/10.1007/s10992-013-9295-1
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal an analytical study in defeasible logic. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 99–113. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39617-5_12
Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 104–118. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16289-3_10
Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Designing for compliance: norms and goals. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML 2011. LNCS, vol. 7018, pp. 282–297. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24908-2_29
Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: The hardness of revising defeasible preferences. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 168–177. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09870-8_12
Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Log. J. IGPL 18(1), 157–194 (2010)
Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications, pp. 155–159 (2007)
Gómez-Sebastià , I., Napagao, S., Salceda, J., Felipe, L.: Towards runtime support for norm change from a monitoring perspective, vol. 918, pp. 71–85 (2012). https://www.scopus.com/inward/record.uri?eid=2-s2.0-84891822441&partnerID=40&md5=685e5bf57faaf9f393c12e85e4ee8bae
Horty, J.: Norm change in the common law. In: Hansson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. OCL, vol. 3, pp. 335–355. Springer, Dordrecht (2014). https://doi.org/10.1007/978-94-007-7759-0_15
Knobbout, M., Dastani, M., Meyer, J.J.: A dynamic logic of norm change. Front. Artif. Intell. Appl. 285, 886–894 (2016)
Olivieri, F., Cristani, M., Governatori, G.: Compliant business processes with exclusive choices from agent specification. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 603–612. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25524-8_43
Rouleau, M.: NormSim: an agent-based model of norm change (2016). https://www.scopus.com/inward/record.uri?eid=2-s2.0-84978428157&doi=10.1109%2fICoCS.2015.7483251&partnerID=40&md5=825116789dda19ec5a3e6fd152bd61eb
Scannapieco, S., Governatori, G., Olivieri, F., Cristani, M.: A methodology for plan revision under norm and outcome compliance. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol. 8291, pp. 324–339. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-44927-7_22
Tomazzoli, C., Cristani, M., Karafili, E., Olivieri, F.: Non-monotonic reasoning rules for energy efficiency. J. Ambient Intell. Smart Environ. 9(3), 345–360 (2017)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Cristani, M., Tomazzoli, C., Olivieri, F., Pasetto, L. (2020). An Ontology of Changes in Normative Systems from an Agentive Viewpoint. In: De La Prieta, F., et al. Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection. PAAMS 2020. Communications in Computer and Information Science, vol 1233. Springer, Cham. https://doi.org/10.1007/978-3-030-51999-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-51999-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-51998-8
Online ISBN: 978-3-030-51999-5
eBook Packages: Computer ScienceComputer Science (R0)