Norm compliance of protocols in electronic institutions

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

Citing 3
Cited 1

Temporal logic of programs

Temporal logic of programs
Modelling electronic organizations

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
From abstract to concrete norms in agent institutions

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

Distributed norm management for multi-agent systems

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) protocols, which are designed to help reach a goal without violating any of the norms. But how can we guarantee that these protocols are actually norm-compliant? Can these protocols really realise results without violating the norms? In [1] we introduce a formal method, based on program verification, for checking the norm compliance of protocols.