Anais do 14O Encontro de Iniciao Cientfica e Ps-Graduao do ITA XIV ENCITA / 2008 Instituto Tecnolgico de Aeronutica, So Jos dos

s Campos, SP, Brasil, Outubro, 20 a 23, 2008.

UM BREVE HISTRICO DO DESENVOLVIMENTO DA LGICA MATEMTICA E O SURGIMENTO DA TEORIA DA COMPUTAO

Paulo Marcelo Tasinaffo
Coordenador PIBIC/XIV ENCITA 2008 ITA-IEC Cincia da Computao. tasinaffo@ita.br

Resumo: Este artigo, de cunho mais histrico e descritivo do que tcnico, fornece um apanhado geral do desenvolvimento histrico da lgica matemtica e suas contribuies para o surgimento da teoria da computao e assim, a do prprio computador. Neste sentido, importante relatar que o pai da inteligncia artificial, Alan Turing, tambm considerado um dos maiores colaboradores para o surgimento da teoria da computao - ao redor do ano de 1936 e juntamente com o matemtico americano Alonzo Church - pois a partir dos trabalhos da completeza e incompleteza de Kurt Gdel prope e concebe uma mquina de estados ideal ou mquinas de Turing assumindo o fato de que nem tudo pode ser computvel e assim refutando a afirmao precipitada de Leibniz, feita ainda no sculo XVII. notvel o fato de que os princpios bsicos da lgica matemtica j haviam sido argumentados por Aristteles e seus discpulos j na Grcia antiga h aproximadamente 250 anos antes de Cristo e tomando um novo rumo a partir de meados do sculo XIX com os trabalhos pioneiros do ingls George Boole e do alemo Gottlob Frege. No desenrolar deste artigo dada tambm uma introduo terica sobre os clculos proposicional e de predicados de primeira ordem visando uma compreenso mais detalhada da prpria lgica matemtica dentro do contexto histrico. Consideraes finais a respeito do conceito de inteligncia de mquinas so relatadas a partir de exemplo atual da robtica emergente. Palavras-chave: lgica matemtica, teoria da computao, clculo proposicional, clculo de predicados, teoremas de completeza e incompleteza. 1. Introduo. Neste trabalho pretende-se apresentar uma introduo histrica e conceitual sobre a lgica matemtica e suas razes no surgimento da prpria filosofia dos gregos antigos, principalmente pela obra de Aristteles (384 322 a.C.), pois ainda hoje a humanidade influenciada pelos seus pensamentos. Aristteles considerado o fundador da cincia, pois organizou e pesquisou conhecimentos de muitos assuntos cientficos. Sua obra filosfica sobre lgica chegou at ns atravs do livro Organon, que relata os instrumentos para se proceder corretamente no pensar (Silva Filho, 2000). O significado do termo Organon o de instrumento para se proceder corretamente no pensar. O Organon composto de seis tratados (Silva Filho, 2000): 1. Categorias, 2. Da Interpretao, 3. Primeiros Analticos, 4. Segundos Analticos, 5. Tpicos, 6. Argumentos Sofdicos. Posteriormente, estes estudos foram denominados Logike, resultando finalmente na denominao latina Lgica (Silva Filho, 2000). Interessante observar que a lgica Aristotlica perdurou por mais de 2300 anos e inegavelmente no pode ser substituda, mas por outro lado pode ser aperfeioada e evoluda. Posto isto a lgica matemtica como a conhecemos hoje atravs de uma notao matemtica formal e axiomtica comeou a ser estabelecida definitivamente a partir dos trabalhos de George Boole (1815 1864 d.C.) publicando em 1854 o livro Uma Pesquisa Sobre as Leis do Pensamento. Um fato curioso o degrau imenso que h no tempo entre Aristteles e George Boole. Entretanto, um fato mais curioso ainda o de que hoje se tem um conhecimento extraordinrio, sobre a lgica matemtica, adquirido somente depois da metade do sculo XIX, embora no cunho filosfico a lgica tenha sido desenvolvida desde os primrdios da humanidade, e, neste sentido, a razo estava voltada para a prpria sobrevivncia. Pensamentos, raciocnios, inferncias e conhecimentos, enquanto processos psicolgicos, que se passam na mente do indivduo, no podem ser objeto de investigao. O que se pode investigar so os frutos de tais processos, ou seja, expresses lingsticas (Lenidas Hegenberg, 1977). Investigar as relaes existentes entre a razo e a lgica pode ser vista como o modo pelo qual a atividade racional muitas vezes refletida pela prpria lgica ao realizarem-se ligaes diretas do pensamento humano com as experincias do mundo. Neste contexto, uma das caractersticas da razo a de poder executar suas atividades a partir de conceitos at certo ponto vagos e inexatos, no exigindo preciso absoluta, mas podendo ser melhorada gradativamente atravs da linguagem (Newton da Costa, 1978). Entende-se, que neste processo, a perfeio total da razo , no entanto, inatingvel. interessante observar que a lgica matemtica possui uma notao compacta contendo muitas informaes, mesmo quando expressa em poucas linhas, fazendo dela um meio profundo para refletir sobre o pensar, mas ao mesmo tempo tentando economizar pensamento para isto. Este artigo pretende dar uma introduo conceitual e principalmente histrica sobre o desenvolvimento desta disciplina considerada contemporaneamente como um ramo importantssimo da prpria cincia. A seo dois deste artigo traz uma descrio histrica e temporal sobre a lgica

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

matemtica com ilustraes e fotografias dos principais filsofos gregos e contemporneos, tais como, Aristteles, Zenon de Elia, Blaise Pascal, Leibniz, Russell, entre outros. A seo trs traz consideraes formais simples sobre os clculos proposicional e de predicados indicando como transformar uma linguagem natural, como o portugus ou ingls, para uma linguagem matemtica de predicados, sendo esta ltima - do ponto de vista formal perfeitamente consistente, enquanto que na primeira nem sempre isto acontece. A seo quatro discute um pouco da importncia histrica que o desenvolvimento da lgica matemtica trouxe para o desenvolvimento da teoria da computao e o surgimento do prprio computador. A seo cinco discute algumas consideraes sobre a inteligncia artificial, pois os primeiros trabalhos de teoria de computao so tambm atribudos ao pai da inteligncia artificial, Alan Turing. A seo seis traz algumas pequenas concluses e consideraes sobre o vasto campo da lgica matemtica. A lgica uma cincia que estuda as leis do pensamento (Joo Incio da Silva Filho). A cincia das formas do pensamento (Louis Liard , 1846-1917). A lgica formal, tradicionalmente, diz respeito anlise de sentenas ou de proposies e da prova com ateno para a forma em abstrao de seu contedo (Alonzo Church, 1903 - 1995). 2. Descrio Histrica e Temporal Sobre a Lgica Matemtica. A Introduo do livro Organon (Aristteles 384 a.C. 322 a.C.) comea da seguinte forma: Coisas so ditas serem denominadas equivocamente quando, embora elas tenham um nome em comum, a definio correspondente com o nome difere para cada uma delas. Desta forma, um homem real e uma figura, em um quadro, pode ambos poder sustentar o nome animal; ainda que estes sejam equivocamente denominados, para, embora eles tenham um nome em comum, a definio correspondente com os nomes difere entre si...; Por outro lado, coisas so ditas serem denominadas univocamente quando ambas possurem um nome e uma definio para cada nome em comum. Um homem e um boi so ambos animais, e eles so univocamente denominados, mas tambm a definio, a mesma, em ambos os casos: neste sentido, se foi estabelecido uma definio para o homem, a mesma dever ser vlida para o boi.... A Grcia Antiga e os livros modernos de lgica dos sculos XIX e XX tm muito em comum. Os livros de lgica matemtica clssica adotam esta idia inicial de Aristteles, da seguinte forma (Stolyar, 1970): (i) So permitidos sinnimos na lgica matemtica (palavras diferentes com mesmo significado); Exemplo: tanto faz termos os substantivos casa ou lar para relacion-las definio de a residncia de algum. (ii) No so permitidos heternimos na lgica matemtica (palavra com mais de um significado); Exemplo: no se pode utilizar a palavra cometa para relacion-las simultaneamente definio de um astro no cu e a um meio de transporte (a empresa Cometa de transportes por nibus), embora na linguagem natural isto seja permitido. Eis alguns exemplos elucidativos: A casa um lar, Popovic um astronauta, Mrio mora na casa, Encontrei Popovic na rua ontem, Conseqentemente; Mario mora no lar. Conseqentemente; Encontrei uma astronauta na rua ontem. Algum inventou o rdio, Encontrei algum na rua ontem, Conseqentemente; Encontrei o inventor do rdio na rua ontem.

