Abstract
| 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 | |
| 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 → … |
Fingerprint
Keywords
- model checker
- preference relation
- unmanned ariel vehicle
- normative system
- linear temporal logic
Cite this
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
}
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
ER -