Discussion paper: Changing norms is changing obligation change

Jan Broersen; Dov Gabbay; Leendert Van Der Torre

doi:10.1007/978-3-642-31570-1_14

Discussion paper: Changing norms is changing obligation change

Jan Broersen, Dov Gabbay, Leendert Van Der Torre

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.

Original language	English
Title of host publication	Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings
Pages	199-214
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-31570-1_14
State	Published - 2012
Event	11th International Conference on Deontic Logic in Computer Science, DEON 2012 - Bergen, Norway Duration: 16 Jul 2012 → 18 Jul 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7393 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Deontic Logic in Computer Science, DEON 2012
Country/Territory	Norway
City	Bergen
Period	16/07/12 → 18/07/12

Access to Document

10.1007/978-3-642-31570-1_14

Cite this

Broersen, J., Gabbay, D., & Van Der Torre, L. (2012). Discussion paper: Changing norms is changing obligation change. In Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings (pp. 199-214). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7393 LNAI). https://doi.org/10.1007/978-3-642-31570-1_14

@inproceedings{f4dd69e90c284348811d1cef1aab1bb5,

title = "Discussion paper: Changing norms is changing obligation change",

abstract = "Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.",

author = "Jan Broersen and Dov Gabbay and {Van Der Torre}, Leendert",

year = "2012",

doi = "10.1007/978-3-642-31570-1_14",

language = "אנגלית",

isbn = "9783642315695",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "199--214",

booktitle = "Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings",

note = "11th International Conference on Deontic Logic in Computer Science, DEON 2012 ; Conference date: 16-07-2012 Through 18-07-2012",

}

Broersen, J, Gabbay, D & Van Der Torre, L 2012, Discussion paper: Changing norms is changing obligation change. in Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7393 LNAI, pp. 199-214, 11th International Conference on Deontic Logic in Computer Science, DEON 2012, Bergen, Norway, 16/07/12. https://doi.org/10.1007/978-3-642-31570-1_14

Discussion paper: Changing norms is changing obligation change. / Broersen, Jan; Gabbay, Dov; Van Der Torre, Leendert.
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. 2012. p. 199-214 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7393 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Discussion paper

T2 - 11th International Conference on Deontic Logic in Computer Science, DEON 2012

AU - Broersen, Jan

AU - Gabbay, Dov

AU - Van Der Torre, Leendert

PY - 2012

Y1 - 2012

N2 - Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.

AB - Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.

UR - http://www.scopus.com/inward/record.url?scp=84864833735&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-31570-1_14

DO - 10.1007/978-3-642-31570-1_14

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84864833735

SN - 9783642315695

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 199

EP - 214

BT - Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings

Y2 - 16 July 2012 through 18 July 2012

ER -

Broersen J, Gabbay D, Van Der Torre L. Discussion paper: Changing norms is changing obligation change. In Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. 2012. p. 199-214. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31570-1_14

Discussion paper: Changing norms is changing obligation change

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this