By Topic

Logic specifications for multiple robots based on a current programming language

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Nishiyama, H. ; Fac. of Sci. & Technol., Sci. Univ. of Tokyo, Japan ; Ohwada, H. ; Mizoguchi, F.

The paper describes a concurrent logic specification language for developing programs that control multiple robots. This language is based on guarded Horn clauses and specifications are atomically transformed into concurrent logic programs, yielding executable specifications. They makes it possible to easily implement complex tasks such as concurrency control, communication and multiagent-type profile, solving for multiple robots. An experiment on program development for multiple manipulators was undertaken to show advantages of the specification language. The resulting observations are twofold. First, specifications are more abstract and natural than conventional procedure-oriented programs. Second the amounts of specifications are very shorter than that of the programs developed by the underlying concurrent logic programs are then compiled into C programs with little overhead the proposed language can be useful as a multiple robot programming language with the efficiency for both program execution and developed

Published in:

Intelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on  (Volume:1 )

Date of Conference:

13-17 Oct 1998