A aplicação da chamada técnica Escao poderia aprimorar o trabalho desenvolvido pelo professor João Inácio da Silva Filho e seus alunos na Universidade Santa Cecília, que recentemente apresentaram Emmy, o primeiro robô a utilizar a chamada Lógica Contraditória - que admite como válidas simultaneamente uma afirmação e sua negação. Informática colocou em contato esse professor com outro especialista nesse tipo de lógica, o engenheiro Amilcar Brunazo Filho. 

Amilcar foi um dos alunos do professor aposentado Wagner Waneck Martins, da Poli-USP, pioneiro no desenvolvimento (em 1985) da Engenharia de Sistemas e Controles Automáticos e Otimizados (Escao). Vendo o robô Emmy em funcionamento, Amilcar percebeu que ele poderia ganhar em performance utilizando um controlador lógico programável Escao.

As pouco difundidas idéias sobre computadores que não usam processadores, não seguindo portanto os padrões booleanos iniciados pelo cientista John von Neumann há meio século, já foram tema de matérias no Informática em 3/6/1997 ("Um computador... sem processadores?") e 24/3/1998 ("Engenheiro de Santos ministra curso no Rio Grande do Sul"). Informática - que também divulgou com exclusividade a matéria sobre o Emmy em 4/5/1999 ("Santista cria robô inédito") - já havia colocado em contato o engenheiro Amilcar e o gaúcho Daniel Fink, que em 1997 foi premiado pelo desenvolvimento de um computador não-booleano.

A teoria Escao permite a produção de sistemas computadorizados em que se emprega controladores lógicos programáveis em lugar de processadores, num sistema bem mais confiável para o controle de processos críticos, como a atividade de uma usina nuclear ou sistemas de controle da distribuição regional de energia elétrica.

“Admiro o trabalho do professor Waneck - cita Amilcar -. Ele realmente encontrou soluções para problemas de projeto de circuitos lógicos, mas as máquinas que se pode fazer com a sua teoria não substituem os computadores atuais. Na realidade, as Escao são apenas os chamados Circuitos Lógicos Seqüenciais, conhecidos há muito tempo. O que o professor Waneck fez foi desenvolver uma técnica nova para se projetar automaticamente (e com verificação de consistência) tais circuitos”.

"Comparando as duas informações, às vezes contraditórias, o robô escolhe uma estratégia de locomoção (anda, desvia, procura mais dados etc.). As situações analisadas pelo robô são classificadas em 12 opções (desde certeza até incerteza, desde coerente até inconsistente)."

Ao contrário do que ocorre com a Lógica Fuzzy ou Nebulosa (trabalha com graus de confiabilidade, mas não pode ter informação contraditória, e é usada, por exemplo, no auto-foco das máquinas fotográficas), que pode ser adaptada à Transformada Numérica (TN), Amilcar não encontrou, de imediato, formas de juntar as técnicas da TN com a Lógica Paraconsistente ali aplicada.

"No esquema lógico do robô, somente depois da análise dos dados sensorados, com o auxílio da Lógica Paraconsistente, é que aparecem as aplicações onde as técnicas da TN são viáveis. Como no projeto do codificador incluído no robô, que transforma a palavra de 12 bits mutuamente excludentes numa palavra de quatro bits, o que é uma parte secundária do projeto e não envolve nenhuma inconsistência, e no projeto e construção da máquina que controla os motores do robô (que é atualmente um velho e gordo microprocessador pré-programado e poderia ser uma elegante e simples Escao).

Quanto ao desempenho de Emmy, Amilcar comentou: "É divertido vê-lo andando pelo laboratório, se desviando automaticamente de obstáculos e achando um caminho. Nisto a coisa funciona, mas tem um probleminha a ser resolvido em projetos futuros: quando se liga Emmy, não se tem a menor idéia de onde ele vai chegar, ainda não dá para comandá-lo para ir de A para B. Ele vai achar algum caminho... mas não se sabe para onde..."

Um artigo do Prof. João Inácio será publicado, na revista Saber Eletrônica deste (6/1999) ou do próximo mês (7/1999), para divulgar esta aplicação da Lógica Paraconsistente Anotada.

Veja mais:
Começa a era dos animais-robôs
Robótica é tema de curso em São Vicente