A framework for monitoring agent-based normative systems

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2009, Pages 126-133

  Modgil, Sanjay ^a   Faci, Noura ^a   Meneguzzi, Felipe ^a   Oren, Nir ^a   Miles, Simon ^a   Luck, Michael ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Electronic contracts; Monitoring; Norms

Indexed keywords

AUTONOMOUS AGENTS; MONITORING; MULTI AGENT SYSTEMS; NETWORK ARCHITECTURE; SOFTWARE ENGINEERING;

ELECTRONIC CONTRACT; ELECTRONIC CONTRACTING; ENFORCEMENT MECHANISMS; GENERIC ARCHITECTURE; NETWORK REPRESENTATION; NORMS; PROOF OF CONCEPT; SOCIETAL SYSTEMS;

BEHAVIORAL RESEARCH;

EID: 84899822798     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

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. M. Estcva, B. Rosell, J. A. Rodrfguez-aguilar, and J. L. Arcos. Ameli: An agent-based middleware for electronic institutions. In 3rd Int. Joint Conference on Autonomous Agents and Multi-agent Systems, pages 236-243, 2004.
4. N. Faci, S. Modgil, N. Oren, F. Meneguzzi, S. Miles, and M. Luck. Towards a monitoring framework for agent-based contract systems. In 12th Int. Workshop on Cooperative Information Agents (CIA 2008), pages 292-305, 2008.
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. M. Jakob, M. Pchouek, J. Chabera, S. Miles, M. Luck, N. Oren, M. Kollingbaum, C. Holt, J. Vazquez, P. Storms, and M. Dehn. Case studies for contract-based systems. In Proc. 7th Int. Joint Conference on Autonomous Agents and Multiagent Systems, pages 55-62, 2008.
8. N. R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75(2): 195-240, 1995.
9. A. J. I. Jones and M. Sergot. On the characterisation of law and computer systems: The normative systems perspective. In Deontic Logic in Computer Science: Normative System Specification, pages 275-307. John Wiley and Sons, 1993.
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. A. Keller and H. Ludwig. The WSLA framework: Specifying and monitoring service level agreements for web services. Journal of Network Systems Management, 11(1):57-81, 2003.
12. M. Kollingbaum. Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen, 2005.
13. F. Legras and C. Tessier. Lotto: group formation by overhearing in large teams. In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pages 425-432, 2003.
14. F. L. Y. Lopez, M. Luck, and M. d'Inverno. A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12(2-3):227-250, 2006.
15. H. Mazouzi, A. E. F. Seghrouchni, and S. Haddad. Open protocol design for complex interactions in multi-agent systems. In 1st Int. Joint Conference on Autonomous Agents and Multiagent Systems, pages 517-526, 2002.
16. F. R. Meneguzzi, S. Miles, M. Luck, C. Holt, M. Smith, N. Oren, N. Faci, M. Kollingbaum, and S. Modgil. Electronic contracting in aircraft aftercare: A case study. In Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track, 2008.
17. Z. Milosevic, S. Gibson, P. Linington, J. Cole, and S. Kulkarni. On design and implementation of a contract monitoring facility. In Proceedings of the First International Workshop on Electronic Contracting, page 10. IEEE, 2004.
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. A. S. Rao. Agent Speak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World. Springer, 1996.
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, 13(10):591-606, 1970.