Skip to main content
Springer Nature Link
Log in

A Norm-Governed Systems Perspective of Ad Hoc Networks

  • Conference paper
Engineering Societies in the Agents World VII (ESAW 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4457))

Included in the following conference series:

  • 388 Accesses

Abstract

Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ad hoc networks can usefully be described in terms of permissions, obligations and other more complex normative relations, based on our previous work on modelling norm-governed multi-agent systems. We propose to employ our existing framework for the specification of the laws governing ad hoc networks. Moreover, we discuss a software infrastructure that executes such specifications for the benefit of ad hoc network members, informing them of their normative relations. We have been developing a sample node architecture as a basis for norm-governed ad hoc network simulations. Nodes based on this architecture consider the network’s laws in their decision-making, and can be individually configured to exhibit distinct behaviour. We present run-time configurations of norm-governed ad hoc networks and indicate design choices that need to be made in order to fully realise such networks.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221–238. Springer, Heidelberg (2005)

    Google Scholar 

  2. Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: ICAIL. Proceedings of Conference on Artificial Intelligence and Law, pp. 1–11. ACM Press, New York (2003)

    Chapter  Google Scholar 

  3. Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. Technical Report 2006/5, Imperial College London, Department of Computing (2006) (retrieved March 6, 2006), from http://www.doc.ic.ac.uk/research/technicalreports/2006/DTR06-5.pdf

  4. Bandara, A.: A Formal Approach to Analysis and Refinement of Policies. PhD thesis, Imperial College London (2005)

    Google Scholar 

  5. Bradshaw, J., Uszok, A., Jeffers, R., Suri, N., Hayes, P., Burstein, M., Acquisti, A., Benyo, B., Breedy, M., Carvalho, M., Diller, D., Johnson, M., Kulkarni, S., Lott, J., Sierhuis, M., Van Hoof, R.: Representation and reasoning about DAML-based policy and domain services in KAoS. In: Rosenschein, J., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) AAMAS. Proceedings of Conference on Autonomous Agents and Multi Agent Systems, pp. 835–842. ACM Press, New York (2003)

    Chapter  Google Scholar 

  6. Broersen, J., Dastani, M., Hulstijn, J., Van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3–4), 428–447 (2002)

    Google Scholar 

  7. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of Conference on Autonomous Agents, pp. 9–16. ACM Press, New York (2001)

    Chapter  Google Scholar 

  8. Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative normative agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 364–378. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Dellarocas, C.: Reputation mechanisms. In: Hendershott, T. (ed.) Handbook on Economics and Information Systems. Elsevier Publishing, Amsterdam (to appear)

    Google Scholar 

  10. Du, X.: QoS routing based on multi-class nodes for mobile ad hoc networks. Ad. Hoc. Networks 2(3), 241–254 (2004)

    Article  Google Scholar 

  11. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions. In: Castelfranchi, C., Johnson, L. (eds.) AAMAS. Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, pp. 1045–1052. ACM Press, New York (2002)

    Chapter  Google Scholar 

  12. Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: minimality and simplicity. Artificial Intelligence 119(1-2), 61–101 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  14. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1–2), 49–104 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  15. Giunchiglia, E., Lee, J., Lifschitz, V., Turner, H.: Causal laws and multi-valued fluents. In: NRAC. Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (2001)

    Google Scholar 

  16. Grizard, A., Vercouter, L., Stratulat, T., Muller, G.: A peer-to-peer normative system to achieve social order. In: Proceedings of Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (2006)

    Google Scholar 

  17. Haddadi, A.: Communication and Cooperation in Agent Systems. LNCS, vol. 1056. Springer, Heidelberg (1995)

    Google Scholar 

  18. Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. J. Wiley and Sons, West Sussex, England (1993)

    Google Scholar 

  19. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)

    MathSciNet  Google Scholar 

  20. Kamara, L., Pitt, J., Sergot, M.: Norm-aware agents for ad hoc networks: A position paper. In: Proceedings of the Ubiquitous Agents Workshop, AAMAS (2004)

    Google Scholar 

  21. Kamara, L., Pitt, J., Sergot, M.: Towards norm-governed self-organising networks. In: Proceedings of the NorMAS Symposium, AISB (2005)

    Google Scholar 

  22. Klein, M., Rodriguez-Aguilar, J., Dellarocas, C.: Using domain-independent exception handling services to enable robust open multi-agent systems: the case of agent death. Journal of Autonomous Agents and Multi-Agent Systems 7(1–2), 179–189 (2003)

    Article  Google Scholar 

  23. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–96 (1986)

    Article  Google Scholar 

  24. Lopez, F., Luck, M., d’Inverno, M.: Normative agent reasoning in dynamic societies. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS. Proceedings of Conference on Autonomous Agents and Multiagent Systems, pp. 732–739. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  25. Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  26. Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 9(3), 273–305 (2000)

    Article  Google Scholar 

  27. Moreau, L., Bradshaw, J., Breedy, M., Bunch, L., Hayes, P., Johnson, M., Kulkarni, S., Lott, J., Suri, N., Uszok, A.: Behavioural specification of grid services with the KAoS policy language. Cluster Computing and the Grid 2, 816–823 (2005)

    Article  Google Scholar 

  28. Moses, Y., Tennenholtz, M.: On computational aspects of artificial social systems. In: DAI. Proceedings of Workshop on Distributed Artificial Intelligence, pp. 267–284 (1992)

    Google Scholar 

  29. Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and Artificial Intelligence 14(6), 533–562 (1995)

    MathSciNet  Google Scholar 

  30. Murphy, A., Roman, G.-C., Varghese, G.: An exercise in formal reasoning about mobile communications. In: Proceedings of Workshop on Software Specification and Design, pp. 25–33. IEEE Computer Society Press, Los Alamitos (1998)

    Chapter  Google Scholar 

  31. Perkins, C.: Ad Hoc Networking, ch. 1. Addison Wesley Professional, Reading (2001)

    Google Scholar 

  32. Pitt, J., Kamara, L., Sergot, M., Artikis, A.: Voting in multi-agent systems. Computer Journal 49(2), 156–170 (2006)

    Article  Google Scholar 

  33. Pitt, J., Venkataram, P., Mamdani, A.: QoS management in MANETs using norm-governed agent societies. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol. 3963, pp. 221–240. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  34. Prakken, H.: Formalising Robert’s rules of order. Technical Report 12, GMD – German National Research Center for Information Technology (1998)

    Google Scholar 

  35. Rodriguez-Aguilar, J., Martin, F., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications 11(1), 5–19 (1998)

    Article  Google Scholar 

  36. Rodriguez-Aguilar, J., Sierra, C.: Enabling open agent institutions. In: Dautenhahn, K., Bond, A., Canamero, L., Edmonds, B. (eds.) Socially Intelligent Agents: Creating relationships with computers and robots, pp. 259–266. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  37. Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Journal of Computational and Mathematical Organization Theory 12(2-3), 101–126 (2006)

    Article  MATH  Google Scholar 

  38. Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  39. Shoham, Y., Tennenholtz, M.: On the synthesis of useful social laws for artificial agent societies. In: Swartout, W. (ed.) Proceedings of Conference on Artificial Intelligence (AAAI), pp. 276–281. The AAAI Press/ The MIT Press (1992)

    Google Scholar 

  40. Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: off-line design. Artificial Intelligence 73(1-2), 231–252 (1995)

    Article  Google Scholar 

  41. Tennenholtz, M.: On computational social laws for dynamic non-homogeneous social structures. Journal of Experimental and Theoretical Artificial Intelligence 7, 379–390 (1995)

    Article  Google Scholar 

  42. Wang, Y., Giruka, V., Singhal, M.: A fair distribution solution for selfish nodes problem in wireless ad hoc networks. In: Nikolaidis, I., Barbeau, M., Kranakis, E. (eds.) ADHOC-NOW 2004. LNCS, vol. 3158, pp. 211–224. Springer, Heidelberg (2004)

    Google Scholar 

  43. Wooldridge, M., Jennings, N.: Formalizing the cooperative problem solving process. In: Readings in Agents, pp. 430–440. Morgan Kaufmann Publishers Inc, San Francisco (1998)

    Google Scholar 

  44. Xu, K., Hong, X., Gerla, M.: Landmark routing in ad hoc networks with mobile backbones. Journal of Parallel Distributed Computing 63(2), 110–122 (2003)

    Article  MATH  Google Scholar 

  45. Yolum, P., Singh, M.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42(1–3), 227–253 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  46. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics & Telecommunications, NCSR “Demokritos”, Athens, 15310, Greece

    Alexander Artikis

  2. Intelligent Systems & Networks Group, Electrical & Electronic Engineering Department, Imperial College London, SW7 2BT, UK

    Lloyd Kamara & Jeremy Pitt

Authors
  1. Alexander Artikis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lloyd Kamara
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeremy Pitt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregory M. P. O’Hare Alessandro Ricci Michael J. O’Grady Oğuz Dikenelli

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Artikis, A., Kamara, L., Pitt, J. (2007). A Norm-Governed Systems Perspective of Ad Hoc Networks. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds) Engineering Societies in the Agents World VII. ESAW 2006. Lecture Notes in Computer Science(), vol 4457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75524-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75524-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75522-7

  • Online ISBN: 978-3-540-75524-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics