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
Participantes no laboratório

“A Química e os segredos de um chocolate perfeito”, “Olhando os átomos”, “A diversidade escondida dos oceanos: do microscópio ao DNA” e “As bactérias e a resistência a antibióticos” são só alguns exemplos dos projetos disponíveis no âmbito do

A Galeria Ciências é um espaço recente, dinâmico, polivalente, com grandes potencialidades.

José Pica

O que fazem e o que pensam alguns membros da comunidade de Ciências? O sétimo Dictum et factum é com José Pica, assistente técnico do Departamento de Biologia Vegetal de Ciências.

Crónica de Fernando Barriga e Sofia Martins, investigadores do IDL Ciências, em missão oceanográfica no Atlântico - TAG hydrothermal field.

A 2.ª corrida de carros solares tripulados em Portugal ocorre este sábado, 9 de julho de 2016, entre as 10h00 e as 14h00, no campus da Faculdade de Ciências da Universidade de Lisboa.

Gerson Miguel da Silva Lobo, estudante do 2.º ano do mestrado de Bioquímica, faleceu a 26 de junho de 2016. A Faculdade de Ciências da Universidade de Lisboa lamenta o triste acontecimento, apresentando as condolências aos familiares, amigos e colegas do Gerson Lobo.

A gestão das preferências tornou-se numa facilidade ao dispor do projetista e do programador, e o planeamento (relacionado com as ações ao longo do tempo) é capaz de transformar um problema como se de otimização se tratasse, sujeito a restrições, a objetivos múltiplos e a efeitos probabilísticos das ações.

Crónica de Fernando Barriga e Sofia Martins, investigadores do IDL Ciências, em missão oceanográfica no Atlântico - TAG hydrothermal field.

Galopim de Carvalho, um dos geólogos mais famosos de Portugal, natural de Évora, com quase 85 anos, regressa à Faculdade de Ciências da Universidade de Lisboa no próximo dia 27 de junho.

2016 está a ser um ano em cheio para alguns estudantes empreendedores e é essa a essência de que é feita a Júnior Empresa Ciências, que está agora a dar os primeiros passos.

Crónica de Fernando Barriga e Sofia Martins, investigadores do IDL Ciências, em missão oceanográfica no Atlântico - TAG hydrothermal field.

Em Londres, junto a St. Pancras´s International, está próximo de nascer um polo que agrupa a Google (e a DeepMind), o Francis Crick Institute, o Alan Turing Institute e a British Library (…) O arquiteto visa promover interações com serendipidade entre investigadores de terrenos divergentes.

Crónica de Fernando Barriga e Sofia Martins, investigadores do IDL Ciências, em missão oceanográfica no Atlântico - TAG hydrothermal field.

Inês Andrade

O que fazem e o que pensam alguns membros da comunidade de Ciências? O sexto Dictum et factum é com Inês Andrade, assistente técnico do Departamento de Biologia Animal de Ciências.

Um estudo publicado na revista internacional de conservação Oryx indica que a legislação e a proteção nas praias são insuficientes para travar a captura e o consumo ilegal de tartarugas marinhas em Cabo Verde.

Crónica de Fernando Barriga e Sofia Martins, investigadores do IDL- Ciências, em missão oceanográfica no Atlântico - TAG hydrothermal field.

A missão oceanográfica M127 iniciada a 25 de maio, em Bridgetown, Barbados, acontece a bordo do navio oceanográfico alemão RV METEOR e deverá terminar a 28 de junho de 2016, em Ponta Delgada.

José Guerreiro, professor da Faculdade de Ciências da Universidade de Lisboa e coordenador da MARE STARTUP e Sónia Ribeiro, professora da Universidade Católica Portuguesa, apresentam o programa de apoio ao empreendedorismo na área do mar durante a Oceans Business Week.

InovCarbon, Janus e o BreatheBio são os vencedores da segunda edição da Call for Projects do ScienceIN2Business.

Nos últimos anos a saída de quadros superiores seniores e de cientistas de Portugal acompanhou uma grande vaga de emigração, sobretudo para a Europa.

O tema deste ano é “A ciência não é só dos cientistas”.

Se a última Noite de Ciências foi dedicada ao Trânsito de Mercúrio e ao sistema solar, em maio é a vez do bosão de Higgs ganhar destaque.

Alunos da Faculdade agitam no ar fitas de fim de curso

A Alameda da Universidade de Lisboa voltou a encher-se de finalistas de Ciências e de tantas outras faculdades e universidades. Este ano a cerimónia ocorreu no dia 21 de maio de 2016. Para alguns este é um acontecimento especial - é que "há momentos que marcam a vida", por isso mesmo merecem ser recordados.

“A poor international standard for trap selectivity threatens carnivore conservation” - um estudo publicado online a 2 de maio de 2016 na revista “Biodiversity and Conservation” - revela falhas graves nas normas que regulam a legalidade de armadilhas para captura de carnívoros.

A 2.º edição da Escola de Verão de Energia da Faculdade de Ciências da Universidade de Lisboa acontece entre 27 de junho e 1 de julho de 2016. As candidaturas já abriram e terminam a 31 de maio.

Páginas