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

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