---
title: "Reasoning about Normative Update"
authors:
  - "Natasha Alechina"
  - "Mehdi Dastani"
  - "Brian Logan"
doi: ""
url: "https://ijcai.org/proceedings/2013/15"
pdf: "https://ijcai.org/proceedings/2013/0015.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "20-25"
track: ""
keywords:
---

# Reasoning about Normative Update

Natasha Alechina, Mehdi Dastani, Brian Logan

*Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence*, pages 20-25.

## Abstract

We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.