Aristteles (384 322 a.C.)

Eucldes (aproximadamente 300 a.C.)

Zenn de Elea (490 430 a. C.)

Figura 01 Trs filsofos gregos famosos.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Nas trs argumentaes anteriores as duas primeiras so vlidas, enquanto a ltima no o . Entretanto, notria no s a participao de Aristteles (fundador da escola Aristotlica) no desenvolvimento da filosofia, da lgica, da matemtica e da teoria formal axiomtica no perodo grego antigo, mas tambm se citam: Euclides (fundador da escola Megrica) e Zenon (fundador da escola dos Esticos). A figura 01 traz as imagens destes trs ilustres filsofos e matemticos (fonte: biblioteca virtual Wikipdia). As principais diferenas entre essas trs escolas so (Lenidas Hegenberg, 1977): a) lgica das classes ou de predicados (aristotlica) e lgica de proposies (Estico-Megrica); b) Lgica de condicionais expressos na linguagem objeto (Aristotlica) e lgica de inferncia e metalinguagem (Esticos e Megricos); e c) Notao Estico-Megrica diferente da Aristotlica. Alm disto, existem trs fortes princpios que do lgica uma sustentao profunda sobre o real: 1) Princpio da Identidade: A A; 2) Princpio do Terceiro Excludo P P ; e 3)Princpio da No-Contradio ( P P ) . O Princpio da Identidade est fortemente vinculado verdade, ou seja, quando algo ocorre jamais se deve negar essa ocorrncia. O Princpio do Terceiro Excludo est fortemente vinculado consistncia dos acontecimentos, ou seja, ao fato que pelo menos uma das duas proposies P ou P verdadeira. O Princpio da No-Contradio afirma que contradies na lgica no so permitidas. Este princpio est fortemente vinculado ao fato de que ao menos uma das proposies P ou P falsa. Entende-se aqui por proposio toda sentena lingstica em que se pode atribuir um valor de verdade (1) ou um valor de falcia (0). Por exemplo, a proposio A casa azul ser verdadeira se realmente a casa for azul, mas falsa se a casa for de outra cor. Dando continuidade ao raciocnio, um argumento composto por n+1 proposies, sendo as n primeiras denominadas premissas do argumento e a ltima a tese deste argumento, a equao (1) ilustra a representao matemtica para ele.

1 , 2 ,L , n
Assim, faz-se pertinente definio formal de argumentos vlidos e argumentos invlidos, ou seja,

(1)

Argumento vlido aquele no qual a concluso ser verdadeira quando todas as premissas forem simultaneamente verdadeiras. Argumento invlido aquele no qual a concluso ser falsa quando todas as premissas forem simultaneamente verdadeiras. importante ressaltar o fato de que na lgica matemtica preocupa-se com o estudo de encontrar relaes matemticas que sempre conduzam a argumentos vlidos. Estas relaes so muito importantes do ponto de vista conceitual e por isto recebem o nome de regras de inferncia. Um fato histrico curioso e intrigante com respeito aos filsofos gregos e uma questo abordada ainda por eles mesmo, h mais de 2300 anos, saber quem foi o primeiro filsofo grego. Registros histricos deixados pelos prprios gregos afirmam que o primeiro deles foi Tales de Mileto (624/625 556/558 a.C.). A figura 02 traz o retrato artstico do mesmo (fonte: biblioteca virtual Wikipdia). Tales apontado como um dos sete sbios da Grcia Antiga. Tales considerava a gua como sendo a origem de todas as coisas e que o mundo evoluiu da gua por processos naturais. dele tambm o famoso teorema de Tales da geometria.

Tales de Mileto (624/625 556/558)

Figura 02 Tales de Mileto considerado o primeiro filsofo grego. atribudo a Euclides a obra The Thirteen Books of Euclids Elements. Este documento relata a geometria Euclidiana em profundidade e que vigorou por mais de 2300 anos na histria de desenvolvimento da matemtica, refutada pela primeira vez somente pelo matemtico Gauss na metade do sculo XIX. Esta obra dividida em treze livros, sendo que o incio do primeiro livro segue abaixo, sendo esta, uma traduo realizada pelo autor deste artigo, a partir da enciclopdia Great Books of The Western World.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

As Origens Gregas da Geometria. The Thirteen Books of Euclids Elements Book Book Book Book I. Definitions, Postulates, Common Notions II. Definitions III. Definitions XIII. Propositions 1 30 41 369 1

Book I. Definitions, Postulates, Common Notions Os treze Livros dos Elementos de Euclides.

Book I. Inicia-se com as definies dos 23 postulados da geometria Euclidiana. 1. Um ponto aquilo que no tem parte. 2. Uma linha possui comprimento, mas no dotada de largura. 3. As extremidades de uma linha so pontos. 4. Uma linha reta uma linha que existe sempre emparelhada com os pontos sobre si mesma. 5. Uma superfcie aquela que possui comprimento e largura somente. 6. As extremidades de uma superfcie so linhas. 7. Uma superfcie plana uma superfcie que existe com as linhas retas sobre si mesma. ... 13. Um contorno aquilo que est em uma extremidade de qualquer coisa. 14. Uma figura aquilo que est contido ou delimitado por qualquer contorno ou contornos. 15. Um crculo uma figura plana contornada por uma linha tal que todas as linhas retas que caindo sobre ele at um ponto entre todos aqueles que faz existir tal figura so iguais entre si; 16. E a este ponto denominado o centro do crculo. ... 23. Linhas retas paralelas so linhas retas que, estando num mesmo plano e sendo produzidas indefinidamente em ambas as direes, no se encontram em nenhuma direo. POSTULADOS Admita os seguintes serem postulados: Desenhar uma linha reta de qualquer ponto para qualquer ponto. Produzir uma linha reta finita indefinidamente em uma linha reta. Descrever um crculo com qualquer centro e distncia. Todos aqueles ngulos retos so iguais um ao outro. NOES COMUNS Coisas que so iguais para a mesma coisa so tambm iguais entre si. Se igualdades so adicionadas para igualdades, o conjunto total ser igual. Se igualdades so subtradas de igualdades, o remanescente ser igual. Coisas que coincidem com uma outra so iguais entre si. O todo maior que a parte LIVRO I. PROPOSIES. PROPOSIO 01 Sobre uma dada linha reta finita construir um tringulo eqiltero. DEMONSTRAO: [Hiptese] Admita AB ser a dada linha reta finita. Desta forma, requerido construir um tringulo eqiltero sobre a linha reta AB. [Postulado 3] com o centro A e distncia AB admita o crculo BCD ser descrito; [Postulado 3] novamente, com o centro B e distncia BA admita o crculo ACE ser descrito; [Postulado 1] e do ponto C, em que os crculos cortam um ao outro, para os pontos A, B admita as linhas retas CA, CB serem unidas; [Definio 15] agora, uma vez que o ponto A o centro do crculo CDB, AC igual a AB; [Definio 15] novamente, uma vez que o ponto B o centro do crculo CAE, BC igual a BA;

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

[Noes Comuns 4] Como coisas que coincidem com uma outra tambm so iguais uma como a outra, ento AB igual a BA; [Noes Comuns 1] Como AC j foi provado ser igual a AB; Como BC j foi provado ser igual a BA; Como AB j foi provado ser igual a BA; Ento, AC igual a BC. Portanto, as trs linhas retas CA, AB, BC so iguais entre si. Portanto, o tringulo ABC eqiltero; e isto foi construdo sobre uma dada linha reta finita AB. Aqui termina a primeira demonstrao no primeiro livro de Euclides. Este livro continua demonstrando proposies at a quadragsima oitava, quando ento passa para o segundo livro, e assim por diante, at finalizar o dcimo terceiro livro. PROPOSIO 2 ... PROPOSIO 48 Do ponto de vista histrico a obra de Euclides considerada a primeira abordagem formal e axiomtica encontrada na histria da matemtica e que os matemticos comearam a levar a srio e a desenvolv-la a fundo somente a partir do sculo XIX. Para finalizar a exposio com relao aos principais filsofos e matemticos gregos cita-se Zenon de Elia (490 460 a.C.). Filsofo grego da escola de Elea e discpulo de Parmdines. famoso por conceber o mtodo de demonstrao matemtica por contradio. Relatos histricos indicam que na poca ele concebeu mais de 20 exemplos de demonstraes por absurdo e que s chegaram at ns oito deles. Neste artigo citam-se trs: 1) o paradoxo do coelho e da tartaruga; 2) o paradoxo do Arco e da Flecha; e 3) o paradoxo do menor dos segmentos. A figura 03 ilustra cenas de desenho animado de Walt Disney em que a tartaruga sendo mais lenta que o coelho, mas que saindo na frente dele nunca poder ser alcanada. A figura 04 traz uma demonstrao simples por reduo ao absurdo e tambm proposta por Zenon de Elia para demonstrar que o menor dos seguimentos no existe.

Figura 03 O paradoxo da Tartaruga e do coelho proposto por Zenon de Elia. Na era moderna tem-se uma correspondncia de 1654 entre Blaise Pascal e Pierre de Fermat que deu origem teoria das probabilidades, como nova disciplina da matemtica. Entretanto, talvez um dos feitos mais marcantes de Blaise Pascal foi ter inventado a primeira mquina automtica de calcular (dispositivos mecnicos) para as operaes aritmticas de adio e multiplicao. Pascal deixou alguns pensamentos numerados e impressos em papel antes de morrer, dois deles bastante interessantes so citados a seguir: 339 Posso conceber um homem sem mos, ps, cabea (pois s e experincia nos ensina que a cabea mais necessria do que os ps); mas no posso conceber o homem sem pensamento: seria uma pedra ou um animal. 340 A mquina aritmtica produz efeitos que se aproximam

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

mais do pensamento do que tudo o que fazem os animais; mas no faz nada que possa levar-nos a dizer que tem vontade como os animais (Enciclopdia os Pensadores, 1973).

Figura 04 Paradoxo de Zenon de Elia que demonstra no existir o menor dos seguimentos.

Blaise Pascal (19 de junho de 1623 19 de agosto de 1662)

Pierre de Fermat (17 de agosto de 1601 12 de janeiro de 1665)

Figura 05 Blaise Pascal e Pierre de Fermat eram amigos e fundaram o ramo da matemtica denominada teoria das probabilidades.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

O reverendo Thomas Bayes tem sua obra publicada postumamente em 1763 a respeito da regra de Bayes. Segundo Bayes que introduziu o conceito de probabilidades condicionadas se: (i) dada a probabilidade de se ter dor de pescoo; (ii) dada a probabilidade de se ter meningite; e (iii) dada a probabilidade de se ter dor de pescoo dado que algum j tenha meningite ento, possvel obter-se a partir desta trs primitivas: (iv) a probabilidade de ter meningite dado que algum j tenha dor no pescoo, entre muitos outros exemplo. Seu trabalho foi retomado em meados do sculo XX para se desenvolver a lgica probabilstica. A figura 06 traz uma pintura do reverendo Thomas Bayes.

Thomas Bayes (1702? 17 de abril de 1761 )

Figura 06 Thomas Bayes foi um matemtico ingls e um pastor presbiteriano pertencente minoria calvinista na Inglaterra e foi eleito membro da Royal Society em 1712. Gottfried Wilhelm Leibniz (1646-1716) era alemo e divide o crdito com Isaac Newton a respeito da descoberta e origens do Clculo Diferencial e Integral. Realizou pequenas contribuies analticas para o desenvolvimento da lgica matemtica que iriam deslanchar definitivamente em 1847 com George Boole retomando seu trabalho. Entretanto, utilizava uma notao muito complicada para ser compreendida. Alm disto Inventou uma mquina mecnica de calcular para as operaes de multiplicao e diviso.

Gottfriend Wilhelm Leibniz (1 de julho ou 21 de junho de 1646 14 de novembro de 1716 )

Figura 07 Leibniz acreditava que a razo poderia ser convertida em nmeros, e assim, podendo ser computada. Finalmente chegada poca da lgica moderna, podendo ser datada pelo ano de 1847 com o matemtico ingls George Boole (1815-1864) que comeara a criar apropriadamente a lgica matemtica. Entretanto, deve-se ressaltar que muitos dos aspectos da lgica matemtica que vieram somente tona a partir deste ano j eram velhos conhecidos da filosofia desde as pocas de Aristteles. Entre os principais feitos de George Boole (Lenidas Hagenberg, 1977), citamse: 1) Introduziu o primeiro sistema completo e funcional de lgica formal em seu livro The Mathematical Analysis of Logic de 1847; 2) Publicou em 1854 o livro Investigations of the laws of thought que compara as leis do pensamento s leis da lgebra; e 3) Estabeleceu que 1 representa a classe de todos os objetos (o universo) e o 0 representa a

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

classe a que nenhum objeto pertena (classe vazia) e enuncia o princpio da no-contradio: nenhum objeto pode ter duas propriedades contraditrias.

George Boole (2 de novembro de 1815 8 de dezembro de 1864)

Figura 08 Primeiro grande lgico moderno e de nacionalidade inglesa. Ao contrrio de George Boole, que era ingls, Gottlob Frege (1848 a 1925) era alemo. Deve-se ressaltar que a obra do primeiro ainda estava bastante incompleta, precisando de aperfeioamentos. Entre as principais contribuies de Gottlob Frege citam-se (Lenidas Hegenberg, 1977): 1) primeiro trabalho importante publicado em 1879, intitulado Escrita de Conceitos que relata a primeira exposio completa da lgica proposicional moderna (e da lgica de primeira ordem); 2) primeira descoberta: o clculo Sentencial ou de Proposies; 3) distinguiu as premissas (bases de um raciocnio) e as regras de inferncia; 4) o uso de smbolos foi adotado por Frege; e 4) a verdadeira lgica de primeira ordem data da introduo de quantificadores no trabalho de Frege de (1879).

Friedrich Ludwig Gottlob Frege (8 de novembro de 1848 26 de julho de 1925 )

Figura 09 Matemtico alemo e criador dos quantificadores para a Lgica Matemtica. Para finalizar o sculo XIX - listando os trs maiores lgicos daquele sculo - tem-se as obras de Giuseppe Peano (1859-1932) que conseguiu elaborar um notao matemtica mais simples que a de Frege e que utilizada at os dias de hoje. Criou a notao atual para a lgica de primeira ordem em 1889 e criador tambm da axiomatizao da Aritmtica. Alm de Gottlob Frege, o matemtico Charles Sanders Peirce tambm desenvolveu a lgica de primeira ordem independentemente de Frege, embora mais tarde em 1883. A entrada do sculo XX traz muitas perspectivas para o desenvolvimento no s da fsica como da matemtica aplicada e formal. Bertrand Russell (1872 1970) juntamente com Alfred Whitehead (1861 - 1947) publicam Os Principia Mathematica (trs volumes de 1910 at 1913). D-se incio aos surgimentos dos paradoxos dentro da lgica embora ainda nesta poca acreditava-se ser possvel reduzir a matemtica lgica. Bertrand Russell e Whitehead em 1902 e Leopold Lwenheim em 1915 concebem artigo que trata do smbolo de igualdade dentro da lgica de primeira ordem. Hoje conhecidos como princpios da identidade e da substituibilidade, respectivamente, a introduo da igualdade e a eliminao da igualdade num sistema dedutivo com predicados de primeira ordem. Ludwing Wittgenstein em 1922 e Emil Post em 1921 estabeleceram a validade ou no de sentenas proposicionais atravs das tabelas-verdade na lgica proposicional. Com Alfred Tarski em 1935 e em 1956, atravs da teoria de conjuntos d-se uma definio explcita de verdade e de satisfao em lgica de primeira ordem. Newel, Shaw

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

e Simon, em 1957, realizam o primeiro programa de computador para inferncia lgica, que foi denominado de logic theorist. Mccarthy em 1958 foi o principal responsvel pela introduo da lgica de primeira ordem como uma ferramenta til na construo de sistemas de inteligncia artificial, e a lgica de primeira ordem demonstra ser uma linguagem de representao muito mais poderosa que a lgica proposicional.

Giuseppe Peano (27 de agosto de 1858 30 de abril de 1932 )

Figura 10 Giuseppe Peano era matemtico Italiano e criador do princpio da induo. Sabe-se hoje que ao introduzir este principio na lgica de predicados, recai-se na aritmtica de Peano. Conceitualmente a diferena entre a lgica de predicados de primeira ordem e a aritmtica de Peano bastante significativa. Segundo os teoremas de Kurt Gdel formulados em 1930 e 1931, a primeira dotada de completeza enquanto a segunda de incompleteza.

Bertrand Arthur Willian Russell (18 de maio de 1872 2 de fevereiro de 1970)

Alfred North Whitehead (15 de fevereiro de 1861 30 de dezembro de 1947)

Figura 11 Autores da obra monumental Os Principia Mathematica (trs volumes de 1910 at 1913). 3. Consideraes Formais Simples Sobre os Clculos Proposicional e de Predicados. Uma teoria formal do ponto de vista matemtico deve sempre ser desenvolvida em forma de axiomas. Axiomas so propriedades matemticas assumidas como verdadeiras sem a necessidade de serem demonstradas, em geral, por serem muito simples. A partir destes axiomas desde que bem elaborados e bem formulados pode-se derivar de forma consistente novas propriedades ou teoremas. Por exemplo, dentro da teoria dos nmeros reais, as propriedades x+0=x, x.1=x, x+y = y+x e x.y=y.x so consideradas axiomas desta teoria, pois de to elementares e simples que so, impossvel querer demonstr-las. Por outro lado, por exemplo, a frmula de Bskara para o clculo das razes de um polinmio de segundo grau j seria um teorema, dada a necessidade de demonstr-la a partir dos axiomas completos existentes para os nmeros reais. A figura 12 esquematiza de maneira bastante simplificada o processo bsico para realizar demonstrao matemtica, enquanto que a figura 13 ilustra o processo bsico para gerar teoremas a partir de axiomas. Como existem diferenas bsicas, entre a matemtica e a lgica, em geral, para, o primeiro, este processo d-se o nome de deduo ou demonstrao, enquanto, para o segundo, se prefere os termos inferido ou derivado.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Figura 12 Descrio sucinta e descritiva do processo para gerao teoremas.

Figura 13 Processo de gerar teoremas a partir de axiomas. Alm dos trs princpios da lgica matemtica e das definies de proposio e argumentos dados na seo anterior a lgica matemtica se recente de algumas definies adicionais para ser elaborada de forma consistente e adequada para representao de objetos e relaes entre objetos do mundo real. A tabela 1 identifica os principais operadores lgicos utilizados na lgica matemtica. Somente os cinco primeiros operadores da tabela 1 pertencem ao universo do clculo proposicional. Os dois ltimos operadores da tabela 1 so denominados, respectivamente, quantificadores universal e existencial e so de uso exclusivo do clculo de predicados. A tabela 2 identifica como estabelecer a sintaxe do clculo de predicados, ou seja, como elaborar proposies complexas a partir de proposies simples ou atmicas combinando os cinco primeiros operadores lgicos. A tabela 3 identifica a tabela verdade primitiva adotada pelo clculo de predicados.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Assim, seja um conjunto de proposies, e uma proposio. Diz-se ento, que conseqncia (lgica ou semntica) de ; e se escreve (Franco de Oliveira, 2004):
|=

(2)

