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
Comissão Externa de Aconselhamento de CIÊNCIAS

Em 2024, CIÊNCIAS mantém-se no topo do desempenho científico nas suas áreas de atuação, com a investigação e ensino fundamentados no conhecimento científico.

Participantes do Nighttime Lettter Writing falam em círculo

No dia 21 de novembro, CIÊNCIAS acolheu a primeira edição portuguesa do Nighttime Letter Writing, um evento de escrita de cartas à mão a apelar a doações para alunos com carências económicas.

Foto Frederico Correia Cerqueira.

Frederico Correia Cerqueira, aluno do Mestrado em Engenharia Informática de CIÊNCIAS, e Manuel Santos, do Instituto Superior de Engenharia de Lisboa, desenvolveram o projeto BinBot: um robot alimentado por energia solar que pode ser a solução para revolucionar a limpeza urbana, de espaços comerciais, festivais de música e outros eventos.

Equipas do Health Crossing Borders e do Lotus.

Os pitches dos projetos Health Crossing Borders e Lotus foram distinguidos com o 1.º e o 2.º lugar, respetivamente, na categoria de estudantes da competição promovida pela H-INNOVA Health INNOVAtion HUB na Digital Health Summit 2024, que decorreu no Funchal na ilha da Madeira, nos dias 26 e 27 de novembro.

Cristina Branquinho, Sofia Augusto e Helena Cristina Serrano

Cristina Branquinho, Sofia Augusto e Helena Cristina Serrano, investigadoras de CIÊNCIAS no Centro de Ecologia, Evolução e Alterações Ambientais (CE3C), são 3 das autoras do capítulo “Drivers of change and their impacts on the WEFE nexus in the Mediterranean region”. 

Alan Phillips, investigador de Ciências, pelo sétimo ano consecutivo na lista de autores mais citados

Alan Phillips, investigador do Instituto de Biossistemas e Ciências Integrativas (BioISI), desenvolve o seu trabalho na área da Microbiologia e foi, este ano, reconhecido pela 7.ª vez consecutiva como um dos investigadores mais citados a nível mundial na categoria de Ciência Vegetal e Animal, na lista Highly Cited Researchers 2024 da Clarivate Analytics.

GEOxyz

No dia 6 de novembro, a GEOxyz, empresa de referência na área de hidrografia e serviços geofísicos e geotécnicos, abriu oficialmente um novo escritório em CIÊNCIAS.

Alunos do Colégio Moderno visitam CIÊNCIAS

Cerca de 200 alunos dos 3.º e 4.º anos participaram, nos dias 18 e 21 de novembro, em atividades de sensibilização no âmbito da Semana Europeia da Prevenção de Resíduos. Logo ao início da manhã, em ambos os dias, os mais pequeninos receberam as boas-vindas do Diretor de CIÊNCIAS, Luís Carriço.

Filipe Duarte Santos.

O Prémio Ciência Viva Media 2024 foi atribuído ao podcast 'A Escala do Clima' de Filipe Duarte Santos, geofísico e professor catedrático de CIÊNCIAS, em colaboração com o jornalista Francisco Sena Santos.

Professor Rui Agostinho

O percurso do professor Rui Agostinho foi celebrado numa sessão de homenagem com sala lotada, onde as cadeiras foram ocupadas por colegas de décadas e alunos de hoje, onde o carinho e a emoção pelo docente foram palpáveis.

Jorge Buescu

“Comunicar e divulgar Ciência de forma rigorosa é uma tarefa cada vez mais importante”. Quem o diz é o professor Jorge Buescu, matemático de CIÊNCIAS, hoje galardoado com o Grande Prémio Ciência Viva 2024.

Foto da equipa do projeto TaMuK a receber o prémio.

O projeto TaMuKTargeting Mutated KRAS, recebe o prémio Basinnov Innovation Award 2024, pelo desenvolvimento de um novo metalofármaco destinado ao tratamento de cancros com mutação na proteína KRAS, entre os quais se destacam os cancros colorretal e do pâncreas.

