No Campus com Helder Coelho

Filosofia: Pode uma máquina Pensar?

Helder Coelho

Em 1950, Alan Mathison Turing apoiado na Matemática (a Informática só começou em 1954, e a Inteligência Artificial em 1956) indagou sobre se uma máquina podia pensar (jogar com as ideias, graças aos mecanismos de representar e de processar). A sua educação (Matemática) em Cambridge, Inglaterra (graduação), de 1931 a 1934 (King´s College), e em Princeton (EUA, doutoramento, sob a orientação de Alonzo Church), em 1938, permitiu que desenvolvesse as ideias de uma máquina universal (ou de Turing), dos limites da computação através dos conceitos de prova, paragem, decisão, resolução, e de algoritmo (capazes de descrever a computação), indispensáveis para a formulação posterior de uma teoria matemática da computação. Regressou a Cambridge, em 1939, onde assistiu ao curso de Ludwig Wittgenstein sobre os Fundamentos da Matemática, tendo depois sido recrutado para o esforço de guerra, dedicando-se a tempo inteiro a quebrar o código Enigma dos alemães. Nesse trabalho, consolidou as raízes da computação (máquina de Turing) e a ideia de software.

Os seus interesses, após o fim da guerra, pela Informática, Biologia Matemática, Química, e Reconhecimento de Padrões, levaram-no também para o campo da Filosofia, onde se foi ancorar junto à Cibernética, a qual, mais tarde, deu origem à Inteligência Artificial (IA). A pergunta “Pode uma máquina pensar?” abre a busca por agentes inteligentes capazes de interatuarem com os seres humanos através de linguagens (a proposta do jogo de imitação como teste de inteligência), e sobretudo de serem autónomos em ambientes sofisticados.

Segundo Gilles Deleuze e Félix Guattari (Éditions de Minuit, 2005), a Filosofia é a arte de formar, inventar e fabricar conceitos, ou seja aborda o pensar como experimentação. E, o agente que pensa não para de questionar para criar algo de novo. A IA ao optar, no início, pela resolução de problemas num espaço de estados, é obrigada a exigir técnicas de representação e de procura (táticas e estratégias) para realizar experiências de pensamento. O desenho da mente torna-se então obrigatório para dotar os agentes artificiais com um conjunto de capacidades (mentais) para serem autónomos e prontos a viajar num ambiente envolvente. Existem três instâncias (trindade) indispensáveis: ser capaz de traçar planos (imanência), inventar personagens (insistência) e criar conceitos (consistência).

No começo, a experimentação fez-se sobretudo em torno de fazer perguntas e de dar respostas, de estabelecer conexões e relações. Abordar o subjetivo (as qualidades) é bem mais difícil, e continua como objetivo.

A Filosofia exige uma sociabilidade como meio de imanência, um prazer em se associar (e fazer amizade), e um gosto pela troca de opiniões (controvérsias), pela conversa. No entanto, os agentes artificiais ainda têm dificuldade de confrontar o outro, de se envolverem em discussões, de terem propostas e iniciativas, de apostarem no impossível.

Quais são os mecanismos mentais do pensar? Podem-se identificar quatro tipos: cognitivos (e emocionais), neuronais, moleculares e sociais. Em 2008, Christof Koch indagou se os mecanismos não conscientes seriam capazes de afetar o pensamento, nomeadamente qual seria o papel da consciência subjetiva? Com o desenvolvimento das ciências do cérebro, tais dúvidas deixaram de serem só o objetivo da Filosofia especulativa, e outras explicações racionais começaram a serem apresentadas em redor das mentes. Damásio e Thagard abordaram, em detalhe, a interação entre os mecanismos emocionais e os cognitivos durante a tomada de decisão, o raciocínio analógico e o julgamento intuitivo. E, as emoções não só influenciam, como condicionam os resultados, e assim o pensamento racional.

Como pensamos nós e como pensa uma máquina? Os pensamentos começam por serem comprimidos, depois articulados, mais propriamente encadeados (como no raciocínio ou no planeamento), e por isso se fala que as ligações são organizadas de acordo com as relações que se estabelecem entre os seus elementos, criando-se composições ou cenários.

Quando os computadores são ensinados a pensar servem-se de mecanismos (por exemplo, sistemas de regras, heurísticas e algoritmos) que se encarregam de fazer os encadeamentos (os raciocínios podem ser práticos, teóricos, morais), originando comportamentos ou padrões (trens de ações ou atos, também escolhas). Por detrás destes comportamentos dos agentes (robôs) descobrimos mentes artificiais que podem atingir graus de grande sofisticação, cobrindo os aspetos cognitivos/deliberativos, emocionais/afetivos e sociais (veja-se o Agent_Zero de Joshua Epstein, 2014), inspirados pelas neurociências, ou mobilizados pelas motivações. O pensamento, frequentemente aleatório, pode ser conduzido por impulsos, tentativa e erro, necessidades, desejos (a fonte dos comportamentos), e por uma quantidade enorme de motivos e causas. Muitas vezes um agente tem de refletir sobre as várias opções e preferências, fazer escolhas difíceis mesmo antes de tomar decisões e de agir. Os agentes estão continuadamente a adaptar os seus desejos, quer através das suas variadas motivações, ou graças aos mecanismos da imitação (o desejo não é linear, mas complexo e aparece sob a forma triangular, sujeito objeto mediador), da inveja, ciúme ou da competição. Algumas vezes recorrem também ao mecanismo da utilidade (Antunes et al., 2014).

O Watson, da IBM, e o AlphaGo, da DeepMind/Google, estão próximos de compreender o que queremos quando interatuamos com elas, pois o seu desempenho aproxima-se dos 100%. O prémio Loebner (uma espécie de teste de Turing) foi atribuído anualmente, de 1991 a 2016, embora nunca tivesse sido oferecida a menção de ouro ou a de prata. Em 2016, a menção de bronze foi ganha por Steve Worswick e pelo chat bot Mitsuku, o que foi interpretado como uma distinção, embora não tivesse sido atingida a compreensão total.

Pode um computador, hoje em dia, pensar? Quase, pois realiza o essencial (resolver problemas), ganha ascendente e adota um estilo próprio que surpreende o outro jogador, incluindo a capacidade de ler a sua mente, como no Poker, com o Libratus da CMU.

Referências:
Antunes, L., Nunes, D. e Coelho, H. The Geometry of Desire, Proceedings of the 13th International Conference on Autonomous Agents and Multiagents Systems (AAMAS 2014), Paris, Maio 5-9, 2014.
Epstein, J. M. Agent_Zero, Toward Neurocognitive Foundations for Generative Social Science, Princeton University Press, 2014.

Helder Coelho, professor do Departamento de Informática de Ciências
info.ciencias@ciencias.ulisboa.pt
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.

A Ciências ULisboa foi palco do mais recente workshop da International Atomic Energy Agency (IAEA). O “Regional Workshop on Nuclear and Radiation Education - Strategies and Approaches to Enhance Capacity Building in Nuclear Education and Training” realizou-se entre os dias 4 e 7 de dezembro e contou com a presença de 37 representantes de 25 países europeus e asiáticos, assim como de especialistas internacionais e delegados da IAEA.

Ricardo Trigo e membros da ULisboa e CGD

Ricardo Trigo é professor no Departamento de Engenharia Geográfica, Geofísica e Energia e investigador no Instituto Dom Luiz, no RG1 – Climate change, atmosphere-land-ocean processes and extremes. Este ano foi distinguido, pela segunda vez, pela ULisboa e Caixa Geral da Depósitos (CGD) com um prémio científico, na área das Ciências da Terra e Geofísica. O primeiro prémio científico atribuído pela ULisboa e pela CGD ao cientista ocorreu em 2017. Leia a entrevista com o cientista e saiba o que pensa sobre esta distinção e em que consiste a sua investigação.

salão nobre da Reitoria da ULisboa

Na edição de 2023 dos Prémios Científicos ULisboa / Caixa Geral de Depósitos (CGD) foram atribuídos 20 prémios e 20 menções honrosas a professores e investigadores da Universidade. Os cientistas da Ciências ULisboa alvo desta distinção foram Alysson Bessani, Ricardo Trigo e Vladimir Konotop, com prémios no valor de 6.500€; e Carla Silva, Jaime Coelho, José P. Granadeiro e Rita Margarida Tavares, com menções honrosas.

Rita Margarida Cardoso e membros da ULisboa e CGD

Rita Margarida Cardoso é investigadora no Departamento de Engenharia Geográfica, Geofísica e Energia e investigadora no Instituto Dom Luiz (IDL), no RG1 – Climate change, atmosphere-land-ocean processes and extremes. Este ano foi distinguido pela ULisboa e pela Caixa Geral da Depósitos (CGD) com uma menção honrosa, na área das Ciências da Terra e Geofísica. Leia a entrevista com a cientista e saiba o que pensa sobre esta distinção e em que consiste a sua investigação.

Vladimir Konotop e membros da ULisboa e da CGD

Vladimir Konotop é professor no Departamento de Física e investigador no Centro de Física Teórica e computacional da Ciências ULisboa. Este ano foi distinguido pela segunda vez, pela ULisboa e pela Caixa Geral da Depósitos (CGD) com um prémio científico, na área de Física e Materiais. O primeiro prémio científico atribuído pela ULisboa e pela CGD ao cientista ocorreu em 2017. Leia a entrevista com o cientista e saiba o que pensa sobre esta distinção e em que consiste a sua investigação.

Alysson Bessani e membros da ULisboa e CGD

Alysson Bessani é professor no Departamento de Informática e investigador no LASIGE Computer Science and Engineering Research Centre da Ciências ULisboa. Este ano foi distinguido pela ULisboa e pela Caixa Geral da Depósitos (CGD) com um prémio científico, na área das Ciências da Computação e Engenharia Informática. Leia a entrevista com o cientista e saiba o que pensa sobre esta distinção e em que consiste a sua investigação.

Luís Carriço e memebros da ULisboa e CGD

José P. Granadeiro é professor no Departamento de Biologia Animal e investigador no grupo de investigação Biologia da Adaptação e Processos Ecológicos do Centro de Estudos do Ambiente e do Mar (CESAM). Este ano foi distinguido pela ULisboa e pela Caixa Geral da Depósitos (CGD) com uma menção honrosa, na área de Biologia, Engenharia Biológica, Bioquímica e Biotecnologia. Leia a entrevista com o cientista e saiba o que pensa sobre esta distinção e em que consiste a sua investigação.

Páginas