Skip to main content

Research Repository

Advanced Search

Practical run-time norm enforcement with bounded lookahead

Alechina, Natasha; Bulling, Nils; Dastani, Mehdi; Logan, Brian

Authors

Natasha Alechina

Nils Bulling

Mehdi Dastani

Brian Logan



Abstract

Norms have been widely proposed as a means of coordinating and controlling the behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm enforcement: how and when to restrict the agents’ behaviour in order to obtain a desirable outcome? Even if a norm can be enforced theoretically, it may not be enforceable in a grounded, practical setting. In this paper we study the problem of practical norm enforcement. The key notion is that of a guard. Guards are functions which restrict the possible actions after a history of events. We propose a formal, computational model of norms, guards and norm enforcement, based on linear-time temporal logic with past operators. We show that not all norms can be enforced by such guard functions, even in the presence of unlimited computational power to reason about future events. We analyse which norms can be enforced by guards if only a fixed lookahead is available. We investigate decision problems for this question with respect to specific classes of norms, related to safety and liveness properties.

Citation

Alechina, N., Bulling, N., Dastani, M., & Logan, B. (2015). Practical run-time norm enforcement with bounded lookahead

Conference Name 14th International Conference on Autonomous Agents and Multiagent Systems
End Date May 8, 2015
Publication Date May 4, 2015
Deposit Date Sep 18, 2015
Publicly Available Date Sep 18, 2015
Peer Reviewed Peer Reviewed
Keywords Norms; Run-time enforcement
Public URL http://eprints.nottingham.ac.uk/id/eprint/30172
Publisher URL http://dl.acm.org/citation.cfm?id=2772937
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Additional Information Published in: Proceedings of the 14th International
Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2015). International Foundation for Autonomous Agents and Multiagent Systems, 2015,ISBN 978-1-4503-3413-6, pp.2030.

Files


aamas15-norm-enforcement.pdf (214 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations