Download presentation

Presentation is loading. Please wait.

Published byRaul Erving Modified over 2 years ago

1
General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg

2
Outline of talk The problem of Norm Revision Basic concepts Normative states Basic revision requirements A first method

3
The Problem normative state + new norms = ?? – What is a normative state? – How to revise it? – Revision first, contraction later

4
The Basic Concepts L is some language closed under usual prop. connectives. A norm is a conditional with L – “if holds then should hold” A set of norms can be coherent or incoherent Any set of norms induces (conditional) obligations

5
Normative States: Ingredients Different types of priority between norms: – Temporal (order of introduction) – Commitment (active/inactive) – Explicit (authority) – Implicit (specificity-like) We consider only first 2 for now

6
Normative States A normative state N is of the form – is a prior set of norms – is the sequence of revision inputs received thus far – is the set of currently active norms – Obligation is induced by N iff it’s induced by

7
Minimal Requirements on X is coherent if – Not necessarily for all i – If N = then not necessarily

8
The Revision Problem Given: – normative state N and coherent norm-set Want: – new normative state N N = for some new set of active norms Question: What is ?

9
Basic Postulates for X’ By definition of normative state, we must have: – is coherent – (Success) Might also expect: – If is coherent then (Conservativeness) More?...

10
A First Method: Some Notation Given normative state N = let for i = 0,…,n Given 2 norm-sets, set is the family of norm-sets s.t. 1) is coherent 2)If then is incoherent

11
A First Method Construct iteratively Start with Then for i = n,….,0 – If then – else

12
A First Method: Simple Examples Examples use a specific definition of “coherence”: – is coherent iff there is no s.t. and can be derived from in System P

13
Example 1 N =, where: Suppose Then

14
Example 2 N =, where: Suppose Then

15
Conclusion Preliminary framework for Norm Revision Incorporates temporal and “commitment” (active/inactive) priorities Give first method based on maximal coherent sets, giving active norms “privilege” Ongoing work….

16
Norm Change Workshop participants are warmly invited to: JANUARY 29……SUBMISSION DEADLINE JANUARY 29…….SUBMISSION DEADLINE JANUA

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google