No campus com Helder Coelho

Progresso da Computação

Helder Coelho

As revistas Nature (28 de maio, 2015) e Science (17 de julho, 2015) dedicaram números especiais ao campo da Inteligência Artificial (IA), que faz 60 anos de vida em agosto deste ano. O que surpreende mais, na leitura dos artigos, são as notas soltas sobre as melhorias de desempenho obtidas nas últimas duas décadas, em particular na resolução de problemas com restrições, na tradução e compreensão de línguas, e nos jogos com informação imperfeita onde se conseguiu um enorme avanço. A recente vitória do programa AlphaGo, da Google DeepMind, contra os campeões europeu e mundial de Go, por 5-0 e 4-1, expressou os sucessos conseguidos no processamento dos dados e com recurso à aprendizagem mecânica (Deep Learning). A Google, através do seu presidente Eric Schmidt, declarou a intenção em se tornar uma empresa de IA, em vez de procura de informação.

Coloquemos agora o foco da nossa atenção na racionalidade (por exemplo, no comportamento de um agente artificial em simulação social) e também na sua conceção computacional. Existem vários modelos (e arquiteturas) de agentes, sobre as suas atitudes (crenças, preferências) ou estados mentais, que se popularizaram desde o fim dos anos 80, a saber o BDI (Belief-Desire-Intention) de Bratman (1987), apoiado na Filosofia, o PECS (Physical-Emotion-Cognitive-Social) de Urban e Schmidt (2000), apoiado na Psicologia, e o Agent_Zero (Emotion-Cognitive-Social) de Epstein (2013), apoiado nas Neurociências. Estes modelos recorrem às abstrações conceptuais, representadas por estruturas de dados (desenho do agente por camadas), e nalguns casos as crenças são codificadas como distribuições de probabilidades (os economistas não precisam de explicar como as preferências ou as capacidades dos agentes são descritas). Os modos de codificação, preocupação dos informáticos, determinaram os progressos que têm sido obtidos no desempenho alcançado com a operação da racionalidade (na Economia, os agentes são considerados como racionais, embora Herbert Simon tenha alertado para o perigo de tais modelos).

Os investigadores da aprendizagem mecânica inspiraram-se no que se passa no mundo animal com a construção da recompensa (aprendizagem por reforço), aonde um agente deriva uma política (mapeamento das sequências de perceção em ações) baseada nas compensações, as quais representam valores instantâneos associados a um estado e a uma ação. Sob o ponto de vista da engenharia, interessada na especificação da recompensa, há que assegurar a eficiência do agente e isso pode acontecer pelo treino, com uma concentração sobre os sinais da entrada e durante todo o processo de aprendizagem, para otimizar o comportamento. Isto explica o papel que as motivações intrínsecas (caso da curiosidade) do agente desempenham na flexibilidade da aprendizagem.

Ora, nos últimos 30 anos, a IA preocupou-se com afinco em duas áreas essenciais, representação do conhecimento e inferência (para a manipulação das representações), recorrendo às redes Bayesianas e aos formalismos gráficos relacionados (redes). De facto, a expressão da incerteza sobre as relações, além das proposições, tem sido o objetivo das linguagens de modelação probabilística, e é por isso que as vias estatísticas têm dominado a aprendizagem mecânica e o processamento das línguas naturais, para desconforto de alguns puristas, como o linguista Noam Chomsky. A gestão das preferências tornou-se numa facilidade ao dispor do projetista e do programador, e o planeamento (relacionado com as ações ao longo do tempo) é capaz de transformar um problema como se de otimização se tratasse, sujeito a restrições, a objetivos múltiplos e a efeitos probabilísticos das ações.

Os agentes artificiais, hoje em dia, raciocinam não só para alcançar metas ou realizar tarefas (governação baseada em objetivos), mas necessitam também de raciocinar sobre os outros agentes (incluindo qualidades) que encontram, adotando uma visão do mundo como se tratasse de um jogo, isto é respondendo aos comportamentos dos outros e esperando que as suas escolhas (decisões) conjuntas estejam em equilíbrio, tal como o pensamento económico defende. Assim, a nível mundial (veja-se o que se tem passado anualmente no Congresso Mundial AAMAS) a Teoria dos Jogos tem vindo a ganhar um peso maior quando enfrentamos situações com múltiplos agentes. Por exemplo, no jogo poker, onde a informação é imperfeita e a incerteza e a complexidade imperam, descobrem-se novos desafios para as técnicas de IA: os jogadores conhecem elementos da história do jogo, ao longo do tempo, enfrentam a incerteza, e atualizam as suas crenças sobre o que se vai passando (as cartas nas mãos dos jogadores e as crenças dos outros). A computação de um equilíbrio de Nash, aproximado do jogo completo, exige um enorme esforço e novos métodos de procura equilibrada (algoritmos de aprendizagem), o que se traduz depois em novas potencialidades de resolver problemas reais (os jogos de segurança no acesso a aeroportos, na proteção dos aviões estacionados na placa do aeroporto, e no controle das costas marítimas de um país). A investigação do grupo TEAM CORE, do professor Milind Tambe da Universidade da California do Sul (EUA), aparece como um dos exemplos dos trabalhos científicos em IA com resultados muito bons.

Helder Coelho, professor do Departamento de Informática de Ciências
Centro de Testes

“Em cada turno processamos uma quantidade significativa de amostras e é sempre importante conseguirmos fazê-lo eficientemente, para que os resultados sejam conseguidos num curto espaço de tempo”, diz Catarina Lagoas, voluntária no Centro de Testes Ciências ULisboa.

Teclado para invisuais

“A tecnologia deve poder ser usada por todas as pessoas!”, diz Carlos Duarte, professor do Departamento de Informática, investigador do LASIGE Ciências ULisboa, e recentemente membro do World Wide Web Consortium (W3C) e da Ação COST LEAD-ME -Leading Platform for European Citizens, Industries, Academia and Policymakers in Media Accessibility.

 olho de choco

Um grupo de investigadores da Ciências ULisboa a trabalhar no Laboratório Marítimo da Guia do MARE conseguiu mostrar que chocos acabados de eclodir (até cinco dias) são capazes de ter uma aprendizagem social. O estudo publicado na  Animal Cognition tem como primeiro autor Eduardo Sampaio, estudante de doutoramento em Biologia (ramo Etologia).

ETAR de Gaia Litoral

A análise de mais de 200 amostras de águas residuais das cinco ETAR monitorizadas no âmbito do projeto COVIDETECT comprova a presença de material genético nos afluentes que chegam às ETAR e evidencia a ausência de deteção do material genético do vírus SARS-CoV-2 nos efluentes tratados.

National Cancer Institute

Investigadores do LASIGE Ciências ULisboa, INESC TEC e Universidade do Minho apresentam uma nova técnica de deduplicação de dados baseado em semelhanças e padrões encontrados nos ficheiros de sequenciação de genomas humanos e uma codificação das alterações para a recuperação desses dados.

logotipo

Sétima rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Keep on Care.

Computador

“O período de confinamento pode ser encarado como um primeiro grande teste à integração de renováveis no sistema elétrico, prelúdio do que se prepara com a transição energética global em curso”, escreve o cientista Miguel Centeno Brito.

Conceção artística do telescópio espacial Athena (Advanced Telescope for High-Energy Astrophysics)

“Ciências ULisboa tem vindo a aumentar a sua capacidade e a sua intervenção no desenvolvimento científico e tecnológico de alguns dos projetos mais importantes para o avanço da Astrofísica, não só nos próximos anos, mas nas próximas décadas”, diz o cientista José Afonso.

post it

Cristina Luís, investigadora do Departamento de História e Filosofia das Ciências e do Centro Interuniversitário de História das Ciências e da Tecnologia (CIUHCT), é a responsável em Portugal pelo projeto “Citizen Science as the new paradigm for Science Communication (NEWSERA)”, coordenado por Rosa Arias, fundadora da Science for Change e que visa estudar como a ciência cidadã pode mudar o paradigma da comunicação da ciência.

janela

Entrevista com o cientista Carlos Cordeiro, que lidera o SAFE Coating, um projeto que tem a Biomimetx e o Hospital Curry Cabral como parceiros e que em seis meses procurará implementar uma tecnologia capaz de inativar o SARS-CoV-2 em superfícies, impedindo a sua viabilidade fora do hospedeiro humano e consequentemente, eliminando uma importante via de transmissão viral.

Lusovenator, a nova espécie pertence ao grupo dos carcharodontossáurios - dinossáurios carnívoros, alguns dos maiores predadores do planeta Terra. A sua descoberta mostra que estes dinossáurios estavam presentes no hemisfério norte 20 milhões de anos antes do que indicava o registo conhecido. O estudo foi liderado por Elisabete Malafaia, investigadora do IDL, polo da Ciências ULisboa.

O Roteiro Nacional de Infraestruturas de Investigação de Interesse Estratégico (RNIE) 2020 inclui 56 infraestruturas. Ciências ULisboa coordena a CoastNet, a PORTULAN CLARIN e a RNEM, integrando ainda outras sete infraestruturas.

A fase de implementação da Rede Portuguesa de Monitorização Costeira (CoastNet) terminou recentemente, segundo comunicado de imprensa emitido pela Faculdade recentemente. A apresentação pública da CoastNet coordenada por José Lino Costa, professor do Departamento de Biologia Animal da Ciências ULisboa, acontece a 7 de julho, num evento a decorrer por videoconferência.

O projeto MarCODE visa desenvolver uma ferramenta multidisciplinar para potenciar o rastreio e a rotulagem ecológica de espécies marinhas de interesse comercial, segundo comunicado de imprensa emitido pela Faculdade. O estudo iniciado este mês de julho deverá terminar daqui a três anos.

Sexta rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Nevaro.

Cláudio Pina Fernandes, coordenador do GAPsi Ciências ULisboa, escreve sobre o Princípio da Incerteza e chama a atenção para alguns aspetos.

O mundo de hoje é completamente dominado pela necessidade imperiosa de saber recolher e analisar dados, escrevem os cientistas Tiago A. Marques e Soraia Pereira. Leia o artigo dedicado ao roteiro serológico nacional, uma iniciativa promovida pelo Instituto Gulbenkian de Ciência e que conta com a colaboração do Centro de Estatística e Aplicações da Universidade de Lisboa, da autoria destes investigadores.

Ciências ULisboa volta a participar com equipas de estudantes no Global Management Challenge (GMC). No passado dia 16 de junho começou a 1ª fase do GMC 2020, que conta com quatro equipas desta faculdade compostas por alunos dos mestrados integrados em Engenharia Biomédica e Biofísica, em Engenharia da Energia e do Ambiente e em Engenharia Física, assim como alunos das licenciaturas em Matemática Aplicada e Tecnologias de Informação.

teste

Cerca de 194 milhões de aves e 29 milhões de mamíferos podem ser atropelados por ano nas estradas europeias, de acordo com a estimativa de uma equipa internacional de investigadores liderada por Clara Grilo, investigadora do Centro de Estudos do Ambiente e do Mar (CESAM), polo da Ciências ULisboa, com sede na Universidade de Aveiro. Os resultados estão publicados na revista científica Frontiers in Ecology and Environment.

“A História do Pi em hipervídeo” está na Internet e pode ser consultada por todos e em toda a parte. O hipervídeo integra de forma estruturada e interativa vídeo e outros tipos de informação, nomeadamente, textos, imagens, áudio e animações. Saiba mais sobre este projeto lendo a entrevista com as professoras Suzana Nápoles e Teresa Chambel.

A dinâmica das epidemias é descrita por sistemas de equações diferenciais. Jorge Buescu, professor do Departamento de Matemática da Ciências ULisboa, apresenta neste artigo o modelo epidemiológico desenvolvido em 1927 por Kermack e McKendrick.

No próximo ano letivo, Ciências ULisboa irá utilizar novos modelos de ensino/aprendizagem, todos com horas de contacto entre docentes e alunos, mas que se diferenciam pela existência e forma da componente presencial, anunciou a Faculdade em comunicado de imprensa.

Um grupo de cientistas da Ciências ULisboa e da Faculdade de Engenharia da Universidade do Porto, membros do CENTRA - Centro de Astrofísica e Gravitação participa no desenvolvimento do METIS (Mid-infrared ELT Imager and Spectrograph), um poderoso instrumento que vai equipar o maior telescópio do mundo - o Extremely Large Telescope.

A equipa do projeto Lista Vermelha de Invertebrados Terrestres e Dulçaquícolas de Portugal Continental preparou a campanha de ciência cidadã - “Invertebrados da Lista Vermelha procuram-se” -, cujo lançamento ocorre esta sexta-feira, dia 5 de junho.

Duas pessoa dão as mãos

"A nossa necessidade de conexão e de afeto é singular, no sentido em que precisamos e procuramos o contacto com outros seres humanos", escreve Inês Ventura, psicóloga do GAPsi Ciências ULisboa.

Páginas