Intelligent Automation and Soft Computing, Vol. 13, No. 3, pp. 289-304, 2007
Copyright © 2007, TSI® Press
Printed in the USA. All rights reserved
AN INTELLIGENT ACTION CONTROL SYSTEM BASED ON
EXTENDED VECTOR ANNOTATED LOGIC PROGRAM
AND ITS HARDWARE IMPLEMENTATION
KAZUMI NAKAMATSU
University of Hyogo
Shinzaike HIMEJI 670-0092 JAPAN
nakamatu@shse.u-hyogo.ac.jp
AND
YOSHIO MITA AND TADASHI SHIBATA
The University of Tokyo
Bunkyo-ku TOKYO 113-8656 JAPAN
{mita,shibata}@ee.t.u-tokyo.ac.jp
ABSTRACT—Various intelligent control systems for autonomous machines have been developed,
and such intelligent control systems often require real time processing. However, it is difficult for
software control to realize fast real time processing. Therefore, intelligent control systems that can
be easily hardware implemented are expected. We propose a theoretical framework for intelligent
autonomous action control systems based on a paraconsistent logic program called an EVALPSN.
The paraconsistent logic program EVALPSN can deal with defeasible deontic reasoning and
conflicts, and is appropriate for hardware implementation. In order to show the feature of the
intelligent action control, we take a virtual beetle robot action control system as an example.
Moreover, we introduce the electronic circuit implementation for the robot action control system
with experimental results.
Key Words: Intelligent action control, Paraconsistent logic program, Defeasible deontic reasoning,
EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), Electronic circuit
implementation.
289