No Campus com Helder Coelho

Prémio Turing para Valiant

Helder Coelho

“Se as pessoas não acreditam que a Matemática é simples, é porque não imaginam como a vida é complicada.”
Joseph Von Neumann, 1947

Quando Leslie Valiant ganhou o Prémio Turing (equivalente ao Nobel da Computação) referente a 2010, promovido pela ACM, o foco da justificação foi o trabalho então desenvolvido (as contribuições inovadoras) na teoria da aprendizagem computacional (vulgo Machine Learning), com ligações à Matemática e à Ciência Cognitiva, e na teoria da ciência da computação (nomeadamente, na Complexidade Computacional), o que permitiu avanços na Inteligência Artificial (IA), levando a aplicações do processamento da língua natural, do reconhecimento da escrita e da visão por computador. Mais propriamente, um modelo da aprendizagem (Probably Approximately Correct ou PAC) e algoritmos que adaptam o seu comportamento, em resposta à realimentação do ambiente envolvente. Os grupos de I&DE da IA abraçaram o seu ponto de vista, nos anos seguintes, através da conceção de ferramentas críticas para o projeto de sistemas inteligentes (casos da Google, Apple, IBM, Facebook, Amazon, Microsoft), como o Watson da IBM.

O que impressionou, e também o júri do Prémio, foram as intuições e a sua perspicácia para a interdisciplinaridade, além da criatividade das ideias e a sua enorme aplicabilidade (Medicina, Processamento de Imagens, Teoria dos Jogos, Transportes).

Valiant acredita que a ciência da aprendizagem permanece apenas explorada parcialmente, e que o uso das previsões (via a Aprendizagem) no mundo atual, tão sujeito às mudanças e às surpresas, é particularmente interessante. Por exemplo, os sistemas biológicos são altamente adaptativos, e compreender o que eles fazem, passo a passo, e porquê tem êxito, levaram-no a considerá-los como tópicos ideais para uma teoria da aprendizagem e da ciência da computação.

A escolha mais crítica para um cientista tem a ver com os problemas em que vai trabalhar, e assim Valiant isolou uma das questões que foi a que se refere à possibilidade de especificar o que significa para um processo mecânico (mecanismo) aprender efetivamente. Se defendemos que uma máquina pode fazer isto, o que é razoável então perguntar, questionou Valiant. A sua definição de aprendizagem, provavelmente e aproximadamente correta (PAC), é uma especificação. É quantitativa e assim deu-lhe um modo de comparar os algoritmos diferentes de aprendizagem, em relação a quanta computação fazem, a quantas experiências necessitam, e a quão bem generalizam. E, de facto, isto permitiu desenvolver algoritmos de aprendizagem mais úteis.

A procura de algoritmos, por detrás da vida, levou Valiant a inventar o conceito de ecoritmo (algoritmo de aprendizagem cujo desempenho é avaliado contra a entrada que recebe de um mundo não controlado e imprevisível) para se aproximar dos mistérios da evolução e da mente. O mundo biológico, no seu núcleo, é computacional e esta convicção de Valiant enraíza-se na equivalência que ele encontra entre os cérebros e os computadores. Por exemplo, a classificação automática das caras de gatos, em fotografias, é hoje possível através de redes de aprendizagem profunda (DeepLearning). A ideia dos ecoritmos é explorar computacionalmente organismos biológicos ou espécies inteiras. E, isto, inspira-se na equivalência entre os modos como os indivíduos aprendem e como também evoluem os sistemas ecológicos, o que poderá conduzir à fusão das ciências da vida com a ciência da computação.

Mas o que é a aprendizagem? É um tipo de cálculo, onde o objetivo é realizar um bom desempenho num mundo que não é modelado à frente do tempo. Um algoritmo de aprendizagem recebe observações desse mundo, e decide o que fazer, sendo depois avaliado pela decisão que for tomada. Ora, todo o conhecimento que qualquer indivíduo tem deve ser adquirido quer através da aprendizagem, ou via um processo evolucionário. E, se isto é verdade, então a aprendizagem individual e os processos evolucionários deverão ter uma teoria unificada para fornecer as explicações.

Para Valiant, a computação é uma ferramenta para estudar as ciências naturais, e o grande interesse de Alan Turing (pioneiro da computação e da IA) era precisamente os fenómenos naturais, em particular a inteligência, os limites do cálculo mecânico e a formação de padrões. Valiant acredita que os algoritmos, que a natureza usa, são sensíveis e compreensíveis, e que não precisa de intuições que nós somos incapazes de ter. Valiant pensou que a inteligência é também feita com processos tangíveis, mecânicos e compreensíveis. E, por isso é que compreendemos a inteligência que colocamos nas máquinas, de forma a tornar o seu comportamento suficientemente previsível. Quer isto dizer, que não devemos recear as super inteligências, e, também, que elas ultrapassem a nossa capacidade de as controlar.

Referências
Valiant, L. Evolvability, Journal of the ACM, 2007.
Searching for the Algorithms Underlying Life, Valiant Interview by Quanta Magazine, January 28, 2016.

Helder Coelho, professor do Departamento de Informática de Ciências
info.ciencias@ciencias.ulisboa.pt
Homem em banco de jardim, observando o rio

Andreia Santos, psicóloga do GApsi Ciências ULisboa, deixa um alerta: "o nível de cansaço sentido pelas pessoas a assistir a conferências, palestras através de um ecrã é superior ao de assistir ao mesmo de forma presencial".

Vanessa Mendonça

“Este prémio simboliza não só o reconhecimento do meu trabalho, mas também de toda a equipa que nele participou”, conta Vanessa Mendonça, segunda classificada pelo Prémio de Doutoramento em Ecologia - Fundação Amadeu Dias 2020. Vanessa Mendonça concluiu o mestrado e o doutoramento na Faculdade e atualmente é investigadora do MARE.

A SPECO anunciou recentemente os vencedores do Prémio de Doutoramento em Ecologia - Fundação Amadeu Dias 2020. José Ricardo Paula é o grande vencedor desta edição e irá apresentar o seu trabalho no 19.º Encontro Nacional de Ecologia, este ano associado às cerimónias dos 25 anos da SPECO, e que se realiza em dezembro, em Ponte de Lima.

Centro de Testes

Rita Loewenstein Simões, de 23 anos, é voluntária no Centro de Testes Ciências ULisboa, na estação Mix e Real-Time PCR, desde maio passado. Para esta jovem bióloga, formada na Faculdade, este trabalho tem um significado muito simples: ajudar. E foi exatamente isso que a motivou - saber que todas as horas que disponibilizasse fariam a diferença.

Informação eletrónica de rua: Keep your distance

Ganna Rozhnova trabalha em modelação epidemiológica na UMC Utrecht, na Holanda. A antiga aluna de doutoramento em Física Estatística da Faculdade, continua a colaborar com o BioISI e é a investigadora principal de um projeto da FCiências.ID, financiado no âmbito do Apoio especial a projetos Research 4 COVID-19.

Spinophorosaurus nigerensis

Uma inovação anatómica pode ser a chave na compreensão da evolução dos dinossáurios saurópodes. Os autores deste trabalho - Daniel Vidal, Pedro Mocho, Ainara Aberasturi, José Luis Sanz e Francisco Ortega - acreditam que parte do êxito evolutivo deste grupo de animais está relacionado com alterações na cintura pélvica e que esse fator contribuiu para os converter nos animais de maior porte da Terra.

Centro de Testes

“Em cada turno processamos uma quantidade significativa de amostras e é sempre importante conseguirmos fazê-lo eficientemente, para que os resultados sejam conseguidos num curto espaço de tempo”, diz Catarina Lagoas, voluntária no Centro de Testes Ciências ULisboa.

Teclado para invisuais

“A tecnologia deve poder ser usada por todas as pessoas!”, diz Carlos Duarte, professor do Departamento de Informática, investigador do LASIGE Ciências ULisboa, e recentemente membro do World Wide Web Consortium (W3C) e da Ação COST LEAD-ME -Leading Platform for European Citizens, Industries, Academia and Policymakers in Media Accessibility.

 olho de choco

Um grupo de investigadores da Ciências ULisboa a trabalhar no Laboratório Marítimo da Guia do MARE conseguiu mostrar que chocos acabados de eclodir (até cinco dias) são capazes de ter uma aprendizagem social. O estudo publicado na  Animal Cognition tem como primeiro autor Eduardo Sampaio, estudante de doutoramento em Biologia (ramo Etologia).

ETAR de Gaia Litoral

A análise de mais de 200 amostras de águas residuais das cinco ETAR monitorizadas no âmbito do projeto COVIDETECT comprova a presença de material genético nos afluentes que chegam às ETAR e evidencia a ausência de deteção do material genético do vírus SARS-CoV-2 nos efluentes tratados.

National Cancer Institute

Investigadores do LASIGE Ciências ULisboa, INESC TEC e Universidade do Minho apresentam uma nova técnica de deduplicação de dados baseado em semelhanças e padrões encontrados nos ficheiros de sequenciação de genomas humanos e uma codificação das alterações para a recuperação desses dados.

logotipo

Sétima rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Keep on Care.

Computador

“O período de confinamento pode ser encarado como um primeiro grande teste à integração de renováveis no sistema elétrico, prelúdio do que se prepara com a transição energética global em curso”, escreve o cientista Miguel Centeno Brito.

Conceção artística do telescópio espacial Athena (Advanced Telescope for High-Energy Astrophysics)

“Ciências ULisboa tem vindo a aumentar a sua capacidade e a sua intervenção no desenvolvimento científico e tecnológico de alguns dos projetos mais importantes para o avanço da Astrofísica, não só nos próximos anos, mas nas próximas décadas”, diz o cientista José Afonso.

post it

Cristina Luís, investigadora do Departamento de História e Filosofia das Ciências e do Centro Interuniversitário de História das Ciências e da Tecnologia (CIUHCT), é a responsável em Portugal pelo projeto “Citizen Science as the new paradigm for Science Communication (NEWSERA)”, coordenado por Rosa Arias, fundadora da Science for Change e que visa estudar como a ciência cidadã pode mudar o paradigma da comunicação da ciência.

janela

Entrevista com o cientista Carlos Cordeiro, que lidera o SAFE Coating, um projeto que tem a Biomimetx e o Hospital Curry Cabral como parceiros e que em seis meses procurará implementar uma tecnologia capaz de inativar o SARS-CoV-2 em superfícies, impedindo a sua viabilidade fora do hospedeiro humano e consequentemente, eliminando uma importante via de transmissão viral.

Lusovenator, a nova espécie pertence ao grupo dos carcharodontossáurios - dinossáurios carnívoros, alguns dos maiores predadores do planeta Terra. A sua descoberta mostra que estes dinossáurios estavam presentes no hemisfério norte 20 milhões de anos antes do que indicava o registo conhecido. O estudo foi liderado por Elisabete Malafaia, investigadora do IDL, polo da Ciências ULisboa.

O Roteiro Nacional de Infraestruturas de Investigação de Interesse Estratégico (RNIE) 2020 inclui 56 infraestruturas. Ciências ULisboa coordena a CoastNet, a PORTULAN CLARIN e a RNEM, integrando ainda outras sete infraestruturas.

A fase de implementação da Rede Portuguesa de Monitorização Costeira (CoastNet) terminou recentemente, segundo comunicado de imprensa emitido pela Faculdade recentemente. A apresentação pública da CoastNet coordenada por José Lino Costa, professor do Departamento de Biologia Animal da Ciências ULisboa, acontece a 7 de julho, num evento a decorrer por videoconferência.

O projeto MarCODE visa desenvolver uma ferramenta multidisciplinar para potenciar o rastreio e a rotulagem ecológica de espécies marinhas de interesse comercial, segundo comunicado de imprensa emitido pela Faculdade. O estudo iniciado este mês de julho deverá terminar daqui a três anos.

Sexta rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Nevaro.

Cláudio Pina Fernandes, coordenador do GAPsi Ciências ULisboa, escreve sobre o Princípio da Incerteza e chama a atenção para alguns aspetos.

O mundo de hoje é completamente dominado pela necessidade imperiosa de saber recolher e analisar dados, escrevem os cientistas Tiago A. Marques e Soraia Pereira. Leia o artigo dedicado ao roteiro serológico nacional, uma iniciativa promovida pelo Instituto Gulbenkian de Ciência e que conta com a colaboração do Centro de Estatística e Aplicações da Universidade de Lisboa, da autoria destes investigadores.

Ciências ULisboa volta a participar com equipas de estudantes no Global Management Challenge (GMC). No passado dia 16 de junho começou a 1ª fase do GMC 2020, que conta com quatro equipas desta faculdade compostas por alunos dos mestrados integrados em Engenharia Biomédica e Biofísica, em Engenharia da Energia e do Ambiente e em Engenharia Física, assim como alunos das licenciaturas em Matemática Aplicada e Tecnologias de Informação.

teste

Cerca de 194 milhões de aves e 29 milhões de mamíferos podem ser atropelados por ano nas estradas europeias, de acordo com a estimativa de uma equipa internacional de investigadores liderada por Clara Grilo, investigadora do Centro de Estudos do Ambiente e do Mar (CESAM), polo da Ciências ULisboa, com sede na Universidade de Aveiro. Os resultados estão publicados na revista científica Frontiers in Ecology and Environment.

Páginas