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
Formações C-Academy

É já em setembro que o campus de CIÊNCIAS vai ser palco de duas formações do programa ‘C-Academy - Formação Avançada em Cibersegurança’ do Centro Nacional de Cibersegurança.

Membros do Ciências em Harmonia (C-H), o projeto pioneiro de CIÊNCIAS para promoção do bem-estar entre alunos

O Ciências em Harmonia (C-H), projeto pioneiro de CIÊNCIAS, teve direito a destaque na edição de 23 de julho do jornal Público.

Ser Cientista 2024

Entre 22 e 26 de julho, 67 alunos do ensino secundário têm a oportunidade experienciar, durante uma semana, o que é ser cientista e como é o ambiente de investigação.

Licenciaturas CNA 2024

Vem definir o teu futuro e descobre o que temos preparado para ti. Candidata-te a CIÊNCIAS ULisboa!

Banner Prémio de Doutoramento em Ecologia - Fundação Amadeu Dias

Já são conhecidos os vencedores da edição 2024 do Prémio de Doutoramento em Ecologia - Fundação Amadeu Dias, organizado pela Sociedade Portuguesa de Ecologia (SPECO).

Jorge Buescu, professor do Departamento de Matemática (DM) de CIÊNCIAS, reeleito Vice-Presidente da European Mathematical Society (EMS)

Jorge Buescu, professor do Departamento de Matemática (DM) de CIÊNCIAS, foi reeleito Vice-Presidente da European Mathematical Society (EMS).

Verão na ULisboa em CIÊNCIAS

Foi com um sorriso na cara e com vontade de um dia regressarem, que os estudantes do programa Verão na ULisboa deixaram o campus de CIÊNCIAS, após as cerimónias de entrega de diplomas que decorreram nos dias 5 e 12 de julho.

Assinatura do Protocolo com a REDCORP

o passado dia 9 de julho a Direção de CIÊNCIAS assinou um protocolo de cooperação com a REDCORP, empresa de empreendimentos mineiros responsável pelo Projeto Lagoa Salgada.

CIÊNCIAS assinA um protocolo de colaboração com a Raiz Vertical Farms nas instalações de CIÊNCIAS, tendo sido assinado pelo Diretor da faculdade, Luís Carriço, e pela co-fundadora da startup Rede Vertical Farms, Inês Barros.

CIÊNCIAS assinou um protocolo de colaboração com a Raiz Vertical Farms, com o objetivo de instalar uma horta vertical no campus da faculdade.

Equipa do CSD Lab do BioISI

Uma equipa de investigadores do Laboratório de Estrutura e Dinâmica Celular (CSD Lab) do Instituto de Biossistemas e Ciências Integrativas (BioIS

Diogo Rodrigues Fernandes

Diogo Rodrigues Fernandes, doutorando de CIÊNCIAS e investigador no Centro de Ecologia, Evolução e Alterações Ambientais (

Banner O Planeta Vivo

“Temos este mundo, ou nada. E temos um grande problema se não entendermos o planeta que queremos salvar.” Esta citação de Carl Sagan é o mote do documentário ‘O Planeta Vivo’, que estreou no passado dia 3 de julho na RTP.

Vista Aérea do Observatório do Paranal

O Observatório do Paranal, no deserto do Atacama no Chile, que faz parte do Observatório Europeu do Sul (ESO), vai receber em 2025 um telescópio made in Portugal para observar o Sol.

Nuno Gonçalves e Inês Leite posam com os prémios junto aos restantes investigadores do Instituto de Astrofísica e Ciências do Espaço (IA)

Nuno Gonçalves e Inês Leite, estudantes de CIÊNCIAS, foram premiados na SPIE Astronomical Telescopes + Instrumentation, a maior conferência internacional sobre instrumentação para a Astronomia.

Ranking de Leiden: Há três áreas de investigação de CIÊNCIAS em que a ULisboa é líder nacional

A Universidade de Lisboa (ULisboa) está em primeiro lugar a nível nacional em três áreas de produção científica de CIÊNCIAS no reputado CWTS Leiden Ranking: Ciências da Vida e da Terra, Matemáti

Banner Curso PRODIGI

A partir de 2025 a Universidade de Lisboa em parceria com o Instituto Politécnico de Lisboa, vai disponibilizar uma nova formação online em competências digitais.

 

Inês Fragata, Margarida Matos, Sara Magalhães e Cristina Máguas.

CIÊNCIAS inaugura hoje oficialmente a infraestrutura laboratorial de investigação - Unidade de Evolução Experimental.

Imagem alusiva ao Deep Tech Talent Initiative (DTTI), um programa do European Institute of Innovation and Technology (EIT)

O Mestrado em Bioestatística de CIÊNCIAS foi acreditado pela Deep Tech Talent Initiative (DTTI), um programa do European Institute of Innovation and Technology (EIT).

Dois professores de CIÊNCIAS eleitos sócios da Academia das Ciências de Lisboa

Pedro Miguel Duarte e Luís Eduardo Neves Gouveia, professores de CIÊNCIAS, foram eleitos sócios da Academia das Ciências de Lisboa.

O Centro de Congressos da Alfândega do Porto é o palco da edição de 2024 do Encontro Ciência.

Luís Carriço (Diretor de CIÊNCIAS) e Carlos Martins (Presidente da EPAL) junto a um dos novos bebedouros.

A Faculdade de Ciências da Universidade de Lisboa aderiu ao desafio da EPAL - Empresa Portuguesa das Águas Livres de consumir Água da Torneira nas suas áreas comuns, representando mais um compromisso com o Ambiente e com

 Rodrigo Freitas, Francisco Graça e Diogo Ávila no Pódio dos 3000 metros obstáculos no Campeonato Nacional Universitário de Pista ao Ar Livre

Rodrigo Freitas, estudante de CIÊNCIAS, sagrou-se bicampeão no Campeonato Nacional Universitário (CNU) de Atletismo Pista Ar Livre.

Desde ontem que CIÊNCIAS dispõe de um novo espaço: o Lounge C7!

Carolina Margarido, Catarina Lima e Raquel Costa seguram o prémio de primeiro lugar na segunda fase do Future Innovators Program da Unicorn Factory Lisboa

Carolina Margarido, Catarina Lima e Raquel Costa venceram a segunda fase do Future Innovators Program da Unicorn Factory Lisboa

Páginas