UNIVERSIDADE FEDERAL DE GOIS ESCOLA DE ENGENHARIA ELTRICA E DE COMPUTAO GRADUAO EM ENGENHARIA DE COMPUTAO

TRABALHO DE INTELIGNCIA COMPUTACIONAL RESUMO - FUNDAMENTOS FILOSFICOS

ANDR CAMPOS RODOVALHO TIAGO DAFICO ISECKE

NOVEMBRO 2009

PARTE 1 IA fraca
Os filsofos j existem h muito mais tempo que os computadores, e vm tentando resolver algumas questes tambm relacionadas a IA: Como as mentes funcionam? possvel uma mquina inteligente como os homens? As mquinas inteligentes tm mentes? Dentre outras, como tambm as implicaes ticas destas mquinas inteligentes. IA fraca refere-se hiptese das mquinas agirem de forma inteligente, como se simulassem um pensamento, e no necessariamente pensassem como os humanos.

1.1

As mquinas podem agir com inteligncia? Alguns filsofos afirmam que a IA impossvel, que seria um

desperdcio de tempo estudar os processos de pensamento humano, j que a inteligncia nunca seria capaz de ser implementada em mquinas. Porm esta idia errnea, se buscarmos a essncia da IA, que a busca pelo melhor programa de agente de uma dada arquitetura, fica claro que podemos encontrar a soluo tima para a problemtica proposta. Ou seja, possvel implementar um comportamento inteligente. Os filsofos em sua maioria esto, no entanto, mais preocupados com a comparao Homem X Mquina, e formulam a seguinte pergunta: Mquinas podem pensar?. Mas esta indagao est na verdade mal formulada, pois dependemos de um conceito do que seria pensar, veja os exemplos seguintes. O questionamento Mquinas podem voar? respondido como afirmativo pela maioria das pessoas, j que consideram o avio como sendo mquina capaz de faz-lo. Quanto a Mquinas podem nadar? a resposta seria negativa, j que um barco ou submarino faria tarefa de navegar. Apesar de o resultado das aes serem o mesmo no contexto. Provavelmente um russo responderia afirmativo j que a palavra nadar em russo se aplicar tambm a navios. A questo simplesmente a definio da palavra pensar. Turing em seu ensaio Computing Machinery and Intelligence (1950) props um teste que avaliaria a inteligncia de uma mquina. Este teste composto por um sistema de perguntas e respostas em tempo real durante 5 minutos. A mquina dever enganar o interrogador durante 30% deste tempo para ser considerada inteligente. At hoje esta marca ainda no foi alcanada. Alm disso, Turing examinou uma ampla variedade de objees possibilidade de mquinas inteligentes. A seguir examinaremos algumas delas, e tambm outras levantadas no meio sculo seguinte publicao de seu ensaio.

1.2

O argumento da inaptido Este argumento afirma que uma mquina nunca poder fazer uma

tarefa a partir de um exemplo, ou seja, no aprender com a experincia. claro que computadores podem fazer coisas to bem ou melhor que os humanos, incluindo as tarefas que exigem perspiccia e compreenso humana. No entanto, isso no significa que os computadores utilizam a perspiccia e compreenso para faz-las. Uma mquina no pode ter senso de humor, ser amigvel, distinguir o certo do errado, e tambm desenvolver uma conversa ilimitada (Teste de Turing). Mesmo assim as mquinas jogam xadrez, tomam decises de especialistas, inclusive informando diagnsticos mdicos, e tudo isso utilizando algoritmos bsicos de aprendizado estatstico. Muitas vezes obtendo resultados mais satisfatrios que os de um especialista humano.

1.3

A objeo matemtica Sabe-se que certas questes matemticas no tem soluo para

sistemas formais especficos. O teorema da incompleteza um exemplo notvel.

Filsofos afirmam que esse teorema mostra que mquinas so mentalmente inferiores aos seres humanos, porque so sistemas formais limitados pelo teorema da incompleteza, sendo os humanos sem limitaes. Esta afirmao foi vastamente discutida, mas o ponto principal que um ser humano no seria capaz de calcular a soma de 10 bilhes de nmeros de 10 dgitos durante todo seu tempo de vida, porm um computador o faz em segundos. Os seres humanos desempenham um papel inteligente a milhares de anos antes de criarem a matemtica. Assim o raciocnio matemtica desempenha um papel perifrico no significado de ser inteligente. Ainda que aceitemos que os computadores tm limitaes sobre o que podem provar, no existe nenhuma evidncia de que os humanos sejam imunes a essas limitaes. muito fcil provar que um sistema formal no capaz de realizar certa tarefa, e em seguida afirmar que um humano pode realizar data tarefa. E impossvel afirmar que um ser humano esto sujeitos ao teorema da incompleteza.

