Norm compliance checking

Authors:
Jie Jiang;Virginia Dignum;Huib Aldewereld;Frank Dignum;Yao-Hua Tan
Affiliations:
Delft University of Technology, Delft, Netherlands;Delft University of Technology, Delft, Netherlands;Delft University of Technology, Delft, Netherlands;Utrecht University, Utrecht, Netherlands;Delft University of Technology, Delft, Netherlands
Venue:
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Year:
2013

Citing 2
Cited 1

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
A context-aware normative structure in MAS

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

OperA+: a model for context-aware organizational interactions in virtual organizations

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In multi-agent systems, norms are used to regulate agents' behavior so that the objectives of the systems can be realized in a predictable way. Therefore, it is important to check whether agents can comply with the norms imposed on them. However, when norms are interrelated, verification of norm compliance cannot be achieved by checking compliance of each norm separately as done traditionally. To this effect, this extended abstract introduces an approach which first models a set of interrelated norms as Norm Nets, and then map them to Colored Petri Nets (CPNs), by which compliance checking of both individual agents' behavior and the collective behavior of the system can be performed automatically. With CPNs, it is also possible to identify under which conditions the norms can be complied with.