A Paraconsistent Robot

Building autonomous robots have been a central objective of research in artificial intelligence. The development of techniques for autonomous navigation in real environment consist one of the main tendencies of the current researches about Robotics. An important problem in autonomous navigation is the necessity of dealing with a great amount of uncertainties inherent to the real environments. The paraconsistent logic has characteristics that make it become an adequate tool to solve this problem. In this work, it is proposed a technique of mapping the real world in the navigation of an autonomous robot using the paraconsistent logic.