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

Nos dias 27 e 28 de abril de 2017 realiza-se a 8.ª edição da feira anual de emprego da Faculdade de Ciências da Universidade de Lisboa.

sistema ótico

A componente tecnológica do espectrógrafo ESPRESSO que irá conduzir a luz dos telescópios do VLT para o instrumento, o coudé train, a ser instalado no ESO, é feita por uma equipa portuguesa da qual fazem parte professores e investigadores de Ciências. Neste artigo, fique a conhecer o trabalho realizado pelo grupo.

No mesmo espaço, associações de voluntariado, voluntários e estudantes de Ciências com interesse na disciplina de Voluntariado Curricular reuniram-se. O objetivo foi dar a conhecer o trabalho feito na disciplina de Voluntariado Curricular, através da partilha de histórias e experiências.

O Núcleo de Física e Engenharia Física da Faculdade de Ciências da Universidade de Lisboa foi fundado no dia 19 de maio de 2016, curiosamente no dia do Físico, com o intuito de representar os estudantes de Física e Engenharia Física.Uma das atividades organizadas com o intuito de alargar a perspetiva profissional destes alunos foi a Conferência Física Fora da Academia.

A distribuição geográfica atual dos tojos do género Stauracanthus - arbustos espinhosos que ocorrem nas dunas interiores das praias portuguesas - deve-se a acontecimentos geológicos de grande escala ocorridos no Mar Mediterrâneo há cerca de cinco milhões de anos.

O planeta Terra está em constante mudança. Pegue em qualquer livro de Geologia e uma das primeiras frases que vai encontrar será esta ou uma muito parecida. Se continuar a ler, ficará a saber que a Terra tem mais de 4500 milhões de anos e que nem sempre foi como a conhecemos. Antes, existiam supercontinentes rodeados por vastos oceanos que, ao longo de milhões de anos, se fragmentaram e relocalizaram dando forma aos seis continentes e cinco oceanos que compõem atualmente o planeta azul.

O que fazem e o que pensam alguns membros da comunidade de Ciências? O Dictum et factum de abril é com Ana Pereira, técnica superior do Gabinete de Empregabilidade da Área de Mobilidade e de Apoio ao Aluno de Ciências.

O dryVHP venceu o prémio Inovação Ageas – Novo Mundo. Construir aparelhos de esterilização mais rápidos e eficazes, ou aparelhos de esterilização portáteis e não elétricos para missões humanitárias é o objetivo deste projeto, desenvolvido em Ciências.

O programa CSA (community supported agriculture) refere-se a uma comunidade de produtores e consumidores que partilham os benefícios e os riscos da produção numa inspiradora experiência de responsabilidade conjunta em torno do alimento. 

“Estes programas de bolsas e estímulos são muito importantes para os alunos que, como eu, ambicionam tornar-se investigadores”, declara o aluno de Ciências, um dos vencedores da edição 2016/2017 do prémio Novos Talentos em Matemática, da Fundação Calouste Gulbenkian.

Raquel Conceição, chair da Ação MiMed-TD1301 e Pedro Almeida, um dos representantes nacionais da Ação COST FAST, participaram no “Portugal in the Spotlight”. Os professores de Ciências deram a conhecer o sucesso das ações COST em que estão envolvidos, participando ainda no debate “Making the added value of networking tangible. The Portuguese perspective".

A Faculdade visita escolas secundárias há 19 anos e em parceria com a empresa Inspiring Future, desde 2014, por forma a divulgar a sua oferta formativa. Este ano letivo foram agendadas 95. Até agora Ciências já esteve em 56 escolas, após as férias escolares irá visitar mais 39.

A história ensinou-nos que quem faz a língua é quem a fala e escreve e estou em crer que todos estes e muitos outros termos, goste-se ou não, vieram para ficar.

Bruno Carreira, doutorado em Biologia por Ciências e atualmente investigador de pós-doutoramento no cE3c - Centro de Ecologia, Evolução e Alterações Ambientais, é o vencedor da edição de 2016 do Prémio Fluviário de Mora - Jovem Cientista do Ano.

Quando Leibniz e Newton se enfrentaram no século XVII, sobre a origem do Cálculo, criaram um espaço para exercerem o contraditório, argumentando e criticando, em defesa dos seus argumentos. Esse exercício chama-se controvérsia (debate ou polémica), considerada por muitos como a máquina do progresso intelectual e prático. Cada um dos lados apresenta a sua explicação (causa) das suas razões, como factos (pro ou contra), e os quais sustentam e justificam a sua posição.

Ciências participou no Google Hashcode 2017. Das 12 equipas concorrentes, cinco resolveram corretamente os desafios de programação, numa maratona marcada, segundo os participantes, pela aquisição de competências e boa disposição.

Maria Amélia Martins-Loução, investigadora do cE3c e professora do DBV Ciências, é a nova presidente da Sociedade Portuguesa de Ecologia.

A 3.ª corrida de carros movidos a energia solar conta com a participação de 30 pilotos e dez carros construídos por alunos dos ensinos secundário e universitário.

“Estou a adorar a minha experiência académica. Ao estar no ramo da Matemática, consegui desenvolver algumas softskills, tais como a organização, a atenção ao detalhe, a capacidade para questionar e o rigor”, declara Diogo Ramalho, campeão nacional universitário de Taekwondo e aluno de Matemática de Ciências.

“Chocolate – do laboratório à fábrica” é uma das 159 palestras apresentadas por professores, cientistas a pedido das escolas secundárias.

No programa Novos Talentos em Matemática, edição 2016/2017, da Fundação Calouste Gulbenkian, foram distinguidos três alunos de Ciências. Desta vez, entrevistamos a aluna do 3.º ano do curso de Matemática de Ciências, Isabel Nobre.

Uma circulação de vento entre o equador e os polos foi detetada em ambos os hemisférios de Vénus pela primeira vez, e poderá contribuir para explicar a superrotação da atmosfera deste planeta, segundo estudo liderado por Pedro Machado, investigador do Instituto de Astrofísica e Ciências do Espaçoe professor do Departamento de Física de Ciências.

No filme “The man who knew infinity” (sobre a colaboração de Ramanujan com Hardy em Cambridge, Reino Unido) aborda-se a resolução de problemas e a discussão do recurso à intuição. O terreno da Matemática é o escolhido, tal como no problema de Kadinson-Singer (sem resolução durante 50 anos), e onde se trata da reconciliação da Física Quântica com a Matemática (Marcus, Spielman e Srivastava, 2015).

Filipe Duarte Santos foi designado presidente do Conselho Nacional do Ambiente e do Desenvolvimento Sustentável (CNADS), segundo comunicado do Conselho de Ministros de 9 de março.

O que fazem e o que pensam alguns membros da comunidade de Ciências? O Dictum et factum de março é com Rui Batista, especialista em Informática da Área de Sistemas de Informação e Desenvolvimento da Direção de Serviços Informáticos de Ciências.

Páginas