This paper systematically investigates how to model legal contraction in an expressive variant of Defeasible Deontic Logic. We argue that legal contraction is an umbrella concept that includes operations which are conceptually and technically different: removing rules, adding exceptions, and modifying rule priorities. The peculiarities of deleting legal conclusions show that an extension of those operations is sometimes needed, which works on the indirect conclusions from which the target effect of the contraction is obtained. The proposed techniques are discussed in the context of a new version for the logic of AGM postulates of contraction.
G. Governatori, A. Rotolo, F. Olivieri, S. Scannapieco (2013). Legal contractions: a logical analysis. New York : ACM, Association for Computing Machinery [10.1145/2514601.2514609].
Legal contractions: a logical analysis
GOVERNATORI, GUIDO;ROTOLO, ANTONINO;
2013
Abstract
This paper systematically investigates how to model legal contraction in an expressive variant of Defeasible Deontic Logic. We argue that legal contraction is an umbrella concept that includes operations which are conceptually and technically different: removing rules, adding exceptions, and modifying rule priorities. The peculiarities of deleting legal conclusions show that an extension of those operations is sometimes needed, which works on the indirect conclusions from which the target effect of the contraction is obtained. The proposed techniques are discussed in the context of a new version for the logic of AGM postulates of contraction.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
