EVERTON THIARLES DOS SANTOS

TRABALHO DE TPICOS DE LGICA I: INTELIGNCIA ARTIFICIAL: CONSCINCIA E AUTOCONSCINCIA

LONDRINA

2011

EVERTON THIARLES DOS SANTOS

TRABALHO DE TPICOS DE LGICA I: INTELIGNCIA ARTIFICIAL: CONSCINCIA E AUTOCONSCINCIA

Trabalho realizado no 3 ano do Curso de Filosofia, como objeto de estudo da disciplina Tpicos de Lgica I da Universidade Estadual de Londrina. Prof. Dr. Carlos Luciano Manholi

LONDRINA 2011

INTRODUO

No presente artigo pretende-se demonstrar conceitos ligados a filosofia da mente fazendo uma breve introduo sobre este tema, logo aps discorrendo de como a inteligncia em um programa criado artificialmente pode ser criado. Refletindo se uma maquina pode ser criada para pensar como um ser humano comum ou at agir como tal. Usando o pensamento de Alan Turing de suas teses como a mquina de Turing e o teste de Turing com abordagem no pensamento de Roger Penrose em seu livro intitulado de A Nova Mente do Rei para debater sobre, que so dois grandes pensadores do tema abordado e usando de aplicaes lgicas para isso.

INTELIGNCIA ARTIFICIAL E ALAN TURING

Para a maioria dos indivduos o computador ainda uma maquina estranha e as vezes amedrontadora. E o principio, ou seja, seu funcionamento de certo modo simples, no entanto devia ser descoberta. E esta descoberta veio de Alan Turing, matemtico ingls que viveu nos meados de 1912 1954. Em 1930, na tentativa de resoluo de um problema matemtico muito complexo, acabou por criar a chamada Mquina de Turing. Esta maquina hipottica1 era formada da seguinte maneira, era usada por uma fita de papel infinita com smbolos e marcas, contidos em quadrados designando a rea de cada smbolo. Uma mquina um dispositivo fsico que foi projetado e construdo por seres humanos, eventualmente usando outras mquinas ou produtos delas. No h nenhuma mquina, mesmo que abstrata, que expresse autodeterminao, como a liberdade requer autodeterminao, as mquinas no podem ser livres.

Considerando a palavra hipottica por conter atributos de infinitude.

Esta uma concepo abstrata de um computador, sendo que a cada instante essa mquina se encontra em um determinado estado, dentre um nmero finito de estados. Este conceito utilizado por Turing em seu artigo intitulado como On computable numbers, with na application to the Entscheidungsproblemde 1936. Ela utiliza uma fita infinita dividida em clulas. Cada clula pode estar em branco ou conter um smbolo de um alfabeto finito. A mquina tem uma cabea de leitura e de gravao, a qual se encontra sempre sobre uma das clulas da fita. Uma instruo da mquina de Turing executada da seguinte maneira: estando em um determinado estado, a cabea l o smbolo na clula da fita que est sob ela, baseada neste smbolo e no seu estado atual, a mquina grava um smbolo (outro ou o mesmo) na clula que est sob ela. Em seguida, a mquina move a cabea (ou ento a fita) para a direita ou para a esquerda um certo nmero de clulas e, finalmente, muda para um dentre os estados possveis,esta seqncia de operaes executada at que se atinja um estado particular, denominado estado final, ou at que uma dada instruo no possa ser executada, ou seja, no existe ao determinada para o estado da mquina, smbolo lido. Segundo a tese de Church-Turing2, qualquer procedimento computacional pode ser executado usando a mquina de Turing. Logo, qualquer computador digital real pode ser simulado empregando-se a mquina de Turing, razo pela qual ela denominada de mquina universal.

O TESTE DE TURING

Em 1950 Turing teve uma intuio de que nosso pensamento uma atividade interior muito especial, e que seria eventualmente impossvel descrever seu processo cientificamente:

Teses apresentadas nos respectivos trabalhos, On Computable Numbers, with an Application to the Entscheidungsproblem e A Note on the Entscheidungsproblem,de Turing e Church.

Ser que as mquinas no poderiam realizar algo que deveria ser descrito como pensar mas que muito diferente do que um ser humano faz? Esta objeo muito forte, mas ao menos podemos dizer que se, contudo, uma mquina puder ser construda para jogar o jogo da imitao satisfatoriamente, ns no precisamos nos preocupar com essa objeo.

O teste de Turing afirma que um computador pode ser chamado de inteligente se ele puder enganar um ser humano ao faz-lo acreditar que o computador um humano. O teste consiste em um ser humano realizar um interrogatrio atravs de um terminal, visando descobrir se do outro lado do terminal se encontra um ser humano ou um computador. Caso seja um computador que esteja fornecendo as respostas e o interrogador no conseguir decidir se trata de um ser humano ou um computador, ento este computador dito ter sido aprovado no teste de Turing. H variantes do teste de Turing, dentre as quais se destacam: a) O interrogador tem do outro lado do terminal um humano e um computador, sendo que o objetivo dizer quem o humano e quem o computador. O teste de Turing equivalente ao jogo do fingimento, onde existem trs participantes, sendo um homem, uma mulher e um interrogador de qualquer sexo. b) O objetivo do jogo o interrogador, atravs de perguntas aos participantes e sem ter acesso a aspectos fsicos dos entrevistados, tentar identificar quem o homem e quem a mulher, sendo que o homem tenta impedir que a discriminao seja realizada pelo interrogador.

Turing sugere que questionamentos sejam restritos para que habilidades e/ou deficincias especficas ser humano/mquina sejam irrelevantes. Com este teste, Turing abre mo de atributos necessrios para a caracterizao de uma mquina como um sistema inteligente, assunto discutido na

seo introdutria. Infelizmente, no existem ainda mecanismos sistemticos para se medir o grau de atendimento dessas capacidades por parte de sistemas artificiais. Da a relevncia da proposta de Turing, que hoje se encontra difundida na forma de chatterbot3.

CONSCINCIA E AUTO-CONSCINCIA

Embora no exista consenso a respeito de como o fenmeno de conscincia deve auto-conscincia. Conscincia: Conhecimento imediato da sua prpria atividade psquica ou fsica. Auto-conscincia: conscincia que adquire capacidade de refletir sobre si mesma, que se reconhece como o domnio da racionalidade, do pensamento, ou dos chamados estados interiores; conscincia-de-si. Animais tm conscincia, mas no tm auto-conscincia. A conscincia de animais e seres humanos depende de sentimentos. Apenas seres humanos podem ser auto-conscientes, devido sua capacidade de pensar e introduzir novidades no mundo. Assim sendo, podemos considerar que Conscincia sentimentos || Auto-conscincia pensamentos. A maioria dos filsofos questionam a possibilidade de explicar as razes e o modo como o homem desenvolve uma experincia subjetiva do mundo
3

ser estudado ou definido, segue de definio para conscincia e

Chatterbot consiste em ser programa de computador que tenta simular um ser humano na conversao com as pessoas. O objetivo responder as perguntas de tal forma que as pessoas tenham a impresso de estar conversando com outra pessoa e no com um programa de computador. Aps o envio de perguntas em linguagem natural, o programa consulta uma base de conhecimento e em seguida fornece uma resposta que tenta imitar o comportamento humano.

com base estritamente em efeitos materiais, sejam eles clssicos ou qunticos. Outros pesquisadores duvidam que a neurocincia tradicional, embora venha obtendo sucesso ao desvendar vrios atributos da mente, seja capaz de explicar o fenmeno da conscincia. Mesmo assim, o fenmeno da conscincia vem ganhando um carter de legitimidade cientfica graas principalmente aos esforos pioneiros de Francis Crick, bioqumico e neurocientista do Salk Institute for Biological Studies (San Diego), que compartilhou um Prmio Nobel de Medicina em 1962 pela descoberta da estrutura do DNA. Basicamente, sua proposta desvendar o fenmeno da conscincia atravs de modelos anlogos queles que explicam a transmisso de informao gentica por meio do DNA, e que combinam conceitos como ateno e memria de curto prazo. Roger Penrose, fsico da Oxford University, props que os mistrios da mente devem estar relacionados com os mistrios da mecnica quntica, capaz de explicar efeitos no-determinsticos que as teorias clssicas no podem descrever (teoria dos microtbulos qunticos). Pesquisadores do Santa Fe Institute sugerem que os fenmenos da mente, incluindo o fenmeno da conscincia, correspondem a fenmenos emergentes (imprevisveis e irredutveis). Gerald Edelman, outro a compartilhar um prmio Nobel, agora em 1972 e por pesquisas com anticorpos, defende que o fenmeno da conscincia deriva de um processo denominado neurodarwinismo, em que grupos de neurnios competem entre si para criar uma representao efetiva do mundo.

