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.Nesta dissertação apresenta-se um controlador lógico baseado na lógica
paraconsistente anotada evidencial Et - Paracontrol que constitui uma variação do
analisador lógico estudado em [Da Silva Filho 99]. Também se apresenta um robô móvel
autônomo, denominado Emmy II, utilizado para demonstrar as novas propriedades do
Paracontrol. Como característica inovadora o Paracontrol apresenta, além das características do
controlador anterior (manipulação de informações incertas, contraditórias ou
paracompletas), controle de velocidade nas diversas ações do robô