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
José Ribeiro, Pedro Machado e João Dias

Um estudo do IA Ciências ULisboa analisa observações da luz infravermelha dos planetas Vénus, Marte e Júpiter comparando-as com simulações do Planetary Spectrum Generator. Artigo inclui entrevista com o autor principal do artigo, alumnus da Faculdade.

Musaranho

O musaranho-de-dentes-brancos (Crocidura russula) está em expansão na Europa e foi identificado como tendo um carácter invasor em algumas ilhas, nomeadamente na Irlanda.Segundo comunicado de imprensa pulicado esta segunda-feira no EurekAlert!, a descoberta é feita por um grupo de investigadores do CESAM Ciências ULisboa e do Institute of Environmental Biology da Adam Mickiewicz University, na Polónia.

Mesa de trabalho com computador e utilizador

O redesenho do portal é um projeto da responsabilidade da Direção, Direção de Serviços Informáticos, Gabinete de Gestão de Informação e Departamento de Informática (DI). No âmbito desta iniciativa, Carlos Duarte, professor do DI Ciências ULisboa e membro da equipa, convida os utilizadores do portal a participar num breve estudo.
 

ETAR

A eficiência de remoção da carga do vírus responsável pela COVID-19 nos processos de tratamento das águas residuais em Estações de Tratamento de Águas Residuais (ETAR) é uma das conclusões mais relevantes do projeto de investigação SARS Control.

microscópio

Ciências ULisboa participou na Semana Internacional do Cérebro com palestras e demonstrações em laboratório. A cientista Diana Cunha-Reis destaca a importância da atividade no que diz respeito à partilha da interdisciplinaridade existente na Faculdade junto de alunos do ensino secundário.

Sara Carvalhal no laboratório

Sara Carvalhal, investigadora no Algarve Biomedical Center Research Institute, na Universidade do Algarve, e alumna da Ciências ULisboa, é uma das quatro jovens cientistas portuguesas distinguidas na 18.ª edição das Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência.

painel de oradores e participantes

Ciências ULisboa recebeu a visita de uma delegação de representantes do ISIS Neutron & Muon Source, um laboratório pertencente ao Science and Technology Facilities Council, localizado em Oxfordshirek, no Reino Unido, e considerado de excelência a nível mundial.

Fotografia do edifício C2 Ciências ULisboa

Os membros do Conselho de Escola e do Conselho Científico da Ciências ULisboa tomaram posse esta quarta-feira, dia 23 de março, na sequência do processo eleitoral ocorrido em fevereiro e março deste ano. Para mais informações sobre as competências destes órgãos, sugere-se a consulta dos estatutos da Faculdade.

Edna Correia com uns binóculos a olhar para o horizonte

Edna Correia, investigadora do Centro de Estudos do Ambiente e do Mar (CESAM), doutorada em Biologia e Ecologia das Alterações Globais pela Ciências ULisboa, é uma das quatro jovens cientistas portuguesas distinguidas na 18.ª edição das Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência.

Tubarão

A iniciativa de cidadania europeia “Stop Finning – Stop the Trade” tem como objetivo o término da União Europeia como uma importante plataforma de trânsito para o comércio mundial de barbatanas. "Face à atual legislação, o finning foi vetado em 2003. Porém, o massacre continua", escreve Madalena Sottomayor, aluna de mestrado em Biologia da Conservação da Ciências ULisboa.

trevos-brancos

Um estudo - colaborativo e sem precedentes -, liderado por biólogos evolucionistas da Universidade de Toronto Mississauga, no Canadá, capa da Science esta sexta-feira, dia 18 de março, mostra como a urbanização está a influenciar a evolução de plantas no mundo. A investigação desenvolveu-se no âmbito do Global Urban Evolution Project e contou com a participação de quase 300 investigadores e estudantes universitários, entre eles membros da Ciências ULisboa e do Centro de Ecologia, Evolução e Alterações Ambientais.

planta e ácaros

Inês Fragata, investigadora do Departamento de Biologia Animal da Ciências ULisboa e do grupo de Ecologia Evolutiva do Centro de Ecologia, Evolução e Alterações Ambientais, é uma das cientistas distinguidas com uma bolsa do European Research Council (ERC) Starting, no valor de cerca de 2M€, no âmbito do projeto “Feedback entre a dinâmica populacional e a evolução das interações num sistema tritrófico” (DYNAMICTRIO).

João Vieira e Ivo Canela