Semana Europeia da Prevenção de Resíduos em ciências

O programa inclui uma mini palestra com as Professoras Teresa Dias e Cristina Cruz do Departamento de Biologia Vegetal.

Logótipo da ULisboa, sobre um fundo em tons de vermelho e preto

A ULisboa destaca-se a nível mundial nas áreas de Engenharia Naval e Oceânica (4.º lugar), Engenharia Civil e Ciências Veterinárias (ambas em 44.º lugar), Engenharia Mecânica (50.º lugar), conforme divulgado pelo Global Ranking of Academic Subjects 2024 do Ranking de Shanghai.

Imagem de moléculas de CO2 e fotos dos investigadores.

A inovadora descoberta dos cientistas do Departamento de Química e Bioquímica (DQB) poderá contribuir para a diminuição das emissões de carbono da indústria e para a transição para um modelo de produção mais verde.

Foto de Maria Adelaide Ferreira a discursar na Ocean Summit

Lisboa foi palco da primeira edição da Ocean Summit, um evento que junta especialistas oriundos de quatro continentes, para falarem de inovação para a sustentabilidade do oceano.

Foto da sessão aberta ao público que decorreu em CIÊNCIAS

Entre os dias 28 e 30 de outubro o consórcio internacional responsável pela missão Ariel da Agência Espacial Europeia (ESA) reuniu-se em CIÊNCIAS e no Pavilhão do Conhecimento – Centro Ciência Viva.

Professores e Investigadores de CIÊNCIAS

Na passada quarta-feira, a região de Valência, em Espanha, foi assolada por cheias devastadoras: em 8 horas choveu o equivalente a um ano, num fenómeno provocado por uma gota fria, ou DANA - depresión aislada en niveles altos, na sigla em espanhol.

Foto de grupo dos bolseiros Gulbenkian Novos Talentos 2024 de CIÊNCIAS.

Este ano foram 13 os estudantes de CIÊNCIAS premiados com Bolsas Gulbenkian Novos Talentos, marcando uma subida em relação aos 11 do ano passado.

Imagem da Reitoria da Universidade de Lisboa com o logo do NTU Ranking.

A ULisboa continua a ser a melhor universidade portuguesa e uma das 200 melhores do mundo em várias áreas científicas investigadas em CIÊNCIAS, da Geociência à Física.

Nuno Garcia, Professor Auxiliar de CIÊNCIAS e investigador no LASIGE, foi o formador do curso.

Realizou-se hoje em CIÊNCIAS a primeira sessão de formação deste Programa, que contou com a presença da Ministra da Juventude e Modernização, Margarida Balseiro Lopes.

Primeira reunião do projeto Twinning 3BATwin

Nos dias 2 e 3 de outubro realizou-se, em CIÊNCIAS, a reunião de abertura do projeto ‘3BAtwin - Bone, Brain, Breast and Axillary Medical Microwave Imaging’, um projeto Twinning europeu coordenado pela FCiências.ID, com a coordenação científica da investigadora Raquel Conceição.

Foto de grupo da organização do evento

Terminou, no passado dia 19 de outubro, no Grande Auditório de Ciências ULisboa, a 16.ª edição do Workshop on BioMedical Engineering, um evento onde professores, investigadores e estudantes se juntam para construir um espaço “onde a Tecnologia encontra a Medicina”.

Sessão de Posters CIÊNCIAS Research & Innovation Day 2024

Centenas de participantes, entre investigadores e comunidade académica, juntaram-se no Grande Auditório para debater o tempo da Ciência e a Ciência do tempo. Salvatore Capozziello, keynote speaker, confirmou que as teorias sustentam a possibilidade de viagens no tempo.

Polvos e peixes caçam em equipa

Os investigadores Eduardo Sampaio e Rui Rosa, do MARE - Centro de Ciências do Mar e do Ambiente, provaram que os polvos e os peixes caçam em equipa de forma organizada.

Páginas