sse verdadeira sempre que as proposies de forem simultaneamente verdadeiras. (Nota: a expresso sse uma abreviatura de se e s se, ou de se e somente se). Assim, ao serem comparadas as definies de argumento 1, L , n vlido e de conseqncia lgica pode-se concluir de imediato que um argumento valido sse 1,L , n |= . Neste sentido, explicar a forma lgica de uma proposio explicar o modo como essa proposio formada ou construda, a partir de proposies (ou condies) mais simples, por meio de certas operaes lgicas. A lgica clssica apresenta dois nveis de anlise: o nvel proposicional e o nvel quantificacional. No nvel proposicional a questo fundamental elaborar uma metodologia para elaborar proposies compostas a partir de proposies mais simples atravs dos conectivos proposicionais. No nvel quantificacional (Franco de Oliveira, 2004) a anlise mais profunda, pois as preposies so analisadas na sua estrutura gramatical interna, ou seja, na relao sujeito-predicado, na ligao das variveis dos quantificadores, etc. O nvel proposicional apresenta as seguintes caractersticas: 1) As letras latinas p, q, r,... so utilizadas para representar proposies simples;2) As letras gregas , , , ... so utilizadas para representar proposies simples ou compostas; 3) Os conectivos , , , , so os operadores que atuam sobre as proposies simples e produzem proposies compostas, por exemplo, como indicado nas tabelas 2 e 3. Como ltimo conceito lgico bsico est o de inferncia lgica. Sucintamente, a inferncia nada mais do que regras especficas aplicadas sobre premissas pr-estabelecidas em que garantir sempre a existncia de argumentos vlidos e conseqentemente o de conseqncia lgica ou semntica. Para cada conectivo lgico h pelo menos duas ou trs regras de inferncia para introduo ou eliminao do mesmo. Na introduo de um conectivo, a preocupao est em que premissas podem-se tirar uma concluso em que ocorre o conectivo. Na eliminao, que concluses podem ser tiradas de premissas em que ocorre o conectivo em questo. Em termos prticos h uma lista imensa de tais regras dentro do clculo proposicional e de predicados. Entretanto aqui, para fins ilustrativos e aplicados citam-se conforme a tabela 04 indica - as regras de introduo e eliminao do condicional do clculo proposicional, sendo, esta ltima, conhecida como Modus Ponens. Tabela 04 Exemplo de Regras de Inferncias Primitivas. , ( - ) ou (MP) Eliminao Modus Ponens (Regra Primitiva)

Condicional

Condicional

Introduo (Regra Primitiva)

( +) Mtodo Direto Hiptese auxiliar [H] A prpria premissa uma derivao

[H]
M

A figura 14 exemplifica um exemplo bastante simples, mas ao mesmo tempo, bastante elucidativo para compreender como se desenvolve um raciocnio lgico dentro da lgica matemtica e como transformar conhecimentos da linguagem natural para correlacion-lo nos moldes da notao do clculo de predicados. Na figura 14 faz-se uma ilustrao didtica e esquemtica a respeito de proposies simblicas que pretendem de uma forma racional reconstituir formalmente a histria da gravitao na poca de Galileu, Kepler e Newton. A figura 15 ilustra como utilizar regras

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

bsicas de inferncia incluindo Modus Ponens para inferir informaes adicionais sobre a base de dados primitiva ou sistema de hipteses (H) inicial. M: A Terra existe. m: A lua existe. r: Marte existe. s: O sol existe. d: A distncia d maior que r+R g: Galileu mede a acelerao gravitacional da Terra. k: As leis de kepler so coerentes. a: Isaac Newton desenvolve uma verso vlida do clculo diferencial. n: A lei de Isaac Newton da gravitao universal so vlidas. c: Aplica-se as leis de Newton no experimento da balana de Cavendish. G: A constante universal da gravitao expressa num pedao de papel. t: A massa da Terra expressa num pedao de papel. Figura 14 O clculo proposicional capaz de relacionar fatos do mundo real a partir das regras de formao de proposies compostas a partir de proposies atmicas e adicionalmente aplicar regras de inferncias bem especficas e consistentes sobre um sistema de hiptese, podendo assim gerar assim fatos novos. A figura 14 sugere ento o seguinte problema enunciado: Se forem relacionadas nos dias de hoje o conjunto de proposies da mesma forma como ocorreu na histria da humanidade, poder-se- derivar novamente a descoberta da massa da Terra simplesmente re-observando os fenmenos da natureza? Re-estabelea essa ordem utilizando a notao e as regras de inferncia do clculo proposicional. Assim, a figura 15 fornece uma soluo para este problema dentro dos moldes da linguagem proposicional.

Figura 15 Sistema dedutivo elaborado a partir das hipteses ilustradas graficamente na figura 14 para reproduzir o experimento de medir a massa da Terra. Observe principalmente a utilizao da regra de inferncia Modus Ponens.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

No segundo nvel de anlise das proposies a ligao sujeito-predicado (Smullyan, 1995) o componente principal. Toda proposio composta por indivduos que esto em certa relao (predicado) com outros. Por exemplo, Vidro transparente, Joo ama Maria e 5 est entre 1 e 7 (Franco de Oliveira, 2004). A tabela 5 indica como separar os sujeitos dos predicados. Em geral uma conveno tambm deve ser utilizada para representao de constantes, variveis e predicados. A tabela 5 indica uma possvel soluo para isto. A figura 16 ilustra um exemplo bastante interessante tirado do livro do matemtico americano W. V. Quine (Franco de Oliveira, 2004). Tabela 05 Construo lgica de diferenciao de sujeito e predicado numa dada proposio. Indivduos (os sujeitos) Vidro Joo, Maria 5, 1, 4 Os predicados e as relaes ... transparente ... ama ... ... est entre ... e ... Tipo de predicado unrio ou aridade 1 unrio ou aridade 2 unrio ou aridade 3

Figura 16 O clculo de predicados bem mais geral que o proposicional, pois a utilizao de quantificadores aliada anlise interna das proposies em nvel de predicado e objeto faz do clculo de primeira ordem uma ferramenta poderosa para representar relaes entre fatos e objetos do mundo real. A lgica de primeira ordem suficientemente expressiva para representar de forma satisfatria o conhecimento comum. E alm disto, ela muito mais expressiva que a lgica proposicional. A linguagem da lgica de primeira ordem elaborada em torno de objetos e relaes (Russell e Norvig, 2004). A principal diferena entre lgica proposicional e a lgica de primeira ordem reside no compromisso ontolgico (o que elas pressupem sobre a natureza da realidade) feito por cada linguagem. Na lgica proposicional pressupe-se que existem fatos que so vlidos ou no vlidos no mundo. A lgica de primeira ordem considera que o mundo consiste em objetos com certas relaes entre eles que so ou no vlidas. Por outro lado, o compromisso epistemolgico reflete os estados possveis de conhecimento que ela permite a respeito de cada fato. A tabela 6 resume adequadamente o que exposto neste pargrafo. Tabela 06 Diferenas relevantes entre proposies e predicados. Linguagem Lgica Proposicional Lgica de Primeira Ordem Lgica Temporal Compromisso Ontolgico Fatos Fatos, Objetos e Relaes Fatos, Objetos, Relaes e Tempos Compromisso Epistemolgico 1, 0 ou Desconhecido 1, 0 ou Desconhecido 1, 0 ou Desconhecido

Para o clculo de predicados so vlidas todas as condies estabelecidas para o clculo proposicional (Hegenberg, 1973) e mais algumas relacionadas aos predicados e quantificadores. A lgica de primeira ordem (ou clculo de predicados) mais rica do que o clculo proposicional devido as seguintes caractersticas: 1) mais smbolos no alfabeto; 2) uma gramtica mais complexa. A lgica de primeira ordem tem um poder expressivo bem maior, possuindo smbolos lgicos e smbolos no-lgicos. Os smbolos lgicos so: 1) conectivos proposicionais , , , ; 2) os quantificadores , ; 3) os parnteses ( e ); 4) as variveis individuais x, y, z, ...; 5) o smbolo de igualdade =; 6) os parmetros (ou nomes arbitrrios) , , , ... Por sua vez, os smbolos no-lgicos so: 1) smbolos predicativos ou relacionais P, Q, R,... (denotam predicados e relaes); 2) constantes individuais a, b, c,... (denotam objetos ou indivduos fixos); 3) smbolos funcionais ou operacionais f, g, h,... (denotam funes ou operaes). Alm destes,

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

