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

O Professor Armando Machado vai dar uma lição intitulada ‘A perspectiva em geometria’ na próxima quinta-feira dia 4 de Junho pelas 14h na sala 6.2.45.

A Unidade de Epidemiologia do Instituto de Medicina Preventiva e Saúde Pública da Faculdade de Medicina da Universidade de Lisboa encontra-se a recrutar candidatos para a função de

A Nortempo empresa multinacional ibérica que aposta num portefólio de serviços de recursos humanos alargado, está a recrutar um Técnico de Risco (M/F)  para empresa na áre

A Nortempo empresa multinacional ibérica que aposta num portefólio de serviços de recursos humanos alargado, está a recrutar um Técnico de Risco (M/F)  para empresa na área da Banca.

As Noites de Ciências, Noites de Luz propõem atividades gratuitas e interativas - com sessões de perguntas/respostas após cada palestra -, transmitidas em direto pela Internet. O ciclo iniciado em abril, continua em maio e nos meses seguintes.

No âmbito das acções de divulgação científica e de promoção do DI-FCUL, os professores visitaram a 28 de Maio a Escola Secundária D. Dinis, em Lisboa, para dias palestras intituladas respectivamente  "Robôs Móveis, por fora e por dentro" e "Quem roubou a minha identidade digital?".

O curso decorrerá entre 8 de Junho a 9 de Julho, de segunda a quinta feiras, 4h por dia, 4 dias por semana. 

Imagina que era possível experimentar um curso universitário antes de concorreres ao ensino superior?

O curso decorrerá entre o dia 13 e 25 de julho de segunda a sexta-feira das 17h às 20h e sábados das 09h às 17h. O objetivo principal deste curso será dar a conhecer as tecnologias de produção e armazenamento utilizadas em micro-redes de energia elétrica e respetiva formação em HOMER Pro (v.

As eleições dos membros dos Conselhos Científico e Pedagógico da Faculdade de Ciências da ULisboa ocorrem nos dias 26 e 27 de maio, entre as 9h00 e as 20h00, no átrio do edifício C3.

Ciências tem paixão pelas coisas do mar. A sua multidisciplinaridade fê-la receber o Prémio Scientia Mare 2015.

O seminário "Emergências Radiológicas" realiza-se a 28 de maio de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

Seminário Informal em Matemática no próximo dia 25 de Maio, 2ªfeira, às 14h na sala 6.2.44.

 

Tema: Teoria de super-caracteres do grupo unitriangular infinito", apresentado por Jocelyn Lochon.

A UNBABEL, start-up de antigo aluno do DI-FCUL, o Vasco Pedro, licenciado em Engenharia da Linguagem e do Conhecimento, é uma d

O seminário "Machine Learning: Introduction and selected applications" realiza-se a 21 de maio de 2015, entre as 12h00 e as 13h00, no edifício C8, anfiteatro 8.2.47.

O Departamento de Informática da Faculdade de Ciências da ULisboa organiza este ano a terceira edição do FCUL Rally Pro.

Aula aberta: Solos. Prof. Galopim de Carvalho

O Núcleo de Estudantes de Geologia (NEG FCUL), em colaboração com o Departamento de Geologia da Faculdade de Ciências da Universidade de Lisboa, tem o privilégio de receber o nosso tão acarinhado Professor Doutor António Galopim de Carvalho para uma

O evento inclui testemunhos. Os alunos de Ciências da ULisboa interessados em participar na sessão de esclarecimento devem inscrever-se.

No âmbito do Erasmus + strategic partnership ParIS (Partnership in Information Security), estudantes da Polónia, do Luxemburgo e de Portugal, nomeadamente do Departamento de Informática da Faculdade de Ciências da ULisboa, participaram recentemente no primeiro programa

A UNBABEL, start-up de antigo aluno do DI-FCUL, o Vasco Pedro, licenciado em Engenharia da Linguagem e do Conhecimento, é uma d

Mestrados do DBA de 2014 a 2016

Está a decorrer até dia 11 de junho de 2015 um trial  da eLS – Encyclopedia of Life Sciences, da editora Wiley. O acesso deve ser através da ligação

Realiza-se na Universidade Aberta (UAb), no dia 19 de Maio de 2015, pelas 15h, no Auditório 3 (Palácio Ceia, Rua da Escola Politécnica, 147, Lisboa), o Seminário de Matemática na Aberta Resolução numérica de equaç&o

Páginas