A framework for monitoring agent-based normative systems

ABSTRACT

The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent's behaviour fails to comply with the norms. Recognition of compliance is thus crucial for achieving regulation. In this paper we propose a generic architecture for observation of agent behaviours, and recognition of these behaviours as constituting, or counting as, compliance or violation. The architecture deploys monitors that receive inputs from observers, and processes these inputs together with transition network representations of individual norms. In this way, monitors determine the fulfillment or violation status of norms. The paper also describes a proof of concept implementation and deployment of monitors in electronic contracting environments.

REFERENCES

• 1: R. Conte, R. Falcone, and G. Sartor. Agents and norms: How to fill the gap? Artificial Intelligence and Law, 7:1--5, 1999.
• 2: M. Dastani, D. Grossi, J.-J. C. Meyer, and N. Tinnemeier. Normative multi-agent programs and their logics. In Proc. Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS'08), pages 236--243, 2008.
• 3: Marc Esteva , Bruno Rosell , Juan A. Rodriguez-Aguilar , Josep Ll. Arcos, AMELI: An Agent-Based Middleware for Electronic Institutions, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.236-243, July 19-23, 2004, New York, New York [doi>10.1109/AAMAS.2004.56]
• 4: Noura Faci , Sanjay Modgil , Nir Oren , Felipe Meneguzzi , Simon Miles , Michael Luck, Towards a Monitoring Framework for Agent-Based Contract Systems, Proceedings of the 12th international workshop on Cooperative Information Agents XII, September 10-12, 2008, Prague, Czech Republic [doi>10.1007/978-3-540-85834-8_23]
• 5: A. D. H. Farrell, M. Sergot, M. Salle, and C. Bartolini. Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems, 4(2--3):99--129, 2005.
• 6: D. Grossi. Designing Invisible Handcufffs. PhD thesis, Utrecht University, SIKS, 2007.
• 7: Michal Jakob , Michal Pěchouček , Simon Miles , Michael Luck, Case studies for contract-based systems, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track, May 12-16, 2008, Estoril, Portugal
• 8: N. R. Jennings, Controlling cooperative problem solving in industrial multi-agent systems using joint intentions, Artificial Intelligence, v.75 n.2, p.195-240, June 1995 [doi>10.1016/0004-3702(94)00020-2]
• 9: Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, 1994
• 10: G. Kaminka, D. Pynadah, and M. Tambe. Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research, 17:83--135, 2002.
• 11: Alexander Keller , Heiko Ludwig, The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services, Journal of Network and Systems Management, v.11 n.1, p.57-81, March 2003 [doi>10.1023/A:1022445108617]
• 12: M. Kollingbaum. Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen, 2005.
• 13: Francois Legras , Catherine Tessier, LOTTO: group formation by overhearing in large teams, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860644]
• 14: Fabiola López Y López , Michael Luck , Mark D'Inverno, A normative framework for agent-based systems, Computational & Mathematical Organization Theory, v.12 n.2-3, p.227-250, October 2006 [doi>10.1007/s10588-006-9545-7]
• 15: Hamza Mazouzi , Amal El Fallah Seghrouchni , Serge Haddad, Open protocol design for complex interactions in multi-agent systems, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, July 15-19, 2002, Bologna, Italy [doi>10.1145/544862.544866]
• 16: Felipe Meneguzzi , Simon Miles , Michael Luck , Camden Holt , Malcolm Smith, Electronic contracting in aircraft aftercare: a case study, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track, May 12-16, 2008, Estoril, Portugal
• 17: Z. Milosevic , S. Gibson , P. F. Linington , J. Cole , S. Kulkarni., On Design and Implementation of a Contract Monitoring Facility, Proceedings of the First IEEE International Workshop on Electronic Contracting, p.62-70, July 06-06, 2004 [doi>10.1109/WEC.2004.13]
• 18: N. Oren, S. Panagiotidi, J. Vazquez-Salceda, S. Modgil, M. Luck, and S. Miles. Towards a formalisation of electronic contracting environments. In To appear in Proc. Coordination, Organization, Institutions and Norms in Agent Systems (COIN 2008), 2008.
• 19: Anand S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away, p.42-55, February 1996, Einhoven, The Netherlands
• 20: M. Tambe. Towards flexible teamwork. Journal of Artificial Intelligence Research, 7:83--124, 1997.
• 21: W. A. Woods, Transition network grammars for natural language analysis, Communications of the ACM, v.13 n.10, p.591-606, Oct. 1970 [doi>10.1145/355598.362773]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

Keywords:
electronic contracts, monitoring, norms