Verifying normative behaviour via normative mechanism design

Authors:
Nils Bulling;Mehdi Dastani
Affiliations:
Department of Informatics, Clausthal University of Technology, Germany;Intelligent Systems Group, Utrecht University, The Netherlands
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Year:
2011

Citing 12
Cited 1

On social laws for artificial agent societies: off-line design

Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Alternating-time temporal logic

Journal of the ACM (JACM)
Pure Nash equilibria: hard and easy games

Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
AMELI: An Agent-Based Middleware for Electronic Institutions

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Normative system games

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Reasoning about temporal properties of rational play

Annals of Mathematics and Artificial Intelligence
Normative Multi-agent Programs and Their Logics

Knowledge Representation for Agents and Multi-Agent Systems
On the synthesis of useful social laws for artificial agent societies

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Verifying agents with memory is harder than it seemed

AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009

Reasoning under compliance assumptions in normative multiagent systems

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

The environment is an essential component of multi-agent systems and is often used to coordinate the behaviour of individual agents. Recently many languages have been proposed to specify and implement multi-agent environments in terms of social and normative concepts. In this paper, we first introduce a formal setting of multi-agent environment which abstracts from concrete specification languages. We extend this formal setting with norms and sanctions and show how concepts from mechanism design can be used to formally analyse and verify whether specific normative behaviours can be enforced (or implemented) if agents follow their subjective preferences. We also consider complexity issues of associated problems.