Modeling Paraconsistent Knowledge in Distributed SystemsFl

This paper presents some ideas on using paraconsistent logics to represent and to reason about knowledge in distributed systems. Since one our main research areas is related to robotics and manufacturing systems, we focus our attention on logics and problems relevant to this area. We review the fundamental concepts deening paraconsistency and overcompleteness in non-classical logics and how these concepts can be helpful for problem-solving in distributed systems, and propose a paraconsis-tent multiepistemic knowledge to model such systems. We also present, as an illustration, a paraconsistent reformulation of the well-known \muddy children problem" which we believe is relevant to automated manufacturing and robotics, and how this reformulated problem can be solved using the proposed logic.