1.4

O argumento da informalidade Este argumento baseia-se na afirmao de que o comportamento

humano complexo demais para ser capturado por qualquer conjunto simples de regras. Essa inabilidade de reunir todo um conjunto de regras chamada problema de qualificao em IA. Um filsofo, Dreyfus, afirmou que todo comportamento inteligente pode ser capturado por um sistema que racione logicamente a partir de um conjunto de fatos e regras que descrevem o domnio. Portanto este corresponde a um agente muito simples. Mas Dreyfus est correto ao afirmar que agentes lgicos so vulnerveis ao problema de qualificao, e sua crtica no aos computadores em si, mas maneira como so programados. Existe portanto sistema de raciocnio probabilstico, que so apropriados para domnios ilimitados. Dreyfus e Dreyfus (1986) propem um processo de aquisio de experincia, passando assim de crticos da IA para tericos da IA. A proposta baseia-se numa rede neural organizada em uma vasta biblioteca de casos, e para os problemas tambm citados, oferecem algumas opes de como trat-los. Alguns problemas incluem: Uma boa generalizao a partir de exemplos no pode ser alcanada sem conhecimento prtico. O aprendizado de redes neurais uma forma de aprendizado supervisionado, precisa-se de um treinador humano, portanto no podem operar de modo autnomo. Algoritmos de aprendizado no funcionam muito bem com muitas caractersticas, escolhendo algumas caractersticas, no haver modo de adicionar novas caractersticas. O crebro capaz de orientar muito bem seus sensores, e processar dados para extrair aspectos interessantes. Porm nenhum detalhe deste mecanismo conhecido, de maneira que este fato no pode orientar as pesquisas de IA.

Contudo, a IA evolui, pois todas essas questes esto agora incorporadas ao projeto de agentes inteligentes...

PARTE 2 IA forte
IA forte a hiptese das mquinas pensarem realmente, como os seres humanos e no apenas uma simulao do pensamento humano. Alguns pesquisadores de IA no se preocupam com esta hiptese, j que esto preocupados em criar programas que se comportem de maneira inteligente, no em saber se algum os considera reais ou simulados. Alm disso, verificar se uma maquina pensa realmente uma questo muito complexa de ser resolvida. Porm de maneira geral todo pesquisador tem que pensar na tica de seu trabalho. Criar um rob com pensamentos e inteligncia reais seria algo dentro da tica ou no? Alguns filsofos afirmam que se uma mquina passasse pelo teste de Turing ainda no estaria realmente pensando. Turing diz que a mquina teria de estar ciente de seus prprios estados mentais e de suas aes. Turing chama esse argumento de conscincia. Embora conscincia seja um assunto importante, os pesquisadores esto mais preocupados com a fenomenologia (estudo da experincia direta - a mquina precisa realmente sentir emoes) e com a intencionalidade (a questo de saber se as crenas, os desejos e outras representaes da mquina so realmente sobre algo que existe no mundo real). Verificar se mentes artificiais so reais complicado. Para outros tipos artificiais parece que existe uma conveno. Por exemplo: A uria artificial considerada uria, pois possui todas as propriedades fsicas corretas. Adoantes artificiais so adoantes.Por outro lado flores artificiais no so flores, ou uma pintura de Picasso artificial no uma pintura de Picasso, no importando a semelhana. Os processos mentais so semelhantes a flores, a uma obra de Picasso ou semelhantes uria? A teoria do funcionalismo diz que um estado mental qualquer condio causal intermediria entre entrada e sada. Portanto, segundo essa teoria, um

computador poderia ter os mesmos estados mentais de uma pessoa. J em contraste a teoria de naturalismo biolgico afirma que os estados mentais so caractersticas emergentes de alto nvel causadas por processos de baixo nvel nos neurnio, e que as propriedades fsicas dos neurnios so importantes. Neste caso para um computador ter os mesmos estados mentas de uma pessoa o programa teria de estar em uma arquitetura com o mesmo poder causal de um neurnio. 2.1 O problema da mente/corpo O problema consiste em como os estados e processos mentais esto relacionados a estados e processos fsicos. Existe a teoria dualista de Descartes que uma alma imortal interage com um corpo mortal. Ela combatida com a teoria materialista que sustenta que no existe nenhuma alma imaterial, s existem objetos materiais. Assim os estados mentais como sentir dor e acreditar que a capital do Brasil Braslia so estados do crebro. Essa teoria tem dois obstculos. O primeiro o livre arbtrio: de que maneira uma mente puramente fsica, da qual toda transformao governada pelas leis da fsica, retm alguma liberdade de escolha? O segundo diz respeito conscincia: em termos simples, por que possvel experimentar certos estados cerebrais e, presumivelmente, no experimentar outros estados fsicos? Para responder preciso entender sobre estados mentais e verificar se dois estados mentais pertencem ao mesmo tipo ou a tipos diferentes. Considerando estados intencionais como exemplo o estado mental do desejo por um hambrguer difere do estado mental desejo por uma pizza, porque hambrguer e pizza so coisas diferentes no mundo real, o que implica que os estados mentais tem um ligao com o mundo exterior. Porm foi sustentado antes que o estado mental deve ocorrer completamente dentro do crebro. Para examinar esse dilema recorre-se ao experimento de pensamento que tenta separar os estados intencionais de seus objetos exteriores.

2.2

O experimento de crebro em uma cuba O experimento consiste em imaginar que o crebro esta dentro de uma cuba

onde sinais eletrnicos so transmitidos para o crebro a partir de uma simulao por computador de um mundo inteiramente fictcio. Neste caso o crebro poderia ter o estado mental vontade de comer hambrguer, porm no a nenhum corpo para sentir fome e nenhum paladar para sentir gosto. Esse estado mental seria o mesmo de uma pessoa normal? Segundo a viso de contedo largo a de um observador externo, esses estados mentais seriam diferentes. Segundo o contedo estrito, cujo o ponto de vista subjetivo interno, esses estados seriam idnticos. Outro experimento seria supor uma pessoa X experimente como vermelha a cor que a pessoa Y percebe como verde. Ento em um semforo elas agiro do mesmo modo, mas a experincia ser diferente em algum aspecto. Mesmo que para as duas pessoas, por exemplo, a luz est vermelha, os estados mentais parecem diferentes. 2.3 O experimento da prtese cerebral Suponha que a neurofisiologia tenha se desenvolvido a ponto de que o comportamento de entrada/sada e a conectividade de todos os neurnios do crebro humano estejam perfeitamente compreendidos. Suponha que possamos construir dispositivos que imitem este comportamento e possam ter uma interface uniforme com o tecido neural. Suponha que uma tcnica cirrgica especial possa substituir gradualmente os neurnios da cabea de algum pelos dispositivos artificiais sem interromper o funcionamento do crebro. O experimento tambm afirma que aps o transplante o comportamento externo permanece o mesmo de antes da implantao. A questo haver perda da conscincia ou a conscincia permanecer inalterada? Se por exemplo aps o implante dos neurnios eletrnicos, cutucar o indivduo com um basto a resposta seria do tipo Ai, isso machuca. A questo : Essa resposta foi uma resposta consciente ou foi uma resposta que seguiu

uma regra do tipo Se a leitura do sensor 12 for Alto a sada dever ser Ai. Logo existe dois tipos de concluses: 1. Os mecanismos causais de conscincia que geram esses tipos de sadas em crebros normais ainda esto operando na verso eletrnica, que portanto consciente . 2. Os eventos mentais conscientes no crebro normal no tem nenhuma conexo causal com o comportamento, e foram omitidos do crebro eletrnico, que portanto no consciente.

2.4

O quarto chins Searle descreve um sistema hipottico que passa no teste de Turing mas

que (segundo Searle) o programa no entende nada de suas entradas e sadas. O sistema: um ser humano, que compreende apenas o portugus, equipado com um livro de regras escrito em portugus e diversas pilhas de papel, sendo algumas em branco e outras com inscries indecifrveis (o ser humano a CPU, o livro de regras o programa e o papel o dispositivo de armazenamento). O sistema est num quarto com uma pequena abertura para o exterior. Por essa abertura passam papis com smbolos indecifrveis. O ser humano encontra smbolos correspondentes no livro de regras e segue as instrues que podem incluir escrever smbolos em novas folhas de papel, encontrar smbolos nas pilhas, reorganizar as pilhas, etc. Eventualmente, as instrues faro com que um ou mais smbolos sejam transcritos em uma folha de papel que ser repassada ao exterior do quarto. Do exterior percebemos um sistema que est recebendo a entrada na forma de instrues em chins e est gerando respostas em chins, que so sem dvida inteligentes. Searle argumenta que a pessoa no quarto no entende o chins (dado inicial). O livro de regras e o papel no entendem chins. Ento, no est acontecendo nenhuma compreenso do chins. Por conseguinte, de acordo