Na Póvoa, no Cadaval, distrito de Lisboa, João Vieira, octogenário, emigrante, técnico agrícola e um entusiasta da Agroecologia, lidera um grupo informal que promove variedades crioulas de sementes, que têm vindo a desaparecer desde a sua juventude. Ivo Canelas com Rebeca Mateus, da HortaFCUL, escrevem sobre a necessidade de adotar técnicas agrícolas mais eficientes, combatendo a monopolização da agricultura.

Participantes na EVT 2013, que também tinham participado no Encontro do Vimeiro em 1983

"Ross Leadbetter era amigo verdadeiro dos seus amigos, entre os quais me encontro, e é um dos gigantes da área de Valores Extremos (...)", escreve Maria Ivette Leal de Carvalho Gomes, professora emérita do DEIO Ciências ULisboa, na sequência do falecimento do professor emérito da University of North Carolina at Chapel Hill e doutor honoris causa da ULisboa.

Formação da zona de subducção de Vanuatu

Uma equipa de investigadores do Instituto Dom Luiz da Ciências ULisboa em parceria com cientistas da Universidade Johannes Gutenberg (JGU), em Mainz, na Alemanha, apresenta uma nova perspetiva para o início das zonas de subducção, contribuindo dessa forma para um maior conhecimento da teoria da tectónica de placas.

Marta Temido a dar a medalha a Manuel Carmo Gomes

Manuel Carmo Gomes, professor da Ciências ULisboa, foi um dos especialistas distinguidos com a Medalha de Serviços Distintos – grau Ouro do Ministério da Saúde. A distinção foi atribuída pela ministra da Saúde, Marta Temido, em reconhecimento pelo trabalho desenvolvido no âmbito da resposta à COVID-19.

pessoas a acenar na FCULresta

"Há um ciclo solar transformámos um relvado de 315 m2 no que pretende ser uma minifloresta densa e biodiversa. O que podemos observar passado o primeiro ano? Haverá motivos para celebrar a FCULresta?". Passado um ano desde o lançamento da primeira semente, os membros do projeto fazem um balanço de todo o processo.

Escola de Inverno na Macedónia do Norte

O cientista Tiago Guerreiro foi um dos oradores da “Winter School on e-Health & Pervasive Technologies”, a primeira escola de inverno do projeto WideHealth, e que contou com uma competição de Machine Learning, composta por 11 equipas e na qual o grupo da Faculdade alcançou o 4.º lugar e uma menção honrosa.

Logotipo da rubrica radar Tec Labs

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

Maria Helena Garcia e Andreia Valente no laboratório

A Something in Hands - Investigação Científica Lda. (R-Nuucell), spin-off da Ciências ULisboa, vai receber um financiamento de €75.000 para desenvolver um novo medicamento para o cancro de mama triplo negativo.

professor Miguel Centeno Brito e paineis solares no telhado da faculdade

A Schweizer Radio und Fernsehenv, uma emissora de radiotelevisão suíça, esteve em Portugal e conversou com o professor Miguel Centeno Brito sobre energia solar e transição energética em Portugal.

Rita Pestana

Rita Pestana é aluna do 2.º ano do mestrado em Engenharia Física e em março inicia um estágio no Centro de Microanálises de Materiais, em Madrid, no âmbito do seu curso e ao abrigo do Marie Sklodowska-Curie Fellowship Programme da Agência Internacional de Energia Atómica.

Obras no campus da Faculdade

Ciências ULisboa prepara-se para concluir a última fase da requalificação das condutas de distribuição de água aos seus edifícios. Este projeto da responsabilidade do Laboratório Vivo para a Sustentabilidade irá contribuir para a diminuição da pegada ambiental da Faculdade e deverá possibilitar uma poupança significativa das despesas de funcionamento associadas ao consumo de água potável.

Conceção artística da superfície de Vénus

Um estudo publicado na revista Atmosphere, liderado por Pedro Machado, professor do DF Ciências ULisboa e investigador do IA, apresenta o conjunto de medições mais detalhado e completo alguma vez feito, de um observatório na Terra, das velocidades dos ventos em Vénus paralelos ao equador e à altitude da base das nuvens.

Abstrato dourado

A 26.ª edição dos Prémios da Associação Portuguesa de Museologia galardoou “Hortas de Lisboa. Da Idade Média ao século XXI” com o Prémio Exposição Temporária e “Almada Negreiros e o Mosteiro da Batalha – quinze pinturas primitivas num retábulo imaginado” com uma Menção Honrosa do Prémio Investigação.

Páginas