Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II

In this work we present a logic controller based on Paraconsistent Annotated Logic named Paracontrol, which can be applied to resolve conflicts and to deal with contradictions and/or paracompleteness, by implementing a decision-making in the presence of uncertainties. Such controller was implemented in a real autonomous mobile robot Emmy II.