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

OK

Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.

Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Urinary tract anatomy and physiology ppt on cells Ppt on forward contract merchant Download ppt on rotation and revolution of earth Ppt on sea level rise toolbox Ppt on power grid failure in india Ppt on carbon and its compounds for 10 class Ppt on layer 3 switching wiki Ppt on minimum wages act Ppt on types of life insurance Download ppt on search engines