MQUINAS DE TURING E A MENTE HUMANA

O objetivo dessa parte do texto dar bons argumentos de porque podem existir verdades acessveis a mente humana que no so acessveis a uma

mquina de Turing. Isso foi proposto inicialmente pelo matemtico Kurt Gdel no artigo de 1951 intitulado: Some basic theorems on the foundations of mathematics and their implications e posteriormente retomado por inmeros matemticos e filsofos como J.R. Lucas, Ernest Nagel ou Roger Penrose. Irei reproduzir o argumento dado por Penrose no livro Shadows of the mind de 1994 fazendo uso livre do simbolismo lgico previamente apresentado: Seja a serie de todas as computaes aplicadas exclusivamente a n: s = C1(n), C2(n), C3(n), .,Cq(n), .

Defina-se (x) como: x uma computao que chega a um fim. Para saber se Cq(n) chega a um fim temos que fazer outra computao A(n,q) que para se e somente se Cq(n) no para: [Cq(n)] [A(n,q)] ( * )

Consideremos o caso especifico q = n: [Cn(n)] [A(n,n)]

Mas A(n,n) pertence a serie s, ou seja, uma certa computao aplicada exclusivamente a n. Assim: A(n,n) = Ck(n). Segue que: [A(n,n)] [Ck(n)]

Consideremos o caso n = k: [A(n,n)] [Cn(n)]

Para no contradizer * segue que: {[Cn(n)]}. No entanto isso no decidvel usando-se A(n,q) pois [A(n,n)] e disto seguiria que [Cn(n)] e uma verdade matemtica. Logo existem verdades matemticas que ultrapassam a apreenso de qualquer mquina de Turing e isso uma propriedade inerente desse tipo de mquina. Gdel afirma que ou existem problemas matemticos insolveis ou a mente humana (mesmo dentro do reino da matemtica pura) supera infinitamente o poder de qualquer mquina finita, pois se a mente humana no ultrapassa uma maquina de Turing ela est sujeita as mesmas limitaes desta. Um algoritmo de uma mquina de Turing pode ser visto, como ressalta Gdel, como um sistema formal de axiomas.Um sistema axiomtico pode ser visto como um computador que gera todas as conseqncias de um determinado conjunto de axiomas. Ao demonstrar que a noo de prova (bem como inmeras outras noo) era recursiva Godel mostrou que havia uma ligao direta entre sistemas axiomticos e recursividade, recursividade nada mais que computao. Se um sistema axiomtico consegue decidir sobre todas as verdades matemticas as provando, ento o conjunto de verdades matemticas decidivel, no sentindo em que existe um procedimento mecnico que decide se uma dada sentena verdade ou no se ela pertence ou no ao conjunto de teoremas do sistema. Ora, se uma maquina de Turing no consegue decidir a cerca de todas as verdades matemticas (i.e.: [Cn(n)]) ento no existe procedimento mecnico que ir decidir a cerca do conjunto de teoremas verdadeiros, logo nenhum sistema axiomtico poderia provar todas as verdades matemticas. Esse mesmo raciocnio tem validade se a cadeia for invertida, ou seja, o fato de uma mquina de Turing no poder apreender todas as verdades matemtica implica no teorema da incompletude, em certo sentido esse fato apenas uma outra maneira de enunciar tal teorema.
Let be any class of formulae. We denote with Conseq() the smallest set of formulae that contains all formulae of and all axioms and is closed under the relation immediate consequence. is called -consistent if [there is no formula a with one free variable where we can derive a(n) for all n, but also n a(n), a contradiction: -cons(A) = a [(A a(n))^(A a(n))]] ()

Theorem VI: For every -consistent primitive recursive class of formulae there is a primitive recursive class-sign r such that neither forall(v,r) nor not(forall(v,r)) belongs to Conseq() (where v is the free variable of r). (Gdel(1931), On formally undecidable propositions of Principia Mathematica and related systems)

A diferena que da forma que eu apresentei antes se est evidenciando uma de suas possveis conseqncias. interessante notar que no geral o que est prova faz mostrar que um algortimo A(q,n) que decida se algortimos param falha quando o algoritmo em questo ele mesmo, em outras palavras substituindo em : [A(n,q)] [A(n,q)]

uma contradio. Para que -cons(A(q,n)) seja valida temos que assumir que a finitude ou no da computao A(n,q) indecidivel. Talvez isso seja de alguma maneira equivalente ao segundo teorema da incompletude que diz:
For any well-defined system of axioms and rules () the proposition stating their consistency (or rather the equivalent number-theoretical proposition) is undemonstrable from these axioms and rules, provided these axioms and rules are consistent and suffice to derive a certain portion of the finitistic arithmetic of integers. (Gdel(1951), Some basic theorems on the foundations of mathematics and their implications).

Ou seja, a consistncia de um sistema indecidivel dentro do prprio sistema. Citando o artigo de 1951 mais uma vez:
This requirement for the rules and axioms is equivalent to the requirement that it should be possible to build a finite machine, in the precise sense of a Turing machine, which will write down all the consequences of the axioms one after the other. [Ou seja eles estaro fechados sob a relao de conseqncia imediata.] For this reason, the theorem under consideration is equivalent to the fact that there exists no finite procedure for the systematic decision of all diophantine problems of the type specified.

Solomon Feferman, matemtico e editor das obras completas de Gdel, aponta que o autor do artigo citado acreditava que, considerando a matemtica enquanto conjunto de verdades demonstrveis - em oposio a matemtica enquanto sistema formal consistente -, era possvel produzir uma deciso sistemtica para todas as equaes diofantinas e que a mente humana superava qualquer mquina finita. Apesar de considerar que as 3 (trs) possibilidades da proposio mente humana supera qualquer maquina finita existem problema diofantinos insolveis serem possveis. As conseqncias de se admitir que a mente humana uma mquina de Turing so bons argumentos para se acreditar no contrario, pois essas conseqncias so todas relativamente desconfortveis. Primeiro, admitir essa possibilidade tem conseqncias

desconfortveis para a filosofia da matemtica, pois parece apontar para um platonismo. Se existem equaes diofantinas absolutamente insolveis seria estranho afirmar que os objetos matemticos so criao humana, pois o criador deveria, ao menos em possibilidade, conhecer a criatura. O material do quais so feitos os objetos matemticos o puro pensamento e parece impossvel que uma criao que feita de nada mais alem dos pensamentos do criador ser absolutamente impossvel de se conhecer por completo. (Godel, 1951). Em segundo, admitir essa possibilidade de que a mente humana uma mquina de Turing tem conseqncias desagradveis para a filosofia da mente. Se a mente humana algortmica ento esse algoritmo nunca poder ser conhecido de uma forma que consideraramos hoje como satisfatria, pois ao dizermos que entendemos de fato como um mecanismo funciona nos estaramos afirmando a sua consistncia, mas ai estaramos fazendo uma afirmao impossvel para a mente humana . Poderamos ainda aceitar um tipo de conhecimento em que nada poderia nunca ser dito sobre a consistncia do que conhecido o que algo que raramente se compatibiliza com a noo que temos de realmente conhecer um mecanismo. (Penrose, 1994).

REFERNCIAS

HODGES, Andrew. Turing: um filosofo da natureza. So Paulo: UNESP, 2001. TEIXEIRA, Joo de Fernandes. Mentes e mquinas: uma introduo a cincia cognitiva. Porto Alegre: Artes mdicas, 1998 PENROSE, Roger. A Mente Nova do Rei- computadores, mentes e as leis da fsica. Rio de Janeiro: Campus, 1993 PENROSE, Roger. Shadows of the Mind: a search for the missing science of consciousness. Oxford University Press, 1994 GDEL, kurt. Bookmarks. Disponvel em:<http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf>. Acesso em: 20 nov. 2010.