podem ocorrer os smbolos especiais (<, >, ,...) que no so utilizados no clculo de predicados, mas podem aparecer, por exemplo, na aritmtica de Peano. A figura 17 ilustra como o clculo proposicional, o clculo de predicados e a aritmtica de Peano se relacionam. Um fato aparentemente simples, mas profundo - do ponto de vista terico - o da introduo do axioma da induo levar a problemas de incompleteza quando se pretende obter a representao da aritmtica a partir do clculo de predicados. Esta problemtica ser abordada historicamente na seo seguinte.

Figura 17 Clculos proposicional e de predicados e a aritmtica de Peano. A figura 18 ilustra o papel semntico (estabelecimento de significados lgicos) na representao do mundo real atravs de predicados de primeira ordem. Para uma base consistente e bem elaborada o processo de inferncia leva a fatos verdadeiros do mundo real.

Figura 18 Equivalncia entre a abstrao lgica e sua correspondncia com os eventos do mundo real 4. Importncia Histrica do Desenvolvimento da Lgica Matemtica para o Desenvolvimento da Teoria da Computao. Os procedimentos de provas para predicados so completos. Algumas implicaes disto so: 1) Todas as conjecturas podero ser estabelecidas mecanicamente; 2) Todo teorema poder ser estabelecido como uma conseqncia lgica de um conjunto de axiomas fundamentais num nmero finito de passos. O clculo de predicados completo devido ao teorema demonstrado por Kurt Gdel em 1930. Por outro lado, a introduo do axioma da induo no clculo de predicados conduz a incompleteza na aritmtica, fato este tambm demonstrado por Kurt Gdel, mas em 1931. A seguir enunciam-se os teoremas em questo. Para saber mais sobre o teorema da incompleteza ver, por exemplo, Nagel e Newman, 2001 ou Kurt Gdel, 1992 (reedio do trabalho original pela Dover Publications). Teorema da Completeza (Gdel, 1930): qualquer sentena que conseqncia lgica tem uma prova finita para a lgica de primeira ordem. Teorema da Incompleteza (Gdel, 1931): um sistema lgico que inclua o princpio da induo necessariamente incompleto. Por conseguinte, existem em tais sistemas conseqncias lgicas, mas que, no tm nenhuma prova finita dentro do sistema.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Em sintaxe, estendendo um pouco a linguagem de primeira ordem para permitir o uso do esquema de induo em aritmtica, Gdel conseguiu mostrar, em seu teorema de incompleteza, que existem sentenas aritmticas verdadeiras que no podem ser provadas. Primeiro Metateorema da Incompleteza de Gdel: Se os axiomas de Aritmtica de Peano (AP) so verdadeiros, ento existem verdades que no so teoremas. Em outras palavras, se os teoremas de (AP) so verdadeiros, ento (AP) incompleta, ou seja, pode-se derivar em (AP) verdades que no so teoremas. Segundo Metateorema da Incompleteza de Gdel: Se T uma teoria com um sistema decidvel de axiomas, contendo a aritmtica de Peano, e consistente, ento existe uma sentena aritmtica que exprime T consistente, que no teorema de T. Esta uma generalizao da Incompleteza para a matemtica, como um todo. Metateorema de Tarski: O conjunto das verdades aritmticas no aritmeticamente definvel. Os trabalhos de Kurt Gdel de 1930 e 1931 repercutem at hoje na matemtica. Gdel era austraco e muito amigo de Albert Einstein. A figura 19 traz fotos dele com o fsico alemo. A natureza da f (Hebreus 11.1 e 11.3): Ora, a f a certeza de coisas que se esperam, a convico de fatos que se no vem. Pela f, entendemos que foi o universo formado pela palavra de Deus, de maneira que o visvel veio a existir das coisas que no aparecem.

Kurt Gdel (28 de abril de 1906 14 de janeiro de 1978)

Figura 19 Kurt Gdel e Albert Einstein lecionavam juntos na universidade de Princeton. Kurt Gdel nasceu na repblica Tcheca em 1906 e faleceu em 1978 em Princeton, EUA onde lecionou por vrios anos e tinha como vizinho acadmico o fsico Albert Einstein. Um filme americano intitulado A Teoria do Amor (1994) conta a histria da sobrinha de Albert Einstein e de um mecnico de automvel que se apaixona por ela. Neste filme, Einstein (interpretado pelo ator Walter Matthau) torna-se amigo do mecnico para tentar ajud-lo a conquistar sua sobrinha. Neste filme os atores interpretam Albert Einstein e Kurt Gdel em reunies familiares. Kurt Gdel obteve seu doutorado em 1929 na universidade de Viena e o teorema de Gdel encerrou 100 anos por uma base axiomtica completa para a matemtica, que j haviam sido especuladas por Hilber, Russell, entre outros, tornando-a, depois disto, impossvel de conceb-la. O teorema da incompleteza considerado um dos dez mais importantes teoremas provados, considerando-se qualquer rea da cincia. Kurt Gdel chegou a trocar algumas correspondncias com o matemtico Jacques Herbrand (1908 - 1931). A foto de Herbrand pode ser vista na figura 20.

Jacques Herbrand (12 de fevereiro de 1908 27 de julho de 1931 )

Figura 20 Jacques Herbrand em uma de suas ltimas fotos.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Jacques Herbrand foi um matemtico francs que nasceu em Paris, Frana e morreu em La Brarde, Isre, Frana. Seus trabalhos incluam estudos e contribuies para a lgica matemtica e a teoria dos corpos de classes. O teorema de Herbrand o resultado da sua tese de doutorado em teoria de demonstrao, e cujo enunciado apresentado na figura 21. Enquanto seus ensaios estavam sendo examinados sobre sentenas formalmente indecidveis do Principia Mathematica, Gdel anunciou a impossibilidade de formalizar a demonstrao de consistncia. Em julho de 1931 ele estava escalando os Alpes franceses com dois amigos, caiu nas montanhas de granito e morreu. A foto da figura 20 foi tirada momentos antes de sua morte. O surgimento da teoria da computao comea a tomar forma quando os matemticos Alonzo Church (1903 - 1995) e Alan Turing (1912 - 1954) publicam um trabalho idealizando a existncia de uma mquina perfeita de calcular com memria infinita e processamento instantneo estabelecendo , mesmo, neste caso, que h limitaes de computao numrica. Eles partiram dos resultados lgicos j idealizados por Kurt Gdel em 1931 referentes completeza e incompleteza para desenvolver tal teoria. Dois teoremas importantes estabelecidos por estes matemticos so: 1) Teorema de Church: a lgica de predicados ou de primeira ordem dotada de indecibilidade; 2) Tese de ChurchTuring: deu origem s mquinas de Turing, ou seja, que uma mquina com processamento recursivo no possui um algoritmo geral para dizer sempre 1 ou 0 a uma string qualquer de entrada.

Figura 21 Enunciado do teorema de Herbrand (e.g., Church, 1956; Cori e Lascar, 2004; Souza, 2005). Neste enunciado, o smbolo de derivabilidade. Assim, A B l-se da seguinte forma, B derivvel ou dedutvel a partir de A.

Alonzo Church (1903 - 1995)

