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
Foto de Luís Ferreira, Reitor da ULisboa, a discursar na cerimónia de entrega dos Prémios Científicos Universidade de Lisboa/CGD 2024.

Estão a decorrer as candidaturas para a edição de 2025 dos Prémios Científicos Universidade de Lisboa / Caixa Geral de Depósitos.

Fernando Vaz Dias

No dia 13 de janeiro, o Cientista regressou à escola, desta vez em Proença-a-Nova, para mostrar de quantas cores se pinta uma planta.

Foto de atividade didática realizada.

No passado dia 4 de dezembro de 2024, a Oficina das Energias | Núcleo de Estudantes de Engenharia da Energia e Ambiente de CIÊNCIAS, a convite da Ciência Viva, esteve no Clube Ciência Viva do Bairro da Cova da Moura a realizar o seu workshop “Carrinhos Solares”.

Nuno Garcia nomeado Presidente do Conselho de Administração da FCiências.ID

Nuno Garcia dos Santos, Professor Catedrático do Departamento de Física de CIÊNCIAS, foi nomeado Presidente do Conselho de Administração da FCiências.ID para o mandato de 2025 a 2028. 

Primeiro retiro científico do programa Gulbenkian Novos Talentos junta bolseiros de CIÊNCIAS

O primeiro retiro científico desta edição do programa Novos Talentos da Fundação Calouste Gulbenkian aconteceu em dezembro, em Coimbra, e os bolseiros de CIÊNCIAS, acompanhados dos seus tutores, tiveram oportunidade de participar e partilhar experiências e conhecimento.

José Francisco Rodrigues eleito presidente da Academia das Ciências de Lisboa

José Francisco Rodrigues, matemático e professor catedrático de CIÊNCIAS, foi eleito Presidente da Academia das Ciências de Lisboa (ACL) para o biénio 2025-2026.

Carlos Antunes, professor de CIÊNCIAS

Carlos Antunes, professor de CIÊNCIAS, refere que foi superado “o segundo maior valor de nível médio do mar (NMM) de 23,2 centímetros, registado em 2022”.

Foto de Paulo Costa

O Diário de Notícias (DN) convidou Paulo J. Costa do Instituto de Biossistemas e Ciências Integrativas (BioISI) e outros três cientistas de renome a ponderarem como a inteligência artificial (IA) e a tecnologia vão influenciar as suas áreas de investigação em 2025 e no futuro.

Foto de Luís Carriço, Diretor de CIÊNCIAS.

Luís Carriço aceitou o desafio do Jornal de Negócios e foi um dos 184 líderes nacionais a partilhar as suas perspetivas para 2025.

Foi_assim_que_aconteceu

Graças à nossa comunidade, CIÊNCIAS não parou e... Foi Assim Que Aconteceu.
Reveja alguns dos momentos e fique connosco.

Foto de Nuno Bandeira.

Nuno Bandeira, químico teórico do Instituto de Biossistemas e Ciências Integrativas (BioISI) de CIÊNCIAS, publicou um artigo na Nature Communications em que reafirma o conceito de “ligação química coletiva”

Banner Um ano de CIÊNCIAS em 90 Segundos.

O programa 90 Segundos de Ciência é um projeto de divulgação científica que desde 2016 dá voz aos investigadores portugueses em minuto e meio.

Telescópio Nancy Grace Roman, da NASA.

O telescópio espacial Roman tem uma contribuição da Agência Espacial Europeia, que selecionou para uma das comissões do consórcio norte-americano um investigador do Instituto de Astrofísica e Ciências do Espaço pela sua experiência no Consórcio Euclid.

Conceção artística do telescópio de raios X Athena.

A Agência Espacial Europeia aprovou o primeiro protótipo de um sistema de precisão para o maior telescópio nos raios X, desenvolvido por uma equipa liderada pelo Instituto de Astrofísica e Ciências do Espaço.

Foto de Inês Barroso.

Inês Barroso, alumna de CIÊNCIAS e professora na Universidade de Exeter no Reino Unido, figura na 570.ª posição do Best Female Scientists in the World Ranking da Research.com.

Foto da audiência da Sessão Especial de Natal de CIÊNCIAS.

A 12 de dezembro realizou-se a 1.ª edição da Sessão Especial de Natal de CIÊNCIAS, uma iniciativa dedicada a sensibilizar toda a sociedade, em especial os jove

Última lição de Pedro Miranda, professor de CIÊNCIAS, em sessão de homenagem de jubilação

No dia 11 de dezembro, a biblioteca José Pinto Peixoto do Instituto Dom Luiz (IDL) encheu-se de caras amigas, colegas e ex-alunos para receber a última lição de Pedro Miranda, professor catedrático de CIÊNCIAS e ex-diretor do IDL.

Universidade de Lisboa recebe o Selo de Qualidade Academia Voluntária

No dia 5 de dezembro, a Universidade de Lisboa recebeu o Selo de Qualidade Academia Voluntária, prémio atribuído pela Cooperativa António Sérgio para a Economia Social (CASES).

Equipa HortaFCUL.

Depois da construção do anfiteatro da FCULresta com pedras de um aterro do Estádio Universitário, a HortaFCUL foi em outubro à Faculdade de Medicina de Lisboa (FMUL) em nova missão de resgate.

O Talent Bootcamp veio a CIÊNCIAS e não podia ter sido um sucesso maior!

Nos dias 6 e 7 de dezembro teve lugar em CIÊNCIAS, a 223.ª edição do Talent Bootcamp que contou com 195 bootcampers inscritos, 107 alunos de CIÊNCIAS e também 174 profissionais de 119 empresas.

O escalo-do-sado foi identificado como uma espécie endémica da bacia do Sado

Sofia Mendes, doutoranda de CIÊNCIAS, no Centro de Ecologia, Evolução e Alterações Ambientais (CE3C), é a principal autora do artigo científico publicado recentemente que revela a descoberta de uma nova espécie de peixe de água doce.

João Sequeira na oficina do Cientista Regressa à Escola.

No dia 5 de dezembro, João Sequeira visitou a Escola Básica São João de Brito, escola onde estudou, e uma outra, a Escola Básica Teixeira de Pascoais, para ensinar alunos de duas turmas do 4.º ano tudo sobre a magia de fazer simulações em computador.

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.

Páginas