Manipulating Conflicts and Uncertainties in Robotics
Jair Minoro Abe and Joao Inacio Da Silva
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.