Abstract. In this paper we present a novel computational model of control of a machine, device or software programme by an autonomous agent, which may be remote. The model allows for different degrees of remote and mediated control, and seeks to represent a common situation with the remote use of scientific instruments. We present the model both as a logical language and through a formal diagrammatic semantics, in the form of encapsulated and annotated graphs. The model supports automated reasoning over access powers, including the automated allocation of powers to a remote user by the owner of a device. In addition, the model enables an intelligent agent to select appropriate multi-agent protocols to engage in argument about access to a device or the details of actions to be undertaken using the device. The key value of this work is in automating access and in enabling automated reasoning over complex networks of devices
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.