Severity-Sensitive Robustness Analysis in Normative Systems

@inproceedings{Gasparini2014SeveritySensitiveRA,
  title={Severity-Sensitive Robustness Analysis in Normative Systems},
  author={Luca Gasparini and T. Norman and Martin J. Kollingbaum and Liang Chen},
  booktitle={COIN@AAMAS/PRICAI},
  year={2014}
}
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… 
Severity-sensitive norm-governed multi-agent planning
TLDR
This paper model the normative requirements of a system through contrary-to-duty obligations and violation severity levels, and proposes a novel multi-agent planning mechanism based on Decentralised POMDPs that uses a qualitative reward function to capture levels of compliance: N-Dec-POMDPS.
CÒIR: Verifying Normative Specifications of Complex Systems
TLDR
This paper proposes an operational syntax and semantics for the specification and formal verification of complex normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines, and shows how important properties can be verified for such systems.

References

SHOWING 1-10 OF 16 REFERENCES
Robust normative systems and a logic of norm compliance
TLDR
This work formalise and investigate three different notions of robustness and investigates three different approaches to robustness, and introduces a logic for specifying properties of norm compliance in general and norm robustness in particular.
Normative conflict resolution in multi-agent systems
Norms (permissions, obligations and prohibitions) offer a useful and powerful abstraction with which to capture social constraints in multi-agent systems. Norms should exclude disruptive or
Contrary-to-duty obligations
TLDR
It is argued, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations.
A Temporal Logic of Robustness
TLDR
A logic, RoCTL*, is proposed which extends CTL* with operators from Deontic logic, and a novel operator referred to as "Robustly", which acts as variety of path quantifier allowing us to consider paths which deviate from the desired behaviour of the system.
NORMC: a Norm Compliance Temporal Logic Model Checker
TLDR
It is argued and demonstrated that the Haskell programming language is a natural and useful alternative for model checking multi-agent systems; in particular that the full power of Haskell makes it easy to describe arbitrary multi- agent state-transition models in a natural way.
Using Normative Markov Decision Processes for evaluating electronic contracts
TLDR
The Normative Markov decision process is presented, an extension of the Markov Decision Process for explicitly representing norms and an algorithm for identifying the states of the process which characterize the violation of norms is specified.
Contrary‐to‐duty reasoning with preference‐based dyadic obligations
TLDR
Prohairetic Deontic Logic (PDL), a preference‐based dyadic deontic logic, is introduced, which uses the definition of “α should be (done) if β is ( done)” to formalize contrary‐to‐duty reasoning.
Model Checking
TLDR
Model checking is applied concurrently with system design, and particularly in its early stages when systems are modelled at a high level of abstraction, because the payoff of finding bugs at that stage is highest whereas the costs are low.
Verifying Normative System Specification containing Collective Imperatives and Deadlines
TLDR
This work proposes an operational syntax and semantics for the specification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines, and shows how Linear Temporal Logic properties can be verified.
...
...