A multi-agent description language New Valid and its application to robot control

Abstract

A coordinated multi-agent computation paradigm is proposed as a design tool of an intelligent robot system. A multi-agent programming paradigm and programming language, New Valid, is introduced. New Valid is designed as a tool for programming coordinated multi-agent computation systems. The coordinated computation paradigm is designed as a message flow programming system on the basis of a functional programming system. A history-sensitive computation feature, named agent, is introduced into a functional programming language, Valid. A model of mult-agent robot systems is proposed. The robot sytem is constructed as an ensemble of functions, each of which works as a coordinated independent agent through message communications. All sensory information put into robot is treated as messages. Several examples of multi-agent robot systems are shown.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>