Solving normative conflicts by merging roles
Laurence Cholvy, Frédéric Cuppens · 1995
This paper addresses the problem of conflicting norms.The solution we describe is based on the concept of role: a role defines some permissions, obligations and prohibitions which are supposed free of conflicts.As soon as an individual plays a role, he inherits the set of norms associated with this role.We show that conflicting norms arise because an individual may play different roles.The central idea of our paper is to consider that it is possible to make a judgement of priority between the roles an individual plays, in order to decide which are the actual norms which apply in a given situation.This priority may be chosen by the individual or may be dependent on the structure which may exist between roles.Our paper mainly describes the axiomatic part of a logic for reasoning about norms associated with primitive roles as well as with composite roles obtained by merging several roles.