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

O que fazem e o que pensam alguns membros da comunidade de Ciências? O Dictum et factum de agosto é com Cristina Manessiez, técnica superior da Biblioteca de Ciências.

Investigadores de Ciências e do Instituto Universitário de Lisboa desenvolvem hardware capaz de resolver tarefas robóticas, em contexto real, em menos tempo do que o alcançado até então. Os resultados foram publicados na revista científica Royal Society.

Em 2017 os Prémios Científicos ULisboa/Caixa Geral de Depósitos foram atribuídos a Vladimir Konotop e Ricardo Trigo. O ano passado foi a vez de Henrique Cabral e Eric Font. Ainda não é conhecida a data da cerimónia pública de entrega das referidas distinções.

Na lista de artigos e livros notáveis da ACM Computing Reviews, a Best of Computing, encontram-se publicações de professores e investigadores do Departamento de Informática de Ciências.

grupo de participantes

Alunos do ensino secundário participaram em projetos de investigação na Faculdade de Ciências da ULisboa. O culminar da atividade deu-se com um Congresso Científico, onde os "novos cientistas" apresentaram os resultados do trabalho realizado.

A palestra "Por que não anda o tempo para trás?” acontece dia 29 de julho, pelas 21h30, no Planetário Calouste Gulbenkian, Centro Ciência Viva de Belém.

Durante duas semanas, estudantes do ensino básico e secundário conheceram o ambiente da Faculdade e os métodos de trabalho dos cursos aqui lecionados.

“Tina dos Tsunamis” ocorreu no passado dia 29 de junho, durante o campo de férias Exploradores, com um grupo de 25 crianças, entre os 7 e os 14 anos do bairro do 2.º Torrão, em Almada.

Para compreendermos as capacidades de cada um de nós é preciso entender como as células nervosas se comportam e como interatuam entre si, isto é, pode sempre existir uma outra hipótese que consiga explicar um pouco mais. E, existem sempre os factos e as interpretações.

A Faculdade de Ciências da Universidade de Lisboa organiza de 24 a 28 de julho de 2017 a 4.ª edição do “Ser Cientista”.

No próximo ano letivo Ciências apresenta três novos cursos: Biologia dos Recursos Vegetais, Cultura Científica e Divulgação das Ciências e Data Science.

Preparado para mineração nos fundos marinhos profundos? E para viver sem telemóvel? Venha visitar a exposição Mar Mineral e compreender a relação.

O que fazem e o que pensam alguns membros da comunidade de Ciências? O Dictum et factum de julho é com Andreia Santos, técnica superior do Gabinete de Apoio Psicopedagógico (GAPsi) da Área de Mobilidade e Apoio ao Aluno de Ciências.

O primeiro mestrado em Gestão e Governança Ambiental da Universidade Agostinho Neto foi frequentado por 24 alunos. Os primeiros dez estudantes apresentaram as teses em maio, numa cerimónia que contou com a presença de Maria de Fátima Jardim, ministra de Ambiente de Angola. As próximas defesas deverão ocorrer em outubro.

Em 2017, o Prémio Bronstein foi atribuído a Mercedes Martín-Benito, investigadora do Instituto de Astrofísica e Ciências do Espaço e da Faculdade de Ciências da Universidade de Lisboa, em reconhecimento pelo seu importante contributo para a Cosmologia Quântica em Loop.

Em 2017 a Faculdade de Ciências da Universidade de Lisboa acolhe o IV Encontro Internacional da Casa das Ciências, que ocorre entre 10 e 12 de julho.

“Foi um tempo para ficar apaixonada pelo estudo, investigação, conhecimento e sua aplicação na nossa vida diária”, conta a antiga aluna de Ciências, professora de Biologia e Geologia na Escola na Escola Secundária de Raul Proença, em Caldas da Rainha, Maria de Matos.

Ciências fez parte do roteiro da viagem de finalistas de uma turma de 9.º da Escola Básica Integrada Francisco Ferreira Drummond.

A unidade curricular Projeto Empresarial contou, em 2017, com a participação de nove alunos de mestrado de Ciências e 38 alunos da licenciatura de Finanças do ISCTE-IUL. Na sessão final de apresentação dos trabalhos desenvolvidos, o projeto Ecovital distinguiu-se.

Se olharmos bem para os seres humanos, capazes de sentir, pensar e sonhar, de criar, interpretar e compreender ideias, teorias e conceitos, perguntamos como a matéria de que são feitos foi então capaz de dar origem a estados mentais, incluindo mesmo a faculdade de consciência? A resposta a esta questão está cada vez mais ao alcance da consiliência (síntese), entre as neurociências, a psicologia, a robótica, e a inteligência artificial (aprendizagem).

Novo estudo com recurso a análises genéticas revela que o sapo-asiático que está a invadir a ilha de Madagáscar terá origem numa população do Camboja e Vietname.

“Ao transformarmos o problema dos resíduos orgânicos, numa oportunidade para  melhorarmos o solo do campus de Ciências, ou seja, a matriz que suporta a vida, estamos a melhorar as plantas que aqui crescem com externalidades positivas para o ambiente”, declara David Avelar, guardião da HortaFCUL.

Exposição de design inclui projetos de comunicação de ciência, fruto de uma parceria entre o Instituto de Astrofísica e Ciências do Espaço e a Faculdade de Belas-Artes da Universidade de Lisboa.

Miguel Morgado-Santos, doutorando de Ciências, descobriu um peixe apenas com genes de pai, da espécie bordalo (Squalius alburnoides). Este é o primeiro caso de androgénese natural em vertebrados, sem qualquer manipulação durante o processo de reprodução.

Mafalda Carapuço continua a falar sobre a onda da Nazaré. Em maio passado esteve na Biblioteca São Francisco Xavier, com uma turma do 2.º ano da Escola Moinhos do Restelo. Este mês participou no colóquio "Nazaré e o Mar", ocorrido na Biblioteca Municipal da Nazaré.

Páginas