com Searle, a execuo do programa correto no gera necessariamente compreenso. Embora fazer a pergunta se o ser humano no quarto entende chins o mesmo que perguntar se a CPU sabe efetuar razes cbicas. A resposta claramente no para ambos os casos, mas de acordo com a resposta de sistemas, o sistema inteiro tem a capacidade em questo.

PARTE 3 A tica e os riscos de desenvolver a IA

Muito mais importante que a discusso de podemos ou no desenvolver certas tarefas com IA, se devemos desenvolver certas tarefas. Algumas tecnologias desenvolvidas tm grande impacto na sociedade, algumas muito positivas, e outras o contrrio. O motor a combusto interna trouxe conforto e agilidade aos transportes ao passo que os estudos sobre a energia nuclear trouxeram armas nucleares, o desastre de Chernobyl, e o acidente com o csio 137. De maneira anloga, o avio trouxe velocidade de transportes intercontinentais, mas tambm se tornou arma de guerra poderosa. Em geral todas as profisses tm implicaes ticas, mas a IA pode oferecer modificaes mais bruscas, que discutiremos a seguir. 3.1 Pessoas poderiam perder empregos para a automao Atualmente as indstrias e servios se encontram altamente

informatizados, o que garante menos trabalho maante e empregos mais interessantes e mais remunerados. At agora os avanos da IA so positivos, mas pode no ser por tanto tempo, j que a informatizao diminui muito os custos de servios antes braais, e tambm pelo aperfeioamento de agentes inteligentes projetados para substituir seres humanos sistemas especialistas. 3.2 Pessoas poderiam ter muito (ou pouco) tempo de lazer Da virada do sculo para os dias atuais, a jornada de trabalho foi reduzida em 50%, e como a curva de crescimento tecnolgico exponencial, razovel prever que esta jornada diminuir ainda mais. Porm numa economia comum, um aumento de trabalho aumentaria a receita proporcionalmente, j na economia informatizada, um aumento pouco significativo no tempo de trabalho pode elevar muito os ganhos pela alta produtividade. E isso poder motivar as

pessoas e empresas a buscar cada vez mais trabalho, e aumentar exponencialmente os ganhos. 3.3 Pessoas poderiam perder seu sentido de identidade A terra j foi o centro do sistema solar, porm, sofremos um retrocesso de senso de identidade, no somos mais to importantes como nas pocas passadas. Com o aumento da importncia das mquinas, os humanos podero perder sua importncia moral, e ocupar cada vez mais posies perifricas no mundo. 3.4 Pessoas poderiam perder parte de seu direito privacidade Com o aperfeioamento dos sistemas de reconhecimento de voz, face e afins, poderemos ser cada vez alvos de investigaes que visam conter a violncia e o terrorismo. J se fala no sistema secreto dos governo dos Estados Unidos Echelon, consistido de uma rede de escutas de rdio, telefone e vrios outros, com capacidade para reconhecimento e anlise de falar, bem como a traduo de vrias lnguas. 3.4 O uso de sistemas resultando na perda de responsabilidade Os sistemas especialistas esto cada vez mais evoludos, e podem ter parcela maior de deciso que um especialista humano. Mas vejamos, se um diagnstico mdico dado por um sistema inteligente for irracional, quem dever ser culpado? E se um agente motorista atropelar um pedestre, quem dever responder por este crime? Estas indagaes so cada vez mais pertinentes, hoje h limites para at onde um sistema deste tipo autnomo. Para o caso do sistema de diagnstico mdico, ele tratado legalmente como uma bibliografia. 3.5 O sucesso da IA poderia significar o fim da raa humana Existem vrias fices onde as mquinas dominam os humanos e tomam conta do mundo, difcil prever qualquer comportamento deste tipo nas

mquinas, afinal elas so construdas para servir, porm so construdas com este propsito. E se fosse diferente? A exploso tecnolgica de inteligncia real, porm cabe aos profissionais da rea manterem o controle sobre esta tecnologia. Afinal, at ento o potencial para causar danos est em nossas mos, porm, muito em breve este potencial poder pertencer prpria tecnologia. Mas a hiptese mais provvel que no se separar pensamentos humanos de mquinas num futuro prximo, surgindo inclusive um novo termo transumanismo - que apesar da forte barreira moral atual, uma das previses mais razoveis para tanta possibilidade.