O Instituto de Estudos Avançados (IEA) da Universidade de São Paulo (USP) realizará, no dia 8 de fevereiro, às 13h30, o Seminário de Lógica Paraconsistente Anotada em Biomedicina, Automação e Robótica.

Voltado a estudantes de graduação e pós-graduação, pesquisadores, professores e profissionais das áreas de biomedicina, automação e robótica, o objetivo do evento é discutir sobre uma nova classe de lógica não clássica, chamada lógica paraconsciente anotada, aplicada em conceitos que apresentam certo grau de imprecisão, inconsistência ou paracompletos, em que a lógica clássica e algumas lógicas não clássicas, como a lógica Fuzzy, não podem ser utilizadas.

De acordo com os organizadores do seminário, a nova classe de lógica vem sendo aplicada com êxito em automação, robótica, biomedicina, engenharia de produção, psicanálise e em outras áreas.

O evento será realizado no Instituto Oscar Freire da Faculdade de Medicina da USP, localizado na R. Dr. Arnaldo, nº 455, em São Paulo (SP). Não é necessário realizar inscrição.

Mais informações: www.iea.usp.br/iea/eventos/index.html.