Paraconsistent Logics in Artificial Intelligence and Robotics

. This papers presents some ideas on using paraconsistent and overcomplete logics to represent and to reason about knowledge in Artificial Intelligence systems. Since one our main research areas is related to robotics and manufacturing systems, we focus our attention on those logics and problems relevant to this area. We review the fundamental concepts defining paraconsistency and overcompleteness in non-classical logics and how these concepts can be helpful for problem-solving in the five subareas of Artificial Intelligence proposed in [Ros85]: perception, planning, learning, communication, and reasoning. We also present, as an illustration, two examples of application of these logics, namely to (i) representation and combination of multiple-source evidence in uncertain reasoning, and (ii) knowledge representation for distributed systems. 1 Introduction This papers presents some ideas on using non-classical logics to represent and to reason about knowledge in Artificial Intelligence ..