Designing protocols for agent institutions

Authors:
Huib Aldewereld;Frank Dignum;John-Jules Ch. Meyer
Affiliations:
Utrecht University, The Netherlands;Utrecht University, The Netherlands;Utrecht University, The Netherlands
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 3
Cited 3

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Constructing automata from temporal logic formulas: a tutorial

Lectures on formal methods and performance analysis
Designing normative behaviour via landmarks

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems

Our Quest for the Holy Grail of Agent Verification

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
IGTASC: a model for institution-governed trusted and autonomic service cooperation

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Service cooperation-based trusted and autonomic virtual organizations

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agent-mediated institutions (or e-institutions), introduced in [9], are open agent systems that allow heterogeneous agents to enter and perform tasks. The e-institutions specify the admissible behaviour of the agents by means of norms, which are declarative and abstract by nature. On the one hand this allows for a stable specification suitable for almost any conceivable situation that arises in the institution, but in the other hand the norms hardly give any indication which interaction patterns would guarantee satisfaction of the norms.