Severity-Sensitive Robustness Analysis in Normative Systems

Luca Gasparini; Timothy J Norman; Martin J Kollingbaum; Liang Chen

doi:10.1007/978-3-319-25420-3_5

Severity-Sensitive Robustness Analysis in Normative Systems

Luca Gasparini, Timothy J Norman, Martin J Kollingbaum, Liang Chen

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

3 Citations (Scopus)

8 Downloads (Pure)

Abstract

Norms specify ideal behaviour. Agents, however, are autonomous, and may fail to comply with the ideal. Contrary to Duty obligations can be used to specify reparational behaviour that mitigates the effects of a violation. In addition to specifying reparational behaviours, it is important to understand how robust a system is against possible violations. Depending on what kind of system property we want to preserve, non-compliance with different norms may be of varying severity. We propose a method for analysing robustness of normative systems, with support for Contrary to Duty obligations. We introduce violation severity as a concept orthogonal to reparational behaviour and specify it by means of a partial order over norms. We use this severity partial order, together with normative specifications, to rank the possible worlds from the most to the least compliant. In this way, we are able to use model checking to analyse robustness to a certain severity, or whether it is possible to achieve a certain goal, without violating any norm of a given severity.

Original language	English
Title of host publication	Coordination, Organizations, Institutions, and Norms in Agent Systems X
Editors	A Ghose, A Oren, N Telang, P Thangarajah
Publisher	Springer
Pages	72-88
Number of pages	17
ISBN (Electronic)	978-3-319-25420-3
ISBN (Print)	978-3-319-25419-7
DOIs	https://doi.org/10.1007/978-3-319-25420-3_5
Publication status	Published - 7 Nov 2015
Event	The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) - Paris, France Duration: 6 May 2014 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9372
ISSN (Print)	0302-9743

Conference

Conference	The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014)
Country	France
City	Paris
Period	6/05/14 → …

Keywords

model checker
preference relation
unmanned ariel vehicle
normative system
linear temporal logic

Access to Document

10.1007/978-3-319-25420-3_5

Accepted Manuscript
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-25420-3_5
Accepted author manuscript, 424 KB

Fingerprint Dive into the research topics of 'Severity-Sensitive Robustness Analysis in Normative Systems'. Together they form a unique fingerprint.

Profiles

Martin Josef Kollingbaum

Computer Science and Informatics

Person: Academic

Cite this

Gasparini, L., Norman, T. J., Kollingbaum, M. J., & Chen, L. (2015). Severity-Sensitive Robustness Analysis in Normative Systems. In A. Ghose, A. Oren, N. Telang, & P. Thangarajah (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems X (pp. 72-88). (Lecture Notes in Computer Science; Vol. 9372). Springer . https://doi.org/10.1007/978-3-319-25420-3_5

Severity-Sensitive Robustness Analysis in Normative Systems. / Gasparini, Luca; Norman, Timothy J; Kollingbaum, Martin J; Chen, Liang.

Coordination, Organizations, Institutions, and Norms in Agent Systems X. ed. / A Ghose; A Oren; N Telang; P Thangarajah. Springer , 2015. p. 72-88 (Lecture Notes in Computer Science; Vol. 9372).

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

Gasparini, L, Norman, TJ, Kollingbaum, MJ & Chen, L 2015, Severity-Sensitive Robustness Analysis in Normative Systems. in A Ghose, A Oren, N Telang & P Thangarajah (eds), Coordination, Organizations, Institutions, and Norms in Agent Systems X. Lecture Notes in Computer Science, vol. 9372, Springer , pp. 72-88, The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) , Paris, France, 6/05/14. https://doi.org/10.1007/978-3-319-25420-3_5

@inproceedings{0e32084acdf54a87a6489bf444ec0a19,

title = "Severity-Sensitive Robustness Analysis in Normative Systems",

abstract = "Norms specify ideal behaviour. Agents, however, are autonomous, and may fail to comply with the ideal. Contrary to Duty obligations can be used to specify reparational behaviour that mitigates the effects of a violation. In addition to specifying reparational behaviours, it is important to understand how robust a system is against possible violations. Depending on what kind of system property we want to preserve, non-compliance with different norms may be of varying severity. We propose a method for analysing robustness of normative systems, with support for Contrary to Duty obligations. We introduce violation severity as a concept orthogonal to reparational behaviour and specify it by means of a partial order over norms. We use this severity partial order, together with normative specifications, to rank the possible worlds from the most to the least compliant. In this way, we are able to use model checking to analyse robustness to a certain severity, or whether it is possible to achieve a certain goal, without violating any norm of a given severity.",

keywords = "model checker, preference relation, unmanned ariel vehicle, normative system, linear temporal logic",

author = "Luca Gasparini and Norman, {Timothy J} and Kollingbaum, {Martin J} and Liang Chen",

year = "2015",

month = nov,

day = "7",

doi = "10.1007/978-3-319-25420-3_5",

language = "English",

isbn = "978-3-319-25419-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer ",

pages = "72--88",

editor = "A Ghose and A Oren and N Telang and P Thangarajah",

booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems X",

note = "The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) ; Conference date: 06-05-2014",

}

TY - GEN

T1 - Severity-Sensitive Robustness Analysis in Normative Systems

AU - Gasparini, Luca

AU - Norman, Timothy J

AU - Kollingbaum, Martin J

AU - Chen, Liang

PY - 2015/11/7

Y1 - 2015/11/7

N2 - Norms specify ideal behaviour. Agents, however, are autonomous, and may fail to comply with the ideal. Contrary to Duty obligations can be used to specify reparational behaviour that mitigates the effects of a violation. In addition to specifying reparational behaviours, it is important to understand how robust a system is against possible violations. Depending on what kind of system property we want to preserve, non-compliance with different norms may be of varying severity. We propose a method for analysing robustness of normative systems, with support for Contrary to Duty obligations. We introduce violation severity as a concept orthogonal to reparational behaviour and specify it by means of a partial order over norms. We use this severity partial order, together with normative specifications, to rank the possible worlds from the most to the least compliant. In this way, we are able to use model checking to analyse robustness to a certain severity, or whether it is possible to achieve a certain goal, without violating any norm of a given severity.

AB - Norms specify ideal behaviour. Agents, however, are autonomous, and may fail to comply with the ideal. Contrary to Duty obligations can be used to specify reparational behaviour that mitigates the effects of a violation. In addition to specifying reparational behaviours, it is important to understand how robust a system is against possible violations. Depending on what kind of system property we want to preserve, non-compliance with different norms may be of varying severity. We propose a method for analysing robustness of normative systems, with support for Contrary to Duty obligations. We introduce violation severity as a concept orthogonal to reparational behaviour and specify it by means of a partial order over norms. We use this severity partial order, together with normative specifications, to rank the possible worlds from the most to the least compliant. In this way, we are able to use model checking to analyse robustness to a certain severity, or whether it is possible to achieve a certain goal, without violating any norm of a given severity.

KW - model checker

KW - preference relation

KW - unmanned ariel vehicle

KW - normative system

KW - linear temporal logic

U2 - 10.1007/978-3-319-25420-3_5

DO - 10.1007/978-3-319-25420-3_5

M3 - Conference contribution

SN - 978-3-319-25419-7

T3 - Lecture Notes in Computer Science

SP - 72

EP - 88

BT - Coordination, Organizations, Institutions, and Norms in Agent Systems X

A2 - Ghose, A

A2 - Oren, A

A2 - Telang, N

A2 - Thangarajah, P

PB - Springer

T2 - The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014)

Y2 - 6 May 2014

ER -