Alan Turing (23 de junho de 1912 7 de junho de 1954)

Figura 22 Alan Turing foi orientado por Alonzo Church. Na teoria da computabilidade a tese de Church-Turing uma hiptese sobre a natureza de artefatos mecnicos de clculo, como computadores, e sobre que tipo de algoritmos eles podem executar. aceito que um algoritmo computacional deva satisfazer aos seguintes requisitos: 1. o algoritmo deve consistir de um conjunto finito de instrues simples e precisas, devendo ser necessariamente descritas tambm por um nmero finito de smbolos; 2. o algoritmo sempre produz resultado num nmero finito de passos; 3. o algoritmo teoricamente - tambm poderia ser executado por um ser humano com apenas papel e lpis; 4. a execuo no requer inteligncia do ser humano alm do necessrio para entender e executar as instrues. Para encerrar esta seo a figura 23 ilustra a idia originalmente concebida por Alan Turing em 1950 e denominado teste de Turing Total. Neste experimento um homem e uma mquina so confrontados, e um interlocutor no podendo identific-los fisicamente procede a uma entrevista com sucesses de perguntas. Se no final da entrevista o interlocutor no puder dizer quem humano e quem mquina ter-se- concebido o conceito de inteligncia de mquina. Com o advento do computador e o desenvolvimento da teoria da computao pde-se dar uma viso geral da mesma atravs (Ribeiro, 2005): 1) da teoria de autmatos e linguagens formais; 2) da teoria da computabilidade; 3) da teoria da complexidade.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

A teoria de autmatos e linguagens formais procuram responder questes do tipo: 1) o que o computador?; 2) Existem modelos gerais de computadores?; e 3) Como verificar o que o computador faz?. Exemplos elucidativos para isto seriam, por exemplo, autmatos finitos, processamento de texto, projeto de hardware. A teoria da computabilidade procura identificar e responder a questo de que quais problemas podem ser computveis e quais no podem. O teorema de Gdel pode ser til dentro deste contexto. Assim, o que torna alguns problemas computveis e outros no computveis? Quais so as conseqncias disto para o projeto do computador? A teoria da Complexidade tenta diferenciar e explicar questes do tipo: 1) o que torna alguns problemas fceis e outros difceis? Como classificar problemas? Por exemplo, em geral, ordenamento enquadra-se dentro dos problemas fceis, enquanto a alocao de recursos complexa (Ribeiro, 2005).

Figura 23 Esquema ilustrativo descrevendo o teste de Turing total. No estudo da inteligncia artificial, muitos problemas so ditos parcialmente observveis, ou seja, nem toda informao sobre ele pode-se ter prontamente para auxiliar na resoluo dos mesmos, principalmente, aqueles que devem ser resolvidos em tempo real, tais como, por exemplo, pilotos automticos de avio, controle de atitude em satlites artificiais, etc. Neste contexto, o estudo de processos probabilsticos e estocsticos de grande valia. Um dos grandes feitos do sculo XX foi introduzir a teoria axiomtica das probabilidades na lgica de predicados, feito este, atribudo ao matemtico Rudolf Carnap (1891 1970). Por sua vez, a teoria das probabilidades foi primeiramente axiomatizada pelo matemtico russo Andrei Kolmogorov (1903 - 1987) em 1933. Rudolf Carnap publicou em 1950 o livro Fundamentos Lgicos da Probabilidade. Adrei Kolmogorov matemtico russo que alm de ter axiomatizado a teoria das probabilidades, teve muitos outros trabalhos de peso cientfico relevantes. Por exemplo, em 1957 provou a existncia de aproximadores universais de funes e isto acabou dando origem ao ramo da Inteligncia Artificial denominado Redes Neurais Artificiais (ala conexionista da IA, que se diferencia consideravelmente da IA simblica). Faleceu em 1987 aos 84 anos de idade. Alm da lgica probabilstica, outras lgicas, denominadas no-clssicas foram desenvolvidas durante a ltima metade do sculo XX e que ainda se encontram em desenvolvimento no sculo XXI. Entre as principais delas esto: a lgica nebulosa (ou Fuzzy Logic) e a lgica Paraconsistente. O Prof. Newton da Costa matemtico brasileiro e de vida bastante ativa atualmente no departamento de filosofia da Universidade Federal de Santa Catarina considerado criador da lgica Paraconsistente junto com o polons S. Jaskowski h aproximadamente 30 anos. A figura 24 trs os retratos dos matemticos Rudolf Carnap e Andrei Kolmogorov.

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

Rudolf Carnap (18 de Maio de 1891 14 de novembro de 1970)

Andrei Nikolaevich Kolmogorov (25 de abril de 1903 20 de outubro de 1987)

Figura 24 Dois grandes matemticos do sulo XX. As lgicas no-clssicas possuem papel importante nas engenharias de sistemas computacionais inteligentes, pois entre outras coisas admitem graus intermedirios de verdades e aceitam em vrios nveis violar o princpio da nocontradio. Entretanto, isto uma longa histria deixada para uma prxima oportunidade. 5. O Conceito de Inteligncia de Mquina. A crer nas evidncias, uma mquina executa impecavelmente as instrues que lhe so fornecidas; ela no poderia, em momento algum, tomar a iniciativa. E, contudo, todo aquele que convive com as mquinas atuais sabe que elas freqentemente vo alm do que se espera, a tal ponto que, s vezes, fica-se perplexo com isto. Com as mquinas modernas, com as tcnicas da eletrnica e dos circuitos integrados, o computador miniaturiza-se a ponto de tornar-se impalpvel e tudo se passa agora em escala microscpica, inacessvel ao olho, num plano abstrato em que a fsica quntica, as matemticas e a lgica formal exercem um papel chave. Assim, decidiu-se assimilar a mquina, em seu todo, a um rgo dotado de capacidades lgicas e alm disto, as mquinas modernas so imateriais, porque no fazem outra coisa seno transformar seqncias de signos, isto , textos, independentemente dos suportes sobre os quais eles so escritos e toda comunicao com as mquinas se efetua atravs de um conjunto de instrues, cada qual compondo frases de um texto, onde apenas a letra do texto considerada, jamais o esprito (Ganascia, 1997). A conquista das mquinas passa, portanto, por uma linguagem comum ao homem e as mquinas devendo ser geis para o primeiro e suficientemente precisas para as ltimas. Independentemente de sua realidade material, as mquinas possuem tambm uma realidade imaterial de ordem lgica, matemtica e lingstica (Ganascia, 1997). Acreditando que a mquina jamais suplantar o homem, pois a memria humana no resulta de mera estocagem de informaes anloga que se produz na memria do computador ento, no interessa muito pelo que as mquinas sabem fazer, porm, mais do que isto, pelo que as mquinas permitem que o homem faa (Ganascia, 1997). Assim, as mquinas executam tarefas administrativas, elas raciocinam, prope diagnsticos mdicos, estabelecem causas de acidentes. A maior parte das competncias humanas podem, pois, ser formuladas em termos lgicos e simuladas no computador; e, isto, deu origem s noes de Sistema Especialista e Engenharia do Conhecimento. Fabricam-se mquinas comandadas pela voz e que reconhecem o que dito no fluxo sonoro da fala, mas ainda no esto em condies de aprender um fluxo de fala contnuo, mas, mesmo assim, podem-se comandar robs enunciando as ordens palavra por palavra. A mquina inteligente seria aquela com a qual seria possvel a comunicao atravs da linguagem escrita, podendo ela interpretar textos e reagir a eles de modo apropriado, por exemplo, respondendo a um conjunto de perguntas sucessivas e, no entanto, h muito tempo tenta-se dotar as mquinas desse domnio da linguagem e no chegando ao fim das dificuldades para este fim. Num artigo escrito em 1950, Alan Turing d uma definio da inteligncia das mquinas: inteligente uma mquina que engana e passa por inteligente aos olhos dos homens. Segundo este ponto de vista no se trata mais de saber se uma mquina efetivamente inteligente ou se ela conhece ou se sente emoes, mas simplesmente de saber se ela pode se parecer como tal e neste sentido no mais relevante saber se uma mquina pode pensar, mas como construir uma mquina que parea inteligente (Ganascia, 1997). Para exemplificar esta situao imagine-se num aeroporto internacional de grande movimento onde exista um sistema auxiliado por computador para pousos automticos de avies. Assim ao se observar o pouso de um avio em particular, e a partir desta informao no se puder decidir se quem pousou esta aeronave foi uma mquina ou um piloto humano, tem-se a manifesto o conceito de inteligncia de uma mquina. certo que as mquinas calculam sem cansar, mas para que elas tenham chance de descobrir algo devido ao crescimento exponencial das combinaes possveis para muitos problemas do mundo real - preciso fornecer-lhes idias, eventualmente aproximadas, do sentido daquilo que elas fazem; preciso dizer-lhes que a busca est quente ou fria; preciso dar-lhes uma intuio anloga quela de que dispe o arquelogo que escolhe os locais de escavao (Ganastia, 1997). Em inteligncia artificial importante, portanto, associar os sistemas simblicos a mtodos destinados a ampliar a eficcia dos clculos e com o risco de omitir solues. Estes mtodos orientam a mquina, indicando a escolha que convm privilegiar. Esses mtodos recebem o nome especial de heursticas e esse

