Reasoning about Normative Update
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.
@inproceedings{ijcai2013p15,
title = {Reasoning about Normative Update},
author = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {20--25},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/15},
}
TY - CPAPER TI - Reasoning about Normative Update AU - Alechina, Natasha AU - Dastani, Mehdi AU - Logan, Brian T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 20 EP - 25 UR - https://ijcai.org/proceedings/2013/15 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
