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
Anfiteatro Ciências ULisboa

Cerca de 70 alunos do 9.º ano da Saint Dominics' International School participaram numa mesa-redonda e ficaram a saber um pouco mais sobre as áreas de Matemática, Matemática Aplicada, Estatística Aplicada, Informática, Engenharia Geoespacial e Bioquímica.

C7

Após o evento de 12 de fevereiro, que antecedeu o Flash Mob Tabela Periódica Humana de Ciências ULisboa estão programadas duas tertúlias sobre a tabela periódica com os cientistas Raquel Gonçalves Maia e Miguel Castanho, respetivamente nos dia 10 de abril e 9 de maio.

Cruz

Fernando Roldão Dias Agudo, jubilado de Ciências ULisboa desde o ano de 1996, faleceu no passado dia 23 de fevereiro. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos familiares, amigos e colegas de Fernando Roldão Dias Agudo.

Reitoria ULisboa

Em 2018 os Prémios Científicos ULisboa/Caixa Geral de Depósitos foram atribuídos aos investigadores de Ciências ULisboa Cristina Branquinho, Francisco Couto, Nuno Araújo e Pedro Antunes. A edição de 2018 do Prémio Científico ULisboa/ Santander Universidades também distinguiu a professora Carla Silva.

Logotipo

Sentiu o sismo de 28 de fevereiro de 1969? Conhece relatos desse acontecimento? Se as respostas forem afirmativas, então responda ao inquérito macrossísmico nacional por ocasião dos 50 anos sobre o grande sismo de 1969, lançado este mês pelo Instituto Português do Mar e da Atmosfera,Instituto Superior Técnico, Ciências ULisboa e Instituto Dom Luiz.

Ciências ULisboa e Milestone Consulting assinam protocolo

Ciências ULisboa e a Milestone Consulting assinaram recentemente um protocolo de cooperação para a atribuição de um Prémio para o Melhor Aluno do 1.º ano do Mestrado em Matemática.

Curso de campo do IFiT

O primeiro Curso de Campo do Projeto IFiT integrado no Programa Erasmus+ realiza-se entre 20 de maio e 2 de junho de 2019, em Aljezur, na Costa Vicentina. As candidaturas ao Student Project Week terminam a 4 de março.

C2

Cerca de 45 alunos do 11.º ano conheceram o Microscópio Eletrónico de Varrimento e participaram na palestra "Imagem Médica: Como a Física permite ver o interior do corpo humano".

Pessoas

"Umas das primeiras etapas para o estabelecimento de limites é tomar consciência e reconhecer as suas próprias necessidades e sentimentos para que, de forma saudável possa cuidar delas nas relações", aconselha a psicóloga Andreia Santos.

Composição de uma imagem de Vénus obtida no infravermelho com a Via Láctea em fundo

A investigação liderada por Javier Peralta, da missão japonesa Akatsuki, teve a participação de Pedro Machado, professor do Departamento de Física de Ciências ULisboa e investigador do Instituto de Astrofísica e Ciência do Espaço.

O papel da alimentação na microbiota intestinal

"Tanto os probióticos como os prebióticos têm demonstrado melhorar os biomarcadores associados ao cancro colon retal e, relativamente à Síndrome do Intestino Irritável, a evidência refere que os probióticos têm um papel importante no alivio dos sintomas e qualidade de vida dos doentes", escreve a nutricionista Maria Inês Antunes.

Geocachers, cache e tritão-marmoreado-pigmeu

O geocaching é utilizado pela primeira vez como indicador para avaliar os serviços culturais prestados pelos ecossistemas. Inês Teixeira do Rosário, investigadora do cE3c, doutorada em Ecologia por Ciências ULisboa, é a primeira autora do artigo da Ecological Indicators.

Catarina Frazão Santos

A apresentação de Catarina Frazão Santos durante a ICES ASC 2018 valeu-lhe o Best Early Career Scientist Presentation Award. O tema da apresentação corresponde ao projeto de investigação por si coordenado e que termina em 2021.

Protosmia lusitanica

Sabia que em Portugal existe uma nova espécie de abelha? Chama-se Protosmia lusitanica e até agora apenas se conhece um único exemplar, uma fêmea coletada por Ana Gonçalves, na primavera de 2016, no Parque Natural do Vale do Guadiana, nas margens do Rio Vascão, em Mértola.

Susana Custódio preside à Comissão Executiva do ORFEUS - Observatories & Research Facilities for European Seismology, integrado no EPOS - European Plate Observing System.

Detalhe da função de onda calculada para a espécie ativa do catalisador

Nuno A. G. Bandeira modelou computacionalmente as propriedades eletroquímicas de óxidos de molibdénio. O investigador da Universidade de Lisboa pretende continuar a estudar moléculas originais e interessantes seja qual for a sua finalidade. “A tabela periódica ainda tem muito para nos dizer”, diz o cientista.

Floresta Laurissilva

Estudo de fósseis revela a extinção de uma árvore da família do chá que se encontrava presente há 1,3 milhões de anos na ilha da Madeira. Carlos A. Góis-Marques, aluno de doutoramento em Geologia, é um dos autores desta investigação.

Janela triangular

É o mecanismo mimético que nos permite interatuar uns com os outros, compreender os sentimentos dos amigos, e viver a compaixão e a empatia”, in Campus com Helder Coelho.

Livro aberto

Ao todo estão previstas sete sessões, com pelo menos um orador convidado. Em cada uma delas Dinis Pestana falará sobre livros que estejam relacionados com o tema em análise. O objetivo é conquistar leitores, sobretudo entre os estudantes universitários.

“Aceitar que por vezes se falha, que podemos não ter a aprovação dos outros e aceitar as consequências das tomadas de decisão, pode inicialmente ser mais desconfortável, mas acarreta consigo uma maior sensação de responsabilidade e liberdade na vida”, escreve na rubrica habitual a psicóloga do GAPsi, Andreia Santos.

Vista aérea da zona de cultivo no PermaLab, no campus de Ciências ULisboa

O primeiro estudo científico desenvolvido no PermaLab – um laboratório vivo de permacultura, situado no campus de Ciências ULisboa, será publicado no volume 212 da edição de março de 2019 do Journal of Cleaner Production, reforçando dessa forma a importância dos laboratórios vivos no contexto universitário.

“O desenvolvimento de uma missão astronómica espacial é uma aventura demorada, que, nos casos mais complexos, pode demorar mais de duas décadas. Com o Athena estamos envolvidos neste processo desde os primeiros passos, tendo ajudado a construir a proposta ‘vencedora’”, conta José Afonso, que lidera a participação portuguesa na missão Athena, prevista para 2031.

Projeto de Sismologia nas Escolas do Instituto Dom Luiz

Guilherme Weishar apresenta-nos o projeto de Sismologia nas Escolas do Instituto Dom Luiz e que tem uma componente de citizen science.

Wani na Indonésia

Objetivo da missão dos investigadores do IDL Ciências ULisboa e do IPMA?! Melhorar a caracterização do tsunami de 28 de setembro de 2018, de modo a desenvolver técnicas e programas de mitigação destes fenómenos naturais.

Ricardo Honório

Cernorium é o canal YouTube de Ricardo Honório, aluno do mestrado integrado em Engenharia Física de Ciências ULisboa. O projeto tem já disponível o primeiro episódio e é a “concretização de uma ideia antiga que procura aliar a paixão pela Física com algum humor.

Páginas