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

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é.

Será a ética determinante na sustentabilidade de uma sociedade de consumo? Este é o tema aborado por Sofia Guedes Vaz, no dia 22 de junho, pelas 17h30, no MUHNAC-ULisboa.

O que fazem e o que pensam alguns membros da comunidade de Ciências? O Dictum et factum de junho é com Nuno Rato, coordenador do Gabinete de Orçamento e Prestação de Conta da Direção Financeira e Patrimonial de Ciências.

Ao longo do ano são muitos os alunos dos ensinos básico e secundário que visitam a Faculdade. Este ano letivo cerca de 63 estudantes, entre os 9 e 10 anos, da Escola Básica Maria Lamas, em Odivelas, conheceram os Departamentos de Biologia Animal, Biologia Vegetal e Química e Bioquímica.

A empresa Surftotal associou-se ao Instituto Dom Luiz e à Faculdade de Ciências da Universidade de Lisboa, num projeto que visa testar a utilização de surfcams instaladas na costa portuguesa para melhor monitorização costeira.

“É um jogo que trabalha consistentemente o raciocínio e a capacidade de prever os acontecimentos, muito como no xadrez. Para além disso, ajuda nas relações interpessoais, visto que é um jogo de parceiros e é necessário muita confiança mútua para ter sucesso”, reforça Afonso Ribeiro, aluno do 1.º ano de Matemática Aplicada, membro do curso de Bridge da FCUL.

O concurso de programação do Departamento de Informática recebeu 45 participantes, alunos do ensino secundário, na edição de 2017.

Hoje em dia quando se fala de imaginação (criatividade, inovação) queremos dizer, na maior parte dos casos, antecipação e surpresa. Um empresário, um investigador, um professor querem captar a atenção do outro, inventando e brincando com o possível ou o provável. Por isso, falamos frequentemente de criar imagens, ideias, ou mesmo histórias (veja-se o tópico criatividade computacional, e o grupo de Amílcar Cardoso da Universidade de Coimbra).

O Air4, um protótipo para medição de gases indicadores da qualidade do ar, associado a um modelo de análise de mapas e a uma aplicação mobile, ficou em 2.º lugar no 1.º Hackathon de Tra

No Dia da Criança Galopim de Carvalho lança “O Avô e os Netos Falam de Geologia”, editado pela Âncora Editora e apresentado durante a Feira do Livro de Lisboa.

Foi em setembro do ano passado que a HortaFCUL decidiu abraçar o projeto de ajudar a construir uma Horta Pedagógica na Escola Básica de Santo António em Alvalade, em parceria com Direção e Associação de Pais da Escola e apoiado pelo programa de estímulo à aprendizagem financiado pela Gulbenkian.

Miguel Centeno Brito, professor do DEGGE, foi um dos participantes das II Jornadas da Energia, que ocorreram em abril passado, tendo sido um dos convidados do programa da Rádio Renascença Insónia.

Este ano as Jornadas celebraram a efeméride dos 35 anos da criação da licenciatura em Química Tecnológica.

 É necessário estabelecer redes de monitorização mais robustas e de larga escala para avaliar o impacto das alterações climáticas e da poluição atmosférica na Bacia do Mediterrâneo, refere comunicado de imprensa do cE3c - Centro de Ecologia, Evolução e Alterações Ambientais.

A primeira abordagem a uma reconstituição tridimensional da circulação atmosférica de Vénus pode ser lida no artigo “Venus's winds and temperatures during the MESSENGER's flyby: An approximation to a three-dimensional instantaneous state of the atmosphere”, publicado na Geophysical Research Letters.

O ano passado “The Sphere of the Earth” integrou a exposição “Formas & Fórmulas”, patente no Museu Nacional de História Natural e da Ciência. De lá para cá e por sugestão de José Francisco Rodrigues, um dos comissários desta mostra, Daniel Ramos começou a atualizar o referido programa tornando-o ainda mais rico em termos de funcionalidades e design, com uma multitude de visualizações cartográficas e da geometria da esfera e pela primeira vez em Português. Assim surgiu Mappae Mundi.

Páginas