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

Paul Schmit, embaixador do Grão-Ducado do Luxemburgo em Portugal visita a Faculdade de Ciências da Universidade de Lisboa no âmbito da receção de boas-vindas aos alunos do “2nd Intensive Study Programme (ISP)”, um curso avançado em Segurança Informática, destinado a alunos de mestrado

O que fazem e o que pensam alguns membros da comunidade de Ciências? O quarto Dictum et factum é com Ricardo Ferreira, bolseiro da Segurança do Trabalho.

Os estudantes da Escola Técnica e Liceal Salesiana de Santo António e do Colégio dos Plátanos venceram as semifinais das Olimpíadas de Química Júnior 2016 ocorridas em Ciências este sábado, dia 9 de abril.

A mostra itinerante “A ULisboa é para todos”- inaugurada esta segunda-feira - está em exibição até 15 de abril, no átrio do edifício C3, no campus de Ciências.

Quando Ana Henriques Pato terminou em 2002 o ensino secundário, na Escola Secundária Fernão Mendes Pinto, em Almada, com a média de 18 valores, escolheu Ciências. A sua ligação à Faculdade não ficou por aí.

O Departamento de Química e Bioquímica de Ciências volta uma vez mais a aderir a este concurso com 13 anos e que este ano conta com cerca de 266 escolas inscritas, segundo dados disponibilizados pela Sociedade Portuguesa de Química.

Os estudantes de Ciências elegem no dia 28 de abril os três alunos representantes do Conselho de Escola para os próximos dois anos.

O Instituto Dom Luiz organiza a conferência “COP 21 - Desafios para Portugal depois da Conferência de Paris”, no próximo dia 22 de abril de 2016, no edifício C8, no anfiteatro 8.2.30, sito na Faculdade de Ciências da Universidade de Lisboa.

Nove em cada dez dos inquiridos têm conhecimento do projeto HortaFCUL.

Arquitetos, filósofos, advogados, Maria João Collares Pereira refere que os formandos eram sobretudo das humanidades, por isso “para ensinar coisas complicadas a pessoas com esta formação é preciso saber divulgar ciência”.

O quadrado design-ideias-tecnologia-negócios tem vindo a marcar os últimos anos das start-ups, as suas perspetivas e novas possibilidades, com uma inovação extraordinária que atrai os consumidores e faz crescer o valor de uma empresa.

“Todos chegaram ao final com um projeto, um protótipo como se pretendia e com algumas ideias bem interessantes!”, comenta Bernardo Tavares, um dos organizadores do primeiro Lisbon Green Hacakthon.

O que fazem e o que pensam alguns membros da comunidade de Ciências ULisboa?

Ciências participa no dia 19 de março de 2016 nas Masterclasses Internacionais em Física de Partículas.

Oficina das Energias - um grupo de alunos do mestrado integrado de Engenharia da Energia e do Ambiente Ciências - organiza pela primeira vez em Portugal o Lisbon Green Hackathon.

Jorge Relvas, professor do Departamento de Geologia de Ciências, é o novo presidente da Society for Geology Applied to Mineral Deposits. 

A HortaFCUL, como projeto que tenta procurar e experimentar soluções para os atuais problemas socioeconómicos, tem vindo a incorporar nas suas práticas a Economia da Dádiva.

O livro "Mulheres na Ciência" editado pela Ciência Viva reúne mais de uma centena de retratos de investigadoras portuguesas, algumas delas de Ciências.

Resolver os problemas organizacionais e sociais pode ser estimulante, e mais interessante do que se pensava, sobretudo se isso facilitar depois a atração de criativos e inovadores!

No dia 7 de março de 2016, a partir das 16h00, realiza-se no edifício C6, na sala 6.2.56, a Sessão de Apresentação dos Trabalhos dos alunos do Curso Livre de Ciências “Entender o Mundo no Século XXI”, que terminará com a entrega de diplomas e um jantar convívio.

A partir de abril, o espaço que até agora tinha sido ocupado pelo restaurante O Mocho será transformado num restaurante da cadeia 100 Montaditos, um conceito de restauração original, inspirado nas tradicionais tabernas espanholas e

A próxima sessão da Cicloficina realiza-se a 7 de março de 2016, pelas 17h00, no parque de bicicletas do C5.

O “Workshop Corpora and Tools for Processing Corpora”, coorganizado pelo projeto QTLeap, realiza-se a 12 de julho de 2016, em Tomar, no âmbito do “PROPOR 2016 – Intern

Campus da Faculdade

O exercício de evacuação do edifício C2 aconteceu durante a manhã de 26 de fevereiro e contou com a presença da Proteção Civil de Lisboa, do Regimento de Sapadores Bombeiros de Lisboa e da Polícia Segurança Pública - Esquadra do Campo Grande. 

“Estatística no Ensino Secundário” é o tema do próximo Curso Livre de Ciências, organizado pelo Departamento de Matemática (DM) de Ciências. Neste ano letivo cerca de 50 professores participaram nos quatro Cursos Livres de Ciências organizados por Carlota Gonçalves, professora do DM de Ciências.

Páginas