Resumo:
This thesis intends to show a controller based on the evidential annotated
paraconsistent logic Eτ – Paracontrol. The Paracontrol is a variation of the logic analyzer
studied in [Da Silva Filho 99]. This work also shows an autonomous mobile robot,which is
named Emmy II, in order to demonstrate the Paracontrol’s new properties.
As an innovation, the Paracontrol presents besides the characteristics of the
previous controller (manipulation of uncertaints, contradiction and paracompleteness
informations), the speed control in the various robot’s actions.