Mixing Legal and Non-legal Norms

advertisement
Mixing Legal and Non-legal Norms
Alexander Boer
aboer@uva.nl
Overview



The ontological status of norms
Why norms as preferences?
Validity of norms as preferences
 Contrary-to-duty situations
 Normative conflict


Further work
Only in the paper
 Composition of non-legal preferences vs.
 Composition of legal preferences (choice
principles)
The ontological status of norms

‘Norm’ is an epistemological category in
assessment
 Of a broken circuit board (norm group)
 Of abnormal behaviour (normal)
 Of undesirable behaviour (normative)

‘Preference’ is an epistemological category
in planning
 Personal preference
 Adopted preference (constraint)

In context of agent: norm = preference
Norms and Preferences in the Legal System
1. ‘Norms of analysis’ of involved
stakeholders in drafting legislation
2. Legal norms adopted from legislation by
addressees of legislation
3. Social norms adopted by addressees of
legislation
4. Personal preferences of addressees
5. Adaptation of personal and social
preferences to legal norms (evasion)
Uses of preferences
Making decisions constrained by legal
norms (Legal Services Counter, E-POWER)
 Assessing behaviour against legal norms
(CLIME)
 Assessing expected behaviour (adapted to
legal norms) against ‘norms of analysis’ (EPOWER simulation)
 Comparing two alternative sets of legal
norms (E-POWER simulation)
 Almost always legal and non-legal
preferences involved

Why?


My PhD Thesis
Newton workbench
 Understandable Legal Knowledge Acquisition
 Understandable representation method
 Semantic Web (merging norms from different
sources)

ESTRELLA Project



European project for Standardized Transparent
Representations in order to Extend LegaL Accessibility
Legal Knowledge Interchange Format (LKIF)
Make everybody happy: represent whatever you want,
apply reasoning rules depending on purpose
Ideas


Entity-Relationship-based (boxes and lines)
method for representing normative
statements in the Web Ontology Language
(OWL)
Use mainstream Decision Theory concepts
(choice, preference, composition of
preferences)
 Mixing with non-legal preferences

Use concepts from Knowledge Acquisition
methodology
 Concept Triads and decision trees/tables
Knowledge Acquisition as eliciting choices

Ontology and Decision Trees
 Concepts and differentiae

Repertory grids
 Triads: Binary choices, opposites
 Choice reveals a preference

Norms
 Binary choice between compliance and
violation
 Choice is guided by imposed preference
(acceptance of a norm)
Norms as preferences?




Revealed vs. motivating preference
Preference for things vs. classes of things
Combinative vs. exclusionary preference
Conditional vs. absolute preferences?
S
subClassOf
A
disjointWith
<
¬A
Subsumption
Conditional preference
Deontic operators to preference relations
A fourth deontic operator: Liberty
Representation in OWL





Entity-relation model (subject-predicateobject triples)
Very similar to description logics (KIF,
LOOM, KRSS, etc.) but very different
(graph-based) syntax
Separates statements about concepts
(terminology) and instances (assertions)
No Unique Name Assumption for instances
Merging triples from different sources
Preference for classes of things in OWL


Operational semantics of preference
relation is similar to =, =<, >=, >, <
Relation on concepts, not instances
 Second order relation
 Either not OWL DL but OWL Full, or two
separate OWL DL terminological boxes
 “Second order Reasoning” in practice simple

Not possible to represent that = and < are
disjoint!
 No disjointness on relations…
>=
=<
<
=
>
Validity of norms as preferences?

Contrary-to-duty situations
 Chisholm, Forrester, Gentle Murderer,
Reykjavic, etc.

Normative conflict
 Conflict of disaffirmation



Disaffirming an imperative
Disaffirming a permission
Hill’s ‘intersection’ conflicts
 Conflict of compliance
 Other conflicts

Hohfeldian concepts, etc.
Contrary-to-duty situations
Chisholm’s situation
Chisholm’s situation
The Reykjavic situation
Normative Conflict
Conflicts of disaffirmation: disaffirmation of an imperative
Using the network facilities in the university building is
prohibited.
Using WiFi in the classrooms is permitted.
Conflicts of disaffirmation: disaffirmation of a permission
Using the network facilities in the university building is permitted.
Using WiFi in the classrooms is prohibited.
Unresolved cases of disaffirmation

Symmetric subsumption of situation vs.
alternatives:
 Using the network facilities in the classrooms is
prohibited.
 Using WiFi in the university building is
permitted.

No clear solution:
 Is this simply not a conflict?
 Does the most specific description of
alternative take precedence?

Hill’s “intersection conflicts”?
Unresolved cases of disaffirmation
Conflicts of compliance


‘Impossibility of joint compliance’ (IJC)
In S you ought to both P and not P
 Did you voluntarily enter into situation S?
 Can you move out of situation S?

Example:
 Police: night clubs ought to lock unguarded
emergency exits
 Fire department: night clubs ought not to lock
emergency exits
Conflicts of compliance
Conflict between permissions?
Elhag et al:
“There seem to be other types of conflict as that
between the permission for A to live in a
certain house and a permission for B to destroy
that same house. These conflicts need our
attention and have to be embodied in a theory
on normative conflicts.”
1. Neither agent has to deal with a circular ordering
of alternatives
2. Both agents are free to act
Other cases of conflict?

Conflict of legal and non-legal norms
 permission for A to live in a certain house and a
permission for B to destroy that same house 
 permission for A to live in a house that is to be
destroyed (given B’s preferences?)
 A norm of analysis is violated…
 Alternative: assumption of implicit right-duty
relation between A and B?

Conflict of a norm with reality
 Unrealizability of compliance with norm
Other work

Composition of preferences in Law vs.
Decision Theory
 Choice rules (Lex Specialis etc.) work because
of restricted format for legal preferences
 Additive (MAUT) and multiplicative (utility)
composition in Decision Theory

Hohfeldian legal concepts
 Right, duty, power, liability, etc.
Further work


ESTRELLA’s LKIF and Newton
Axioms on/off
 Automated Problem Solving vs. evaluation
queries

Isomorphism MetaLex legislative XML
structures to OWL representation
 Classification of sentence patterns
 Normative statements about (application of)
legislation
 Choice rules defined in legislation

E.g. overruling Lex Posterior
Download