Paraconsistent Annotated Evidential Logic Eτ Applied to Autonomous Robots in Logistic Center.

Due to the momentum of Industry 4.0 in various product and service sectors, academic and business investments in the development of new technologies in the logistics sector also stand out. Based on these trends, bibliographical research was carried out of articles dedicated to robotics with application in the logistics sector. Based on the bibliographic survey results, this work proposes a prototype of an autonomous terrestrial mobile robot that must go through corridors in specific layouts in logistics centres focusing on the aid of control tasks and management information for decision making. The main contribution is testing a para-analyzer algorithm based on non-classical logic such as Paraconsistent Annotated Logic Eτ, as the decision-making tool to avoid obstacles.