An Attacker Model for Normative Multi-agent Systems

In this paper we introduce a formal attacker model for normative multi-agent systems. In this context, an attacker is an agent trying to profit from norm violation, for example because the violation is not detected, it is not being sanctioned, or the sanction is less than the profit of violation. To deliberate about norm violations, an attacker has a self model and a model of the normative multi-agent system, which in our case have the same structure. Moreover, we assume that an attacker violates a norm only when it profits from it, and the attacker therefore plays a violation game with the system. On a variety of examples, we show also how our model of violation games based also on agent abilities or power extends our earlier model based on motivations only.

[1]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

[2]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[3]  Jordi Sabater-Mir,et al.  Trusting Agents for Trusting Electronic Societies , 2005, Lecture Notes in Computer Science.

[4]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[5]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[6]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[7]  Guido Boella,et al.  Fulfilling or violating obligations in normative multiagent systems , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..