Monitoring norm violations in multi-agent systems

Authors:
Nils Bulling;Mehdi Dastani;Max Knobbout
Affiliations:
Clausthal University of Technology, Clausthal, Germany;Utrecht University, Utrecht, Netherlands;Utrecht University, Utrecht, Netherlands
Venue:
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Year:
2013

Citing 9
Cited 0

The complexity of propositional linear temporal logics

Journal of the ACM (JACM)
Monitoring dynamic integrity constraints based on temporal logic

Information Systems
Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Monitoring Algorithms for Metric Temporal Logic Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
On the synthesis of useful social laws for artificial agent societies

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming norm-aware agents

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic for normative multi-agent programs

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of norms is widely accepted as an effective approach to control and regulate the behaviour of agents in multi-agent systems. Existing work on normative multi-agent systems has mainly focussed on how norms can influence the behaviour of agents by assuming that the agents' behaviours are perfectly monitored. In this paper we focus on monitoring mechanisms, propose different types of monitors, provide a logical analysis of monitors, study the relations between monitors and norms to be monitored, and finally explore computational aspects of norm monitoring.