Severity-Sensitive Robustness Analysis in Normative Systems

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

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

3 Citations (Scopus)
9 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 languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems X
EditorsA Ghose, A Oren, N Telang, P Thangarajah
PublisherSpringer
Pages72-88
Number of pages17
ISBN (Electronic)978-3-319-25420-3
ISBN (Print)978-3-319-25419-7
DOIs
Publication statusPublished - 7 Nov 2015
EventThe 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) - Paris, France
Duration: 6 May 20146 May 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9372
ISSN (Print)0302-9743

Conference

ConferenceThe 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014)
Country/TerritoryFrance
CityParis
Period6/05/146/05/14

Keywords

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

Fingerprint

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

Cite this