5 Conclus˜ ao
Interface usu´ario/sistema. Existem algumas funcionalidades, em especial, o gerenciamento de arquivos que apesar de prontas, n˜ao est˜ao adequadas para o uso. Como j´a foi discutido na se¸c˜ao 4.2.1, a classe FileControl manipula os arquivos necess´arios para salvar todas as informa¸c˜oes relevantes do sistema. Por´em
´e necess´ario ainda a implementa¸c˜ao de algumas telas para que o usu´ario pudesse manipular essas op¸c˜oes. As op¸c˜oes seriam para que haja possibilidade do usu´ario prosseguir sobre uma instˆancia do ambiente.
Outro ponto a ser mencionado ´e quanto `a configura¸c˜ao do ambiente. ´E interes-sante para o usu´ario que analisa o sistema, a possibilidade de um f´acil controle dos parˆametros do ambiente. H´a a necessidade de que exista uma interface de controle para manipular a execu¸c˜ao do sistema: iniciar, paralisar, reiniciar, finalizar; con-trolar quantidade de agentes e itens. ´E necess´ario tamb´em telas que possibilitem a visualiza¸c˜ao dos dados e caracter´ısticas de qualquer agente de uma forma simples e direta.
Varia¸c˜ao do ambiente. Este seria um parˆametro pra estudarmos o comporta-mento dos agentes em ambientes diferentes, que contemplasse algumas e diminuiria outras caracter´ısticas do agente. Dessa forma n˜ao somente o estado detectado, mas tamb´em as vantagens e desvantagens em rela¸c˜ao ao ambiente.
Modifica¸c˜ao do tipo de ambiente. Como apresentado na se¸c˜ao 4.2.3.1, o ambiente deste sistema ´e discreto. Para que houvesse uma melhor representa¸c˜ao do ambiente proposto ele deveria ser modificado como um ambiente cont´ınuo. Pode-se afirmar que esta seria a implementa¸c˜ao de aprimoramento mais trabalhosa. Toda a estrutura de percep¸c˜ao, e tamb´em parte da cogni¸c˜ao, haveriam de ser modificados para se adequar ao ambiente de valores n˜ao t˜ao bem definidos como ´e atualmente, assim como haveriam mudan¸cas tamb´em na movimenta¸c˜ao, entre outros.
Diversifica¸c˜ao de seres. Todos os seres s˜ao inicialmente idˆenticos, assim eles tem uma tendˆencia a se comportarem de forma semelhante. Uma das id´eias pro-postas foi a possibilidade de termos diversas esp´ecies de seres no ambiente. Sendo assim teriamos seres de tamanhos, formas e comportamentos distintos. Houve tamb´em a discuss˜ao acerca de esp´ecies que seriam amistosas e/ou coletivas, esp´ecies capazes de organizar-se em colˆonias. Para todas essas implementa¸c˜oes v´arios de-talhes deveriam ser adicionados, bem como o funcionamento da recompensa pelas a¸c˜oes do agente, para que ele pudesse ser motivado, ou n˜ao, para tomar essas decis˜oes.
AP ˆ ENDICE A -- Biografias
Este apˆendice apresenta uma r´apida biografia das pessoas citadas ao longo do texto, a maior parte delas s˜ao cientistas, de matem´aticos `a psic´ologos, pessoas que contribu´ıram direta ou indiretamente para consolida¸c˜ao da inteligˆencia artificial.
Binet, Alfred (11 de Julho de 1857 - 18 de Outubro de 1911). Psic´ologo francˆes, criador do primeiro teste de medi¸c˜ao de inteligˆencia, aplicando o conceito de QI criado por Willian Louis Stern.
Boole, George (2 de Novembro de 1814 - 8 de Dezembro de 1864) , ma-tem´atico e fil´osofo britˆanico, ´e o criador da ´Algebra Booleana, base da atual aritm´etica computacional.
Darwin, Charles Robert (12 de Fevereiro de 1809 - 19 de Abril de 1882) Naturalista britˆanico, um dos mais influentes cientistas que j´a existiu. Alcan¸cou a fama ao propor uma teoria para explicar como a evolu¸c˜ao se d´a por meio da sele¸c˜ao natural, autor do livro “A Origem das Esp´ecies”, onde introduziu a id´eia da evolu¸c˜ao dos seres a partir de um ancestral comum. Darwin foi sepultado na Abadia de Westminter em considera¸c˜ao ao seu trabalho, pr´oximo a Isaac Newton e outros cientistas.
Fermat, Pierre de (17 de Agosto de 1601 - ?). Natural de Beaumont-de-Lomagne, sul da Fran¸ca. Fermat na realidade foi um jurista, chegou a ser eleito Juiz Supremo na Corte Marcial de Toulouse. A matem´atica para si era basicamente um passatempo, mas apesar de bastante amador neste ramo ele foi e ainda ´e muito estimado pelos matem´aticos que se sucederam. Fermat ´e muito famoso pelo
intitulado“ ´Ultimo Teorema de Fermat”, que dizia n˜ao haverx, y, z, n sendon≥2 que satisfa¸ca a equa¸c˜ao xn+yn = zn. Apesar da prova emp´ırica por interm´edio de computadores, a demonstra¸c˜ao do teorema s´o surgiu em 1995 pelo matem´atico britˆanico Andrew Wiles.
Frege, Friedrich Ludwig Gottlob (8 de Novembro de 1848 - 26 de Julho de 1925) Foi um matem´atico, l´ogico e fil´osofo alem˜ao. Trabalhando na fronteira entre a filosofia e a matem´atica, Frege foi o principal criador da l´ogica matem´atica moderna, sendo considerado, ao lado de Arist´oteles, o maior l´ogico de todos os tempos.
Leibnitz, Gottfried Wilhelm von(Leipzig, 1 de Julho de 1646 - Hanˆover, 14 de Novembro de 1716). Fil´osofo, cientista, matem´atico, diplomata e biblio-tec´ario alem˜ao. A ele ´e atribu´ıda a cria¸c˜ao do termo “fun¸c˜ao” (1694), que usou para descrever uma quantidade relacionada a uma curva, como, por exemplo, a inclina¸c˜ao ou um ponto qualquer situado nela. ´E creditado a Leibniz e a Newton, o desenvolvimento do c´alculo moderno, em particular o desenvolvimento da Inte-gral e da Regra do Produto. Demonstrou genialidade tamb´em nos campos da lei, religi˜ao, pol´ıtica, hist´oria, literatura, l´ogica, metaf´ısica e filosofia.
McCarthy, John(4 de Setembro de 1927). Um dos fundadores da pesquisa de inteligˆencia artificial, professor McCarthy inventou o LISP, a linguagem de programa¸c˜ao mais usada na pesquisa de IA e tamb´em propˆos primeiramente a modalidade time-sharing da finalidade geral de usar computadores. A ˆenfase de sua pesquisa da IA esteve em identificar as regras do commonsense que determinam as conseq¨uˆencias das a¸c˜oes e dos outros eventos, da express˜ao de tais regras e da outra informa¸c˜ao do sentido comum como senten¸cas em l´ınguas l´ogicas nas bases de dados de programas inteligentes artificiais. Seu trabalho recente concerne o Racioc´ınio N˜ao Monotˆonico do sentido comum por meio de que os povos e os computadores desenham conclus˜oes conjentural supondo que as complica¸c˜oes s˜ao ausentes de uma situa¸c˜ao. McCarthy est´a trabalhando em uma linguagem de programa¸c˜ao, Elephant 2000, apropriado para os programas que interagem com
os povos ou com os programas que pertencem a outras organiza¸c˜oes. Seu projeto atual ´e a formaliza¸c˜ao do contexto e da sua aplica¸c˜ao `a inteligˆencia artificial.
Piaget, Jean (9 de Agosto de 1896 - 16 de Setembro de 1980). Su´ı¸co Ph.D em Ciˆencias Naturais na Universidade de Neuchatel em 1918. Fez contribui¸c˜oes consider´aveis no campo da psican´alise e epistemologia1, sendo fundador do Centro Internacional de Epistemologia Gen´etica em Geneva.
Stern, Willian Louis(29 de Abril de 1871 - 27 de Mar¸co de 1938). Psic´ologo e fil´osofo alem˜ao, Ph.D em psicologia pela Universidade de Berlin em 1893, pioneiro no campo da psicologia da personalidade e inteligˆencia, criador do conceito de Quociente de Inteligˆencia.
Turing, Alan Mathison (Londres, 23 de Junho de 1912 - 7 de Junho de 1954). Foi um matem´atico britˆanico. Filho de um oficial, logo cedo se interessou pela ciˆencia. A maior parte de seu trabalho foi desenvolvido na ´area de espionagem, e por isso somente em 1975 veio a ser considerado um grande nome na hist´oria da computa¸c˜ao.
Weizenbaum, Joseph(8 de Janeiro de 1923 - 5 de Mar¸co de 2008). Alem˜ao filho de judeus, viveu nos EUA para refugiar-se do regime nazista, foi professor em´erito em Ciˆencia da Computa¸c˜ao no MIT. Autor do livroComputer Power and Human Reason: From Judgment To Calculation, onde defendeu que apesar da inteligˆencia artificial ser poss´ıvel, jamais devemos deixar decis˜oes importantes a cargo de computadores, pelo fato das m´aquinas carecerem de qualidades humanas como compaix˜ao e sabedoria, segundo ele ausentes pela falta de conv´ıvio emocional familiar. E criador da linguagem SLIP, (Symmetric LIst Processor) [10]
Zadeh, Lotfi A. (4 de fevereiro de 1921). Matem´atico e cientista da com-puta¸c˜ao natural de Azerbaij˜ao, em 1942 graduou-se na Universidade de Teer˜a em Engenharia El´etrica. Durante II Guerra Mundial, mudou-se para os EUA e obteve o grau de mestre pelo Instituto de Massachusetts de Tecnologia (MIT) em 1946,
1Teoria do conhecimento, parte da filosofia que trata das cren¸ca e conhecimento
e seu Ph.D. pela Columbia (Nova Iorque) em 1949, onde ele come¸cou a lecionar sobre a teoria de sistemas. Desde 1959, Zadeh ´e professor em Berkeley, primeiro na Engenharia El´etrica (EE) Departamento onde ele assumiu a C´atedra em 1963, e depois na Divis˜ao de Inform´atica (EECS). Conhecido como criador do conceito de “L´ogica Fuzzy”, Lotfi Zadeh pertence a um mundo onde n˜ao h´a nenhum limite.
E um exemplo vivo de como Zadeh evita categorias absolutas que n˜ao levam em´ conta as complexidades da vida. Seu pensar caracteriza a l´ogica fuzzy, uma teoria n˜ao ortodoxa que inventou e que est´a revolucionando a tecnologia computacional.
Referˆ encias
[1] ALBERT, J.Teaching Inference about Proportions Using Bayes and Discrete Models, Journal of Statistics Education v.3, n.3 (1995).
[2] BITTENCOURT, G. Inteligˆencia Artificial: Ferramentas e Teorias.
Florian´opolis: Ed. da UFSC, 1998.
[3] CAWSEY, A. “The essence of artificial intelligence”,Prentice Hall, 1997
[4] CTAN - (Comprehensive TEX Archive Network). “The Not So Short Introduction to LATEX2e”, s/l. Dispon´ıvel em:
http://www.ctan.org/, 13/05/2008.
[5] DARWIN, C.R. “The Origin of Species by means of natural selec-tion”, London: John Murray, 1859.
[6] DUBOIS, D., GILIO, A. e Kern-Isberner G. “Probabilistic abduction without priors”, ScienceDirect International Journal of Approximate Reasoning, 2007
[7] EHLERS, E. e SCHOR, T. “DO PROJETO `A DISSERTAC¸ ˜AO:
DICAS PR ´ATICAS” - S˜ao Paulo, 2002
[8] FRASSON, V.S.M. “CLASSE ABNT: confec¸c˜ao de trabalhos acadˆemicos em LATEX segundo as normas ABNT”, 2004
[9] Human Intelligence – Universidade de Indiana
http://www.indiana.edu/~intell/index.shtml, 15/10/2008 [10] MIT Tech Talk, Volume 52 n´umero 19, 12 de mar¸co de 2008.
[11] MORETTIN, P.A. Introdu¸c˜ao `a estat´ıstica para ciˆencias exatas. S˜ao Paulo: Atual, 1981
[12] RABUSKE, R.A. Inteligˆencia Artificial. Florian´opolis: Ed. da UFSC, 1995.
[13] RUSSELL, Stuart J. e NORVIG, Peter Artificial Intelligence: A Modern Approach (2nd ed.), Nova York: Prentice Hall Ptr, 1995 [14] SCHROEDER, M. A Brief History of the Notation of Boole’s
Alge-bra, 1997.
[15] SPIEGEL, R.M. Probabilidade e Estat´ıstica, Makron Books, 1978.
[16] SHORT, T.H. e ROSSMAN, A.J. Conditional Probability and Edu-cation Reform: Are They Compatible?, Bowling Green State Uni-versity, Journal of Statistics Education v.3, n.2 (1995).
´ Indice
Agent, 37, 43 ambiente, 33
acessibilidade, 34 determinismo, 34 dinamismo, 34 discri¸c`ao, 35 episodic, 34 regras, 35
semi-dinˆamico, 34 Anima, 33
Bayes
Teorema de, 10, 29, 51 Begriffsschrift, 15
Binet, A., 14, 54 boole
´algebra de, 21 Boole, George, 15, 54 conjuntos
algebra de, 22 Control, 33, 43 Darwin, C.R., 54 Environment, 33 Fermat, Pierre de, 54 fic¸c˜ao cient´ıfica, 9 FileControl, 32, 52 FrameAnima, 33
Frege, F.L.Gottlob, 55 Frege, Gottolob, 15
Leibnitz, G.W., 15, 55 LISP, 15, 16, 55 Matriz, 35, 43 McCarthy, J., 55 MICRObit, 30
a¸c˜oes, 44 ambiente, 52
periculosidade, 50 aprimoramentos, 51 classes
Agent, 37, 43 Anima, 33 Control, 33, 43 Environment, 33 FileControl, 32, 52 FrameAnima, 33 Matriz, 35, 43 defesa, 40
evidˆencia, 44 falˆencia, 42 hist´orico, 51 interface, 51
interface de controle, 43 m´etodos
loadAgent(), 32 loadItens(), 32 loadMemo(), 32 scape(), 41 verifRange(), 38 writeAgent(), 32 writeItens(), 32