Reasoning About Normative Update
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.
Cite
Text
Alechina et al. "Reasoning About Normative Update." International Joint Conference on Artificial Intelligence, 2013.Markdown
[Alechina et al. "Reasoning About Normative Update." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/alechina2013ijcai-reasoning/)BibTeX
@inproceedings{alechina2013ijcai-reasoning,
title = {{Reasoning About Normative Update}},
author = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {20-26},
url = {https://mlanthology.org/ijcai/2013/alechina2013ijcai-reasoning/}
}