Objetivo do evento, promovido pela USP, é discutir sobre uma nova classe de lógica não clássica, aplicada em conceitos que apresentam certo grau de imprecisão, inconsistência ou são paracompletos
Objetivo do evento, promovido pela USP, é discutir sobre uma nova classe de lógica não clássica, aplicada em conceitos que apresentam certo grau de imprecisão, inconsistência ou são paracompletos
Agência FAPESP – 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.
A Agência FAPESP licencia notícias via Creative Commons (CC-BY-NC-ND) para que possam ser republicadas gratuitamente e de forma simples por outros veículos digitais ou impressos. A Agência FAPESP deve ser creditada como a fonte do conteúdo que está sendo republicado e o nome do repórter (quando houver) deve ser atribuído. O uso do botão HMTL abaixo permite o atendimento a essas normas, detalhadas na Política de Republicação Digital FAPESP.