Anais do XIV ENCITA 2008, ITA, Outubro, 20-23, 2008 ,

termo designa tcnicas de ajuda descoberta (Ganascia, 1997). Segundo Leibniz, tudo na natureza procede segundo um clculo cego sobre sinais, quer se trate dos encadeamentos de causas que regem o universo fsico, quer das cadeias de pensamentos que constroem raciocnios. O pensamento , portanto, redutvel ao clculo. Entretanto, h homens que se reconhecem nulos em matemtica, que no jogam damas nem xadrez, que no dominam nenhuma tcnica especfica e, contudo, escrevem livros, tomam a palavra, governam naes, etc. Em ltima anlise o homem pode dominar e compreender a linguagem enquanto o computador apenas a reproduz e a infere numa velocidade muito superior ao intelecto humano. Apenas sobre os aspectos especulativos, resta agora a questo: para um texto tomar sentido para algum humano ou algum mquina no seria necessria a conscincia? Entretanto, a conscincia em si pode ser definvel ou representvel lingstica ou matematicamente? No a conscincia um estado de esprito e da alma humana? Se um dia um rob parar na rua e pedir informao a um humano, entender o que lhe for dito pelo humano e fazer exatamente o que lhe for dito pelo humano e de forma melhorada e dizer obrigado pela informao positiva, ter ele apenas demonstrado uma inteligncia ou ter conscincia real de sua prpria existncia e de sua prpria inteligncia? 6. Concluses. Este artigo comeou a tomar forma quando o autor resolveu introduzir nas aulas de lgica matemtica e inteligncia artificial, ministradas no Instituto Tecnolgico de Aeronutica ou ITA, algumas transparncias sobre o histrico e desenvolvimento da lgica, teoria computacional e inteligncia artificial. Como o autor deste artigo tambm coordenador do evento PIBIC e ENCITA da Diviso de Cincia da Computao do ITA e este assunto do ponto de vista histrico muito curioso e chama ateno de muitos alunos e professores que assistem s aulas ministradas aqui, resolve-se por bem publicar alguma coisa deste oratrio, deixando-o assim, por escrito. O autor entende que exemplificaes e contextos histricos so muito complicados e difceis de interpretao final, mas ressalta sua importncia. Outrossim, houve um esforo e estudo em alguma prtica de leitura histrica e tcnica para contextualizar o que aqui foi descrito. Sempre bom frisar que a interpretao tcnica consistente dos assuntos abordados e isto, podendo ser realizado de forma mais fcil do que a histrica pode auxiliar um pouco e reciprocamente na identificao mais precisa dos fatos histricos. Evidentemente trata-se este, de um artigo muito simples e superficial uma vez que o assunto abordado facilmente cresceria para alguns volumes em livros. 7. Agradecimentos. O autor agradece ao CNPq pelo constante apoio ao desenvolvimento cientfico e tecnolgico no pas. Atualmente o ITA conta com aproximadamente 70 bolsas de iniciao cientfica para os alunos de graduao. Este financiamento s possvel graas qualidade constante dos trabalhos que os alunos vm desenvolvendo nos ltimos anos. Agradeo tambm ao Professor Brett Vern Carlson coordenador geral do programa PIBIC/ XIV ENCITA 2008 que pelo segundo ano consecutivo vem demonstrando bastante competncia e seriedade na realizao e coordenao dos eventos cientficos de graduao aqui do ITA. 8. Referncias Bibliogrficas. - Blaise Pascal Pensamentos. So Paulo, SP: Editora Abril, volume XVI, Enciclopdia Os Pensadores, 1973. - Church, A. Introduction to Mathematical Logic. V. 1, Princeton: Princeton University Press, 1956. - Cori, R.; Lascar D. Mathematical Logic A Course with Exercises Part I. New York: Oxford University Press, 2004. - Franco de Oliveira, A. J. Lgica e Aritmtica. Braslia: Editora UnB, 2004. - Ganascia, J.-G. Inteligncia Artificial. So Paulo, SP: Editora tica, 1997. - Gdel, K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. New York: Dover Publications, Inc., 1992. - Hegenberg, L. Lgica O Clculo de Predicados. So Paulo: So Paulo: Editora Herder, 1973. - Hegenberg, L. Lgica Clculo Sentencial. 2. ed., So Paulo: E.P.U.-Editora Pedaggica e Universitria, 1977. - Nagel, E.; Newman, J. R. A Prova de Gdel. 2. ed., So Paulo, SP: Editora Perspectiva S. A., 2001. - Newton da Costa Ensaio Sobre os Fundamento da Lgica. 2. ed., So Paulo, SP: Editora Hucitec, 2008. - Ribeiro, C. H. C. Apostila de Autmatos e Linguagens Formais para a Cincia da Computao ITA-IEC Cincia da Computao, 2005. - Russell, S.; Norvig, P. Artificial Intelligence A Modern Approach. Second Edition, New Jersey: Pearson Education, 2003. - Silva Filho, J. I. da Lgica Paraconcistente Anotada. 1. Ed., Santo, SP: Editora Emmy, 2000. - Smullyan, R. M. First-Order Logic. New York: Dover Publications, Inc., 1995. - Souza, C. de R. e Apostila de Lgica para a Cincia da Computao. ITA-IEC Cincia da Computao, 2005. - Stolyar, A. A. Introduction to Elementary Mathematical Logic. New York: Dover Publications, Inc., 1970.