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
Gheorghe Dunca

No âmbito do mestrado integrado em Engenharia da Energia e do Ambiente, Gheorghe Dunca desenvolveu um barómetro de eficiência energética, já testado em algumas escolas da ULisboa.

Seminário Informal em Matemática no próximo dia 20 de Março, 6ªfeira, às 14h na sala 6.2.44.

 

Tema: Abordagem geométrica à teoria da representação, apresentado por João Dias.

O PAPSummer é o mais recente projecto da PAPS (Portuguese-American Postgraduate Society) e tem como objectivo dar a oportunidade e o privilégio a estudantes portugueses do ensino superior de realizar um estágio, com a duração de 4 semanas, em un

As coberturas ecológicas apresentam diversas vantagens, como por exemplo, a retenção da precipitação e a redução do efeito de ilha de calor, contribuindo para uma melhor qualidade de vida nas cidades.

Ao evocar o Terramoto de 1755, pretende-se ir construindo uma cultura de prevenção nos caminhos de Lisboa e, com isso, aumentar a resiliência e a segurança da capital face aos riscos de catástrofes. Ao passar pelo Campo Grande, o mote é o mesmo: “Ciências Faculdade + Resiliente + Segura”.

O Departamento de Engenharia Geográfica, Geofísica e Energia (DEGGE) de Ciências da ULisboa realiza um seminário sobre mobilidade sustentável no dia 19 de março de 2015.

À semelhança do que tem acontecido nos últimos anos, o Departamento de Química e Bioquímica de Ciências da ULisboa promove a realização de ações de formação para professores dos ensinos bá

O CVUniversitário é um curso teórico e prático de voluntariado universitário que pretende promover competências em voluntariado e contribuir para a implementação, disseminação e reconhecimento desta práti

A Exigo Consultores é uma empresa de consultoria em actividade desde 2001, focada na consultoria para o sector de saúde, principalmente a consultoria em economia da saúde, epidemiologia, análise matemática e esta

Se és Licenciado em Estatística Aplicada, Matemática Aplicada ou Matemática ou se és finalista de algum destes cursos, o Grupo Actualial pode ter a oferta de emprego que procuras.

Desvendado mistério com mais de meio século na atmosfera de Vénus.

Os painéis fotovoltaicos e a cobertura ecológica são dois exemplos de ações que visam a sustentabilidade do nosso campus e que podem ser replicadas noutros locais do país.

A Auchan Portugal Hipermercados pretende admitir Técnico de Reporting.

EU Joint Programme – Neurodegenerative Disease Research

A Unidade de Expressão Génica e Regulação do BioISI integra um dos dez consórcios europeus financiados pelo projeto “Common RNA-dependent pathways for motor-neuron degeneration in spinocerebellar muscular atrophy and amyotrophic lateral sclerosis”.

Dia 25 de Fevereiro, na Sala de Conferências da Reitoria da Universidade de Lisboa, das 10h00 às 12h30

A Bioenergetics, a equipa de Ciências da ULisboa, chegou à final do Leadership Tournament, venceu o desafio intermédio lançado pela SDG e prepara-se para participar na próxima edição do Global Management Challenge (GMC).

O Colégio Doutoral Mente-Cérebro tem como objetivo potenciar a capacidade organizacional, científica, formativa e técnica da Universidade de Lisboa (UL) no estudo da mente e do cérebro. O Colégio encontra-se aberto a todos os colegas com atividade nesta área que se proponham integrá-lo.

A. M. Galopim de Carvalho

2015 é o Ano Internacional dos Solos. O recurso fundamental à sobrevivência da humanidade surgiu no Silúrico superior, há cerca de 425 milhões de anos.

A Divisão de Ciências Físicas e Engenharia da King Abdullah University of Science and Technology (KAUST) está a oferecer oportunidades de estágios remunerados para estudantes, no seu campus da Arábia Saudita.

Pedro Veiga

Existem muitas tecnologias para aumentar a segurança no mundo dos computadores, mas muito mais importantes são os comportamentos de cada utilizador, em especial quando usam as populares e “gratuitas” aplicações.

SemEval 2015

André leal, aluno do mestrado em Engenharia Informática do Departamento de Informática (DI) de Ciências da ULisboa, obteve a segunda posição na SemEval-2015.

O "Enforcing Kids", projecto levado a cabo pelos alunos Cátia Raminhos e Jorge Santos, alunos de mestrado da FCUL, volta a

Páginas