Emmy – paraconsistent autonomous robot

Abstract

This paper presents the development of the autonomous mobile robot Emmy based on the Annotated Paraconsistent Evidential Logic, Et. The Annotated Paraconsistent Logic deals with the imprecision and inconsistencies inherent to information through the Degrees of Favorable and Contrary Evidence, and through the Degrees of Certainty and Uncertainty. A Paraconsistent controller called Para-Control is used to deal with the logical signals in the context of Evidential Logic. This controller compares logical values and determines the domains of a state lattice corresponding to the output value. The Para-Control comprises both analogical and digital systems and maybe externally adjusted by applying positive and negative voltages. The autonomous mobile robot Emmy can move itself from a starting point to an end point, in a non-structured environment, both predetermined. A planning system gives the support to the robot’s navigation system. Keywords: Automation, Paraconsistent Logic, Robotics, Navigation System, Logical Controller.