A Testbed for Animating Multi-Agent Systems

Abstract

This document describes the current state of the development and implementation of a test-bed for animating multi-agent systems, where each Agent is to be specified by a theory of multi-modal logic and its behaviour is determined by a form of symbolic execution called animation. The particular setting for the animator is a robotics scenario of industrial relevance, namely the automated Paintshop wherein robots collect, paint and deliver cars. The test-bed is being developed under ECL i PS e v3.4.5 (v3.5) and Tcl/Tk v7.3/v3.6, and the target platform is an ICL DRS6000. 200 MEDLAR II Deliverable V.2--2 1 Introduction The advent of large-scale industrial use of robotics has resulted in the need for platforms to investigate and optimise the programming and behaviour of machines in such environments. For some time, it has been assumed that scaled-down versions of physical situations (with actual robots operating in them, offered the most natural facilities in which to carry out exper..