This is an overview of the main results obtained by us on applications of paraconsistent logics in Robotics. In particular, we focus on a class of annotated logics, which also can be viewed as a many-valued logic. The main point is that the inconsistencies, paracompleteness and fuzziness can be treated efficiently and elegantly by paraconsistent annotated logics.