Abstract
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules 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 specifying and modelling open agent societies. We now propose to employ our existing framework for the management of ad hoc networks, exploiting the similarities between open agent societies and ad hoc networks viewed at the application level. We also discuss the prospects of modelling ad hoc networks at the physical level in similar terms. We demonstrate the framework by constructing an executable specification, in the event calculus, of a common type of protocol used to regulate the control of access to shared resources in ad hoc networks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, University of London (November 2003), http://www.doc.ic.ac.uk/~aartikis/publications/artikis-phd.pdf , also available from the author (Retrieved April 8, 2004)
Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1053–1062. ACM Press, New York (2002)
Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of International Conference on Artificial Intelligence and Law (ICAIL), pp. 1–11. ACM Press, New York (2003)
Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, New York (1978)
Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Design issues for floor control protocols. In: Proceedings of Symposium on Electronic Imaging: Multimedia and Networking, vol. 2417, pp. 305–316. IS&T/SPIE (1995)
Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Floor control for multimedia conferencing and collaboration. Multimedia Systems 5(1), 23–38 (1997)
Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Efficacy of floor control protocols in distributed multimedia collaboration. Cluster Computing Journal, Special issue on Multimedia Collaborative Environments 2(1), 17–33 (1999)
Esteva, M., Rodriguez-Aguilar, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1–2), 49–104 (2004)
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, Chichester (1993)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)
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 Munti-Agent Systems 7(1–2), 179–189 (2003)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–96 (1986)
Lomuscio, A., Sergot, M.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic 2, 93–116 (2004)
Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)
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)
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, Los Alamitos (1998)
Perkins, C.: Ad Hoc Networking, ch. 1. Addison Wesley Professional, Reading (2001)
Prakken, H.: Formalising Robert’s rules of order. Technical Report 12, GMD – German National Research Center for Information Technology (1998)
Robert, H.: Robert’s Rules of Order: The Standard Guide to Parliamentary Procedure. Bantam Books (1986)
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)
Sadighi, B., Sergot, M.: Contractual access control. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2002. LNCS, vol. 2845, pp. 96–103. Springer, Heidelberg (2004)
Schulzrinne, H.: Requirements for floor control protocol. Internet Engineering Task Force (January 2004), http://www.ietf.org/internet-drafts/draft-ietf-xcon-floor-control-req-00.txt (Retrieved April 8, 2004)
Searle, J.: What is a speech act? In: Martinich, A. (ed.) Philosophy of Language, 3rd edn., pp. 130–140. Oxford University Press, Oxford (1996)
Sergot, M.: Modelling unreliable and untrustworthy agent behaviour. In: Proceedings of Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), Advances in Soft Computing. Springer, Heidelberg (2004)
Singh, M.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)
Vasconcelos, W.: Norm verification and analysis of electronic institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 166–182. Springer, Heidelberg (2005)
Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198–220. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Artikis, A., Kamara, L., Pitt, J., Sergot, M. (2005). A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_13
Download citation
DOI: https://doi.org/10.1007/11493402_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26172-8
Online ISBN: 978-3-540-31927-6
eBook Packages: Computer ScienceComputer Science (R0)