Artificial Intelligence and Law

, Volume 18, Issue 3, pp 247-283

First online:

Norm-system revision: theory and application

  • Audun StolpeAffiliated withInstitute of Informatics, University of Oslo Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic concepts such as that of permission resists a satisfactory analysis without it. By way of illustration the last section of the paper analyses the much debated concept of positive permission, of which there turns out to be more than one kind.


Derogation Amendment Revision theory Permission