Location of Repository

Towards a Graphical Model of Remote Control of Machines

By Gareth Tyson A, Nicolas Troquard B, Simon Parsons C and Peter Mcburney A

Abstract

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

Topics: multi-agent dialogs, commands, command dialogs
Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.417.550
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dcs.kcl.ac.uk/staff... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.