Shinsuke Nara

  • Citations Per Year
Learn More
A computing anticipatory system must have the ability to make decision about its next action. To design and develop various computing anticipatory systems effectively, it is desirable to find a general methodology for decision making in computing anticipatory systems. This paper presents a deontic relevant logic approach to reasoning about actions in(More)
Epistemic Programming has been proposed as a new programming paradigm for scientists to program their epistemic processes in scientific discovery. As the first step to construct an epistemic programming environment, this paper proposes the first epistemic programming language, named ‘EPLAS’. The paper analyzes the requirements of an epistemic programming(More)
This paper considers a trajectory navigation control of a mobile robot by a CCD camera and ultrasonic sensors. First, the robot detects the obstacle by information of both image and distance. Further, based on the detected obstacle information, the robot generates a trajectory to avoid the obstacle safely without colliding with it. Finally, we show(More)
This paper introduces an obstacle avoidance control for a mobile robot using a single CCD camera and ultrasonic sensors. First, the mobile robot detects an obstacle based on information of both the image and the distance. Then, from the information obtained about the obstacle, the mobile robot generates a trajectory to avoid the obstacle. Finally, the(More)
The purpose of this paper is to measure the working radius of a crane truck by using vision systems. Then, we introduce the observation device which is equipped with a CCD camera, a laser range finder and two AC servo motors. Further, we propose new algorithm for the mark recognition and then construct PID control system with an extended Kalman filter in(More)
This paper treats the navigation problem of a mobile robot based on vision information and ultrasonic data. In our method, by calculating the optical flow on the images, the mobile robot can detect obstacles which exist ahead of it, further avoiding the area of obstacles, it can make the optimal trajectory to the final goal. Then, in order to generate the(More)
Automated forward deduction engines for discovery and prediction must get valid conclusions in acceptable time, because the system that cannot satisfy the requirements of validity of conclusions and acceptability of time is useless at all in pragmatic applications. However, any forward deduction process is essentially an inefficient process, because it has(More)