Application of Paraconsistent Annotated Evidential Logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles

Abstract

One of the significant challenges in contemporary robotics concerns navigation systems and autonomous robots’ location, being the detection and avoidance of obstacles an essential part of this system. This article proposed Paraconsistent Annotated Evidential Logic Eτ in the control algorithm for a terrestrial robot, and thus contribute with navigation systems, to avoid possible collisions with obstacles. A prototype terrestrial robot was then built with ultrasonic sensors for obstacle detection and a servomotor in steering control. Several performance tests were performed. It was noticed that by shortening the perception distances of the sensors, the performance of the robot’s displacement proved to be satisfactory.