A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks

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.

[1]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[2]  Marek J. Sergot,et al.  Modelling Unreliable and Untrustworthy Agent Behaviour , 2004, MSRAS.

[3]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[4]  Alessio Lomuscio,et al.  A formalisation of violation, error recovery, and enforcement in the bit transmission problem , 2004, Journal of Applied Logic.

[5]  J. J. Garcia-Luna-Aceves,et al.  Floor control for multimedia conferencing and collaboration , 1997, Multimedia Systems.

[6]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[7]  F. E. Rodriguez-Miaja,et al.  Computer-aided project evaluation for chemical process plants , 1979 .

[8]  W. Alston.  Philosophy of Language , 1964 .

[9]  Mark Klein,et al.  Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death , 2003, Autonomous Agents and Multi-Agent Systems.

[10]  J. J. Garcia-Luna-Aceves,et al.  Efficacy of floor control protocols in distributed multimedia collaboration , 2004, Cluster Computing.

[11]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[12]  J. Searle.  What is a Speech Act , 1996 .

[13]  Pablo Noriega,et al.  Towards a Test-Bed for Trading Agents in Electronic Auction Markets , 1998, AI Commun..

[14]  Marc Esteva,et al.  On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

[15]  Marc Esteva,et al.  On the formal specification of electronic institutions , 2001 .

[16]  G. Varghese,et al.  An exercise in formal reasoning about mobile communications , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[17]  Charles E. Perkins,et al.  Ad Hoc Networking , 2001 .

[18]  Carles Sierra,et al.  Agent-Mediated Electronic Commerce , 2004, Autonomous Agents and Multi-Agent Systems.

[19]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[20]  Michael Winikoff,et al.  Enhancing Commitment Machines , 2004, DALT.

[21]  Hans-Peter Dommel,et al.  Design issues for floor control protocols , 1995, Electronic Imaging.

[22]  Wamberto Weber Vasconcelos,et al.  Norm Verification and Analysis of Electronic Institutions , 2004, DALT.

[23]  Marek J. Sergot,et al.  Contractual Access Control , 2002, Security Protocols Workshop.

[24]  Alexander Artikis,et al.  An executable specification of an argumentation protocol , 2003, ICAIL.

[25]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[26]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[27]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[28]  Alexander Artikis.  Executable specification of open norm-governed computational systems , 2003 .

[29]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[30]  Victoria Ungureanu,et al.  Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.

[31]  David Makinson.  On the formal representation of rights relations , 1986, J. Philos. Log..