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
Complexidade da diversidade

"É um erro pensarmos que uma boa equipa de I&DE só deve ser construída com os mais espertos: de facto, é o coletivo, constituído com pessoas que trazem uma gama variável de perspetivas (pontos de vista) para um problema, que obtém os melhores resultados", in no Campus com Helder Coelho.

Chegada à Lua

O Instituto de Astrofísica e Ciências do Espaço e o Museu da Presidência da República celebram os 50 anos da chegada à Lua.

Campus Ciências ULisboa

Professores de todo o país vão estar reunidos no maior evento de formação acreditada na área do ensino das ciências realizado em Portugal. O VI Encontro Internacional da Casa das Ciências acontece entre os dias 10 e 12 de julho, no campus de Ciências ULisboa.

Logotipo

Tal como sucedeu em edições anteriores, vários professores e investigadores de Ciências ULisboa participam no Ciência 2019 - Encontro com a Ciência e Tecnologia em Portugal, que decorre em Lisboa até 10 de julho.

Mara Gomes, aluna do 2.º ano do mestrado em Ciências do Mar participou no cruzeiro oceanográfico RV Polarstern em junho passado, sob o lema “Changing Oceans – Changing Future”. “Mara Gomes teve a dupla experiência de participar como cientista e de ensinar os alunos do programa POGO”, conta Vanda Brotas, professora do Departamento de Biologia Vegetal e investigadora do polo de Ciências ULisboa do Centro de Ciências do Mar e do Ambiente (MARE).

Ciências ULisboa

As classificações excelente e muito bom destacaram-se na avaliação feita aos centros de investigação afetos a Ciências ULisboa. Para os próximos quatro anos, Ciências ULisboa pretende continuar a sua aposta na investigação de excelência, agora com um pouco mais de fundos (um acréscimo de mais de quatro milhões de euros).

Falecimento

Ermesenda Fernandes, assistente técnica do Gabinete de Orçamento e Prestação de Contas da Área Financeira da Direção Financeira e Patrimonial de Ciências ULisboa, faleceu esta quarta-feira, dia 19 de junho de 2019. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos seus familiares, amigos e colegas.

Laboratórío em Ciências ULisboa

Leonor Côrte-Real, investigadora do polo de Ciências ULisboa CQE, irá representar Portugal no 6th Young Medicinal Chemist Symposium. A jovem doutorada em Química, especialidade em Química Inorgânica por Ciências ULisboa, foi escolhida pela SPQ para representar Portugal neste simpósio e irá apresentar o trabalho desenvolvido durante a sua tese.

Alunos durante um exercício do FCUL Rally Pro

O evento de Ciências ULisboa que convida os estudantes do ensino secundário a programar já vai na 7.ª edição.

Um estudo publicado na revista "Nature" revela novas evidências sobre a ocupação humana da Sibéria desde há 31 mil anos. Vítor Sousa, do Centro de Ecologia, Evolução e Alterações Ambientais – cE3c em Ciências ULisboa, é um dos 54 cientistas envolvidos na investigação.

Maria João Verdasca

Maria João Verdasca iniciou em fevereiro de 2017 o programa doutoral em Biodiversidade, Genética e Evolução. A sua investigação foca-se na modelação espacial de espécies invasoras e no estudo dos seus impactos ecológicos e socioeconómicos. Recentemente foi nomeada ao GBIF Young Researchers Award 2019.

Síndrome do impostor

Uma das formas mais eficazes de lidar com o síndrome do impostor é mesmo falar sobre ele, partilhando entre colegas ou amigos com quem sinta um espaço seguro, os desafios que vai sentindo profissionalmente e perceber que não está sozinho naquilo que sente. Estima-se que 70% das pessoas sofrem deste fenómeno psicológico.

Sala de aula

"Todo e qualquer avanço do saber produz uma nova e profunda ignorância, mais mistérios, o que não é surpreendente, pois o progresso, com os avanços sistemáticos, tende para o desconhecido", in no Campus com Helder Coelho.

Vanézia Rocha

Vanézia Rocha iniciou em setembro de 2018 o mestrado em Biologia dos Recursos Vegetais. Recentemente a jovem cabo-verdiana foi nomeada ao GBIF Young Researchers Award 2019, pelo Conselho Científico das Ciências Naturais e do Ambiente da FCT. Os vencedores serão anunciados antes da 26ª Assembleia Geral do GBIF, que decorrerá na Holanda em outubro de 2019.

Exposição E3

A exposição E3 acompanha os astrónomos britânicos A.S. Eddington, C.R. Davidson e A.C.C. Cromelin e o especialista em relojoaria E.T. Cottingham na sua longa viagem e observações. A 29 de maio de 2019 celebra-se o centenário do eclipse solar total de 1919, observado na ilha do Príncipe e na cidade do Sobral,no Brasil.

João Sousa, investigador no Laboratório de Sistemas Informáticos de Grande Escala, foi distinguido com o prémio DSN 2019 William C. Carter, no âmbito do trabalho desenvolvido na tese de doutoramento "Byzantine state machine replication for the masses", realizada enquanto aluno do Departamento de Informática de Ciências ULisboa.

Pedro Mocho

Pedro Mocho lidera o estudo que identificou uma nova espécie de dinossáurio - Oceanotitan dantasi. Geologia sempre foi a sua paixão. Nos próximos seis anos continuará a estudar a história evolutiva dos dinossáurios saurópodes do Mesozóico Ibérico.

Esqueleto de <i>Oceanotitan dantasi</i> à escala

Uma equipa de paleontólogos identificou uma nova espécie de dinossáurio - Oceanotitan dantasi -, descoberto na Praia de Valmitão, na Lourinhã, em 1996. A identificação da nova espécie confirma a presença de uma grande diversidade de saurópodes no Jurássico Superior de Portugal rivalizando a diversidade já reconhecida nas faunas do Jurássico Superior da América do Norte e de África.

Estudantes a trabalhar

Nuno Silva termina a bolsa Erasmus+ em julho. O programa de mobilidade tem sido na sua opinião uma ótima experiência. Recentemente o aluno de Engenharia Biomédica e Biofísica foi um dos vencedores do Innovation Award da Explore Competition.

Martin O'Halloran, Eoghan Dunne, Nuno Silva e Laura Farina

Nuno Silva, aluno do mestrado integrado em Engenharia Biomédica e Biofísica de Ciências ULisboa a estudar no Translational Medical Device Lab, da National University of Ireland,em Galway, no âmbito de uma bolsa Erasmus+, venceu juntamente com o colega Eoghan Dunne, o Innovation Award da Explore Competition.

João Duarte

Investigadores de Ciências ULisboa propõem um novo mecanismo que permite explicar a existência de uma anomalia tectónica a SW do Cabo de São Vicente.

O neurocientista português Fernando Lopes da Silva nascido em Lisboa a 24 de Janeiro de 1935, faleceu no passado dia 7 de maio, na Holanda, onde vivia há mais de 50 anos. Ciências ULisboa lamenta o triste acontecimento, apresentando as condolências aos familiares, amigos e colegas de Fernando Lopes da Silva.

Permacultura

A rede europeia ECOLISE publicou este mês um novo relatório sobre a eficácia das ações de sustentabilidade e mudança climática realizadas pelas comunidades locais. O investigador de Ciências ULisboa, Gil Penha-Lopes, líder deste projeto, espera que daqui a dois anos haja um novo relatório e que a plataforma online - wiki.ecolise.eu - suporte uma comunidade ainda mais dinâmica e saudável.

"A presença de um 'devias' é muitas vezes uma barreira à congruência entre o eu real e o eu ideal", escreve a psicóloga do Gapsi, Andreia Santos, na rubrica habitual.

Uma equipa internacional constituída por 121 cientistas reconstruiu a complexa história dos cavalos domésticos. O estudo divulgado este mês na revista Cell inclui a participação de Maria do Mar Oom, investigadora do polo de Ciências do cE3c e de Cristina Luís, investigadora do polo de Ciências do CIUHCT, MUHNAC e CIES-ISCTE-IUL, que coordenou o desenvolvimento do trabalho da equipa portuguesa.

Páginas