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
conceção artística do telescópio espacial Euclid, e em fundo uma das primeiras imagens obtidas com este telescópio, do enxame de galáxias do Perseu

A 14 de fevereiro o telescópio espacial Euclid voltou-se para a constelação de Erídano, no hemisfério celeste austral, e durante 70 minutos recolheu a luz dessa região de céu escuro. O calendário de observações foi definido por uma equipa liderada pelo Instituto de Astrofísica e Ciências do Espaço. Mais de 27 mil fotografias irão constituir o mosaico do céu com a maior resolução alguma vez feita, serão mais de 15 biliões de pixéis. Ao fim de seis anos espera-se ter capturado a luz de mais de mil milhões de galáxias.

Batimetria do fundo do mar e topografia terrestre

Um novo estudo, recorrendo a modelos computacionais, prevê que uma zona de subdução atualmente na região do Estreito de Gibraltar se irá propagar para o interior do Atlântico e irá contribuir para a formação de um sistema de subdução atlântico – um anel de fogo atlântico. Este trabalho publicado pela Sociedade Geológica da América resulta de uma colaboração entre os professores da Ciências ULisboa – João Duarte e Filipe Rosas – e investigadores da Johannes Gutenberg University Mainz (Alemanha).

Minifloresta da Faculdade

A FCULresta - um dos projetos do Laboratório Vivo para a Sustentabilidade da Ciências ULisboa e que tem origem no projeto europeu "1Planet4All - Empowering youth, living EU values, tackling climate change" -, foi selecionada e destacada como um dos projetos com maior impacto do programa ‘DEAR: Development Education and Awareness Raising", financiado pela União Europeia.

Cartaz com fotografias de várias mulheres

Ciências ULisboa reconhece o papel fundamental exercido pelas mulheres e pelas raparigas na ciência e na tecnologia. No Dia Internacional de Mulheres e Raparigas na Ciência recordamos Glaphyra Silva Vieira, a primeira mulher assistente no Laboratório de Física da Ciências ULisboa, uma biografia da autoria de Maria da Conceição Abreu e Paula Contenças.

Conceção artística do telescópio espacial nos raios gama, Fermi, da NASA

As regiões polares do Sol foram as mais ativas na emissão de radiação de alta energia durante o anterior máximo solar, um desequilíbrio ainda por explicar, e relatado pela primeira vez num estudo liderado por Bruno Arsioli, investigador do Instituto de Astrofísica e de Ciências do Espaço, da Ciências ULisboa.

anfíbio

Após a República Checa, chegou a hora da cidade de Lisboa ser palco da próxima Conferência Europeia de Ecologia Tropical 2024. Jorge Palmeirim, professor da Ciências ULisboa, coordenador do grupo de Biodiversidade Tropical e Mediterrânica no cE3c, é o chairman desta conferência, que se realiza na Ciências ULisboa entre 12 e 16 de fevereiro.

Helena Gaspar e Alexandra M. Antunes, pormenor de estrutura molecular N-desetil-isotonitazeno em fundo

O Laboratório de Polícia Científica (LPC) da Polícia Judiciária (PJ) detetou uma nova droga sintética - o N-desetil-isotonitazeno. A identificação da droga sintética contou com a colaboração da Ciências ULisboa, no âmbito de um protocolo de cooperação entre o LPC-PJ e a Ciências ULisboa que visa a análise de novas substâncias psicoativas (NSP).

lareira tradiciobal a lenha

Um novo estudo mostra que o uso de lareiras tradicionais a lenha para o aquecimento da casa pode diminuir a esperança média de vida em até 1,6 anos, devido às partículas finas que são emitidas na combustão da lenha. Estes são resultados de um trabalho experimental de modelação computacional liderado pela Ciências ULisboa.

Raquel Conceição

Uma equipa de cientistas do Instituto de Biofísica e Engenharia Biomédica (IBEB) da Ciências ULisboa liderada por Raquel Conceição vai receber 1.5M€ para reforçar as suas áreas de capacitação em Imagiologia Médica por Micro-ondas (MMWI), no âmbito de um projeto Twinning, com o título “Bone, Brain, Breast and Axillary Medical Microwave Imaging Twinning (3BAtwin)”, realizado em parceria com a Universidade de Galway (Irlanda) e com o Politécnico de Turim (Itália).

Carlos Pires

Carlos Pires, professor da Ciências ULisboa e investigador do Instituto Dom Luiz, é o primeiro autor do artigo “Uma teoria geral para estimar a transferência de informação em sistemas não lineares”, publicado na Physica D: Nonlinear Phenomena, volume 458, em fevereiro, e no qual desenvolve um formalismo matemático de estimação da causalidade entre variáveis interatuantes.

Atividades na HortaFCUL, num Dia Aberto em 2015

Em outubro de 2024 a HortaFCUL assinala 15 anos de existência. Os resultados apresentados no relatório "Living the sustainable development: a university permaculture project as an ecosystem service provider - The HortaFCUL case study (2009-2023)" apresentam o impacto regenerativo e transformador da HortaFCUL.

Pessoa a observar o céu

De 15 a 18 de fevereiro, a Física está em destaque na cidade de Lisboa, no Encontro Nacional de Estudantes de Física (ENEF). Este é um evento que pretende reunir estudantes e profissionais na Ciências ULisboa, procurando dar uma perspetiva diferente do ensino da Física a nível universitário.

Revegetação com especies autoctones

“O projeto em curso no Lousal mostra que é possível conciliar a atividade de mineração com a devolução do território à natureza com o mínimo impacto possível”, escreve Jorge Buescu na crónica publicada na revista Ingenium n.º 183, referente ao primeiro trimestre de 2024.

Pontos de interrogação

 Vladimir Konotop, professor da Ciências ULisboa, participou num estudo publicado este mês na Nature Photonics - “Observação da Localização da Luz em Quasicristais Fotónicos” -, em colaboração com investigadores da Universidade Jiao Tong de Xangai (China) e da Academia de Ciências Russa  (Rússia).

Aluna a fazer uma apresentação numa sala de aula

Inês Sofia Cruz Dias e Ana Carolina Preto Oliveira, estudantes da Ciências ULisboa, apresentaram os seus relatórios da disciplina Voluntariado Curricular, 1.º semestre, no passado dia 22 de janeiro. Sensibilizar os estudantes para as temáticas da solidariedade, tolerância, compromisso, justiça e responsabilidade social e proporcionar-lhes oportunidades para o desenvolvimento de competências transversais são alguns dos objetivos do Voluntariado Curricular.

Cristina Simões, Fernando Antunes, José Pereira-Leal, Jorge Maia Alves, Andreia Valente, Hugo Ferreira, Rui Ferreira e Pedro Almeida

Os projetos Lusoturf e TAMUK são os vencedores da 1.ª edição do Concurso de Projetos de Inovação Científica, uma iniciativa promovida pela Ciências ULisboa e FCiências.ID, com o apoio do Tec Labs.

Membro da FLAD, Marcelo Rebelo de Sousa e José Ricardo Paula

José Ricardo Paula, investigador da Ciências ULisboa, vencedor do FLAD Science Award Atlantic 2023, teve a honra de receber o prémio pelas mãos do Presidente da República, Marcelo Rebelo de Sousa. Para o diretor da Ciências ULisboa, Luís Carriço, este prémio é um reconhecimento do mérito e da excelência da investigação que se faz na faculdade: “Estou muito orgulhoso, mas não estou surpreendido. O trabalho que o José Ricardo Paula desenvolveu é brilhante e o próprio Presidente da República fez questão de referir isso. O nosso investigador está de parabéns, bem como a faculdade”.

Ana Sofia Reboleira

O projeto “Barrocal-Cave: Conservation, monitoring and restoration assessment of the world-class cave biodiversity hotspot in Portugal foi distinguido com o 2.º lugar do Prémio Fundação Belmiro de Azevedo 2023. Ana Sofia Reboleira é a investigadora responsável por este projeto, que tem como instituição proponente a FCiências.ID.

Fotografia de Henrique Leitão

O Papa nomeou a 10 de janeiro o cientista Henrique Leitão como membro do Comité Pontifício de Ciências Históricas, informou o Vaticano. A Agência Ecclesia refere que o novo membro deste comité colaborou com o Secretariado Nacional dos Bens Culturais da Igreja, enquanto coautor do ‘Clavis Bibliothecarum‘ (2016), um levantamento de catálogos e inventários de bibliotecas da Igreja Católica em Portugal.

Fotografia de Beatriz Amorim

Beatriz Amorim foi premiada com uma bolsa Marie Sklodowska-Curie, uma iniciativa da Agência Internacional de Energia Atómica (AIEA, sigla em inglês). A estudante do último ano de mestrado em Engenharia Física, na Ciências ULisboa, participa a partir de 15 de janeiro e durante seis meses, num projeto inovador na Alemanha, no âmbito do Programa GET_INvolved do FAIR.

Henrique de Gouveia e Melo e Henrique Leitão

“As três últimas décadas foram excecionais para os estudos de História Marítima, da Ciência Náutica, da Cosmografia e da Cartografia portuguesas”, diz Henrique Leitão, investigador da Ciências ULisboa, a propósito da atribuição do Prémio Academia de Marinha 2023, ocorrido no passado dia 9 de janeiro, durante a Sessão Solene de Abertura do Ano Académico de 2024.

Membros da expedição em frente do RV Pelagia

A Ciências ULisboa destacou no passado mês de dezembro - na EurekAlert - uma história sobre um estudo, que relata evidências sem precedentes de respostas ecológicas do fitoplâncton calcificante à deposição de nutrientes fornecidos pela poeira do Sara. O trabalho publicado na Frontiers in Marine Science tem como primeira autora Catarina Guerreiro, micropaleontóloga e investigadora em bio geociências marinhas na Ciências ULisboa.

Cientista em gruta

Um estudo publicado na Scientific Reports e coordenado por Ana Sofia Reboleira, professora no Departamento de Biologia Animal da Ciências ULisboa e investigadora no Centro de Ecologia, Evolução e Alterações Ambientais (cE3c), analisou mais de 100000 medições de temperaturas em grutas localizadas em diversas zonas climáticas, desde as tropicais às subárticas, passando por Portugal continental e ilhas.

Identidade gráfica da crónica com imagem de Andreia Sofia Teixeira

A crónica da autoria da Comissão de Imagem do Departamento de Informática da Ciências ULisboa visa realçar a investigação feita pelos docentes e investigadores deste departamento. A segunda crónica dá a conhecer Andreia Sofia Teixeira.

Pessoas junto ao edifício do MARE, na Ciências ULisboa

Com o intuito de colaborar no desenvolvimento de um parque eólico offshore flutuante ao largo da Figueira da Foz, o MARE e a IberBlue Wind (IBW) assinaram a 5 de dezembro passado um protocolo que estabelece os moldes da parceria futura. A colaboração da IBW com o MARE irá permitir estudar os eventuais impactos da instalação da infraestrutura nos ecossistemas marinhos da área de implementação, e propor soluções que mitiguem os eventuais impactos negativos na componente ecológica e na atividade da pesca.

Páginas