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
Ilustração de animais

A Âncora Editora define-se como uma editora generalista, que tem vindo a dedicar-se, sobretudo, à publicação de autores portugueses. Até agora A. M. Galopim de Carvalho é o autor com o maior número de livros editados.

O projecto de investigação NAADIR que envolve a Faculade de Arquitectura da Universidade Técnica de Lisboa e a Faculdade de Ciências da Universidade de L

Átrio do C6

Para os SASUL ainda é prematuro avaliar o Programa Alimentação UL, cujo orçamento se estima ser na ordem dos 192.000,00 €.

Iain Mattaj, diretor-geral do EMBL

“Estou impressionado com a energia que existe na Faculdade e o número de pessoas que aqui trabalham. Acho que estão bem organizados para trabalhar em equipa!”, declara Iain Mattaj, diretor-geral do European Molecular Biology Laboratory, depois de visitar alguns dos laboratórios da FCUL.

Logotipo da inicativa Programa Alimentação UL

O Menu Estudante custa 2,40€ e inclui sopa, prato principal, sobremesa, pão e bebida. A partir de fevereiro o Espaço Estudante, localizado no edifício C6, também vai dispor de micro-ondas permitindo dessa forma o aquecimento de refeições.

Ester Luísa Rodrigues Dias, professora jubilada do extinto Departamento de Educação da FCUL, faleceu no dia 11 de fevereiro de 2013.

As ações de formação e de sensibilização em segurança e saúde do trabalho procuram divulgar conhecimentos teóricos e práticos de maneira a prevenir acidentes de trabalho e doenças profissionais, permitindo também  intervenções eficazes e eficientes em casos de emergência.

Sala de aula com alunos sentados e tomando notas

"Os estudantes da FCUL, incluindo os estudantes de licenciatura, dispõem do background e conhecimentos certos para participar nestes módulos", esclarece Nathalie Gontier, coordenadora do laboratório AppEEL e das respetivas Escolas de Inverno e de Verão.

Rosto de Vera Carvalho

As inscrições para o programa Erasmus terminam a 10 de fevereiro. Se tens interesse neste programa de mobilidade conhece a história de Vera Carvalho, aluna Erasmus na Dinamarca.

Pormenor de obra de arte

Para os fundadores do AppEEL, este laboratório pode ser considerado o primeiro centro no mundo a reunir investigadores que estudam a evolução sociocultural a partir das teorias que formam parte da Síntese Expandida.

 

O Departamento de Matemática recebeu ontem, dia  4 de Fevereiro, cerca de 70 alunos (9º ano) do  Agrupamento de Escolas D. Miguel de Almeida - Abrantes.

Entre os empregos mais bem pagos contam-se os que estão ligados às engenharias.

Capa

Esta coleção de Livros Brancos foi organizada pela META-NET, uma rede de excelência parcialmente financiada pela Comissão Europeia, que levou a cabo uma análise dos recursos e tecnologias da linguagem atualmente disponíveis. A análise abordou as 23 línguas oficiais europeias assim como outras línguas importantes na Europa a nível nacional e regional. 

O Prémio João Branco é uma iniciativa conjunta da Universidade de Aveiro e da família do designer Jo

Dia 4 Fevereiro 2013 – 14:00h às 19:30h (Sala 2.2.15)

Primeiro plenário do IPBES

Grupo liderado por Henrique Miguel Pereira, investigador do Centro de Biologia Ambiental da FCUL, submete à apreciação da comunidade científica o desenvolvimento de um sistema de monitorização da biodiversidade baseado num conjunto de variáveis essenciais.

Rosto de Maria Antónia Amaral Turkman

“Ao longo dos últimos dois séculos a Estatística foi indispensável em confirmar muitas das maiores descobertas científicas e inovações da humanidade, tais como a partícula bosão de Higgs e a Revolução Verde na agricultura”, declaram Daniel Paulino, presidente da Sociedade Portuguesa de Estatística e Maria Antónia Amaral Turkman, coordenadora do CEAUL.

Dois artigos -- contando com docentes e investigadores do GeoFCUL no seu elenco de autores -- assinalados no “TOP 25 Hottest Papers” de Abril-Junho de 2011 da revista Journal of South American Earth Studies (Sciencedirect / Elsevier).

Henrique Leitão foi eleito membro efetivo da Académie International d'Histoire des Sciences, pela relevância da sua carreira e produção intelectual. Para o historiador das ciências foi uma “honra enorme” receber a distinção, “a maior ambição de qualquer estudioso ou cientista”.

Proposal for a REGULATION OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL.

Laying down the rules for the participation and dissemination in 'Horizon 2020 – the Framework Programme for Research and Innovation (2014-2020).

EUA represents over 850 universities and university associations across 47 European countries. Its highly diverse membership covers the full spectrum of universities participating in European research programmes.

Vai realizar-se de 18 a 20 de Março de 2013, em honra do Professor Ross Leadbetter, o "Symposium on Recent Advances in Extreme Value Theory ".

Páginas