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
Margarida Amaral

Margarida Amaral, diretora do BioISI e professora no Departamento de Química e Bioquímica de Ciências ULisboa, proferiu duas palestras na Johns Hopkins University School of Medicine em Baltimore, nos EUA, sobre terapêutica personalizada da Fibrose Quística, nos passados dias 6 e 7 de março de 2019.

ETAR de Faro Noroeste

Uma equipa de Ciências ULisboa e do Laboratório Nacional de Engenharia Civil foi distinguida com o Prémio WEX Global 2019 “Inovação em Tecnologia” pela produção sustentável de novos carvões ativados a partir de cascas de pinhão e sua aplicação na remoção de compostos farmacêuticos em estações de tratamento de águas residuais urbanas.

Mohan Munashinghe em Ciências ULisboa

O Prémio Nobel da Paz em 2007 – Mohan Munashinghe - na época vice-presidente do Painel Intergovernamental para as Alterações Climáticas (IPCC), das Nações Unidas -, esteve em Ciências ULisboa no passado dia 15 de março.

Tarifa, sul de Espanha, província de Cádiz

“Recomendamos que as autoridades reconheçam este impacto alargado da produção de energia eólica e estabeleçam novas medidas reguladoras a aplicar em áreas importantes para a migração de aves planadoras que permitam conciliar a produção de energia eólica com a conservação da vida selvagem”, diz Ana Teresa Marques, estudante de doutoramento em Biodiversidade, Genética e Evolução e primeira autora do artigo “Wind turbines cause functional habitat loss for migratory soaring birds”, publicado no Journal of Animal Ecology.

Nélson Pinto

A Glintt - Global Intelligent Technologies conta já com mais de 1050 colaboradores, entre eles alguns ex-alunos de Ciências ULisboa, como é o caso de Nélson Pinto, licenciado em Engenharia Informática e mestre em Engenharia Informática, especialização em Sistemas de Informação. Leia o seu testemunho, fique a par das vantagens do curso e de como é que é trabalhar nesta empresa, que opera a partir de dez escritórios, sediados em seis países - Portugal, Espanha, Reino Unido, Irlanda, Angola e Brasil.

IEEE

​Nuno Neves, professor do Departamento de Informática de Ciências ULisboa, foi eleito vice-presidente do IEEE Technical Committee on Dependable Computing and Fault Tolerance (TCFT). A tomada de posse ocorreu este mês e o mandato tem a duração de dois anos. Na sequência desta eleição, Nuno Neves tomará posse como presidente do IEEE TCFT em 2021, por um período de dois anos.

Pavilhão do Conhecimento

A Ciência Viva volta a homenagear as mulheres cientistas portuguesas, destaque para as personalidades de Ciências ULisboa - Cristina Branquinho, Cristina Máguas, Diana Prata, Margarida Santos-Reis, Margarida Telo da Gama,Maria Ivette Gomes e Vanda Brotas.

Lucanus cervus macho

Pela primeira vez em Portugal continental realiza-se um plano de inventariação sistemática de insetos. Um grupo de entomólogos iniciou a 9 de março, o primeiro trabalho de campo, na costa sudoeste e barlavento algarvio. A primeira sessão pública ocorre no dia 24 de março, na Estação de Biodiversidade de Mértola.

tabela periódica

Vinte e duas escolas do ensino secundário da zona da grande Lisboa participam na semifinal das Olimpíadas de Química Mais (OQ+) em Ciências ULisboa.. Os participantes das OQ+ têm a chance de se qualificar para a 53ª Olimpíada Internacional de Química e para as Olimpíadas Ibero-americanas de Química.

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.

Páginas