Beruflich Dokumente
Kultur Dokumente
pmd
20/6/2007, 09:42
Editora da Universidade
Federal da Bahia
Diretora
Flvia M. Garcia Rosa
Conselho Editorial
Angelo Szaniecki Perret Serpa
Carmen Fontes Teixeira
Dante Eustachio Lucchesi Ramacciotti
Fernando da Rocha Peres
Maria Vidal de Negreiros Camargo
Srgio Coelho Borges Farias
Suplentes
Bouzid Izerrougene
Cleise Furtado Mendes
Jos Fernandes Silva Andrade
Nancy Elizabeth Odonne
Olival Freire Jnior
Slvia Lcia Ferreira
MIOLO - Computacao.pmd
20/6/2007, 09:42
2007
MIOLO - Computacao.pmd
20/6/2007, 09:42
2007 by autores.
Direitos para esta edio cedidos Editora da
Universidade Federal da Bahia.
Feito o depsito legal.
Nenhuma parte deste livro pode ser reproduzida, sejam quais forem os meios
empregados, a no ser com a permisso escrita do autor e da editora,
conforme a Lei n 9610 de 19 de fevereiro de 1998.
Capa
Phillip Rodolfi
Reviso de texto
Dos autores
EDUFBA
Rua Baro de Jeremoabo, s/n, Campus de Ondina
40170-115 Salvador Bahia
Tel: (71) 3263-6160/6164
edufba@ufba.br
www.edufba.ufba.br
MIOLO - Computacao.pmd
20/6/2007, 09:42
SUMRIO
SOBRE
INTRODUO - CAPTULO 1 07
A SNTESE DE SISTEMAS E CRIATURAS SEMITICAS
Joo Queiroz
A RELEVNCIA
DA SEMITICA
PEIRCEANA
CAPTULO 2 19
Joseph Ransdell
CAPTULO 3 67
APRENDIZAGEM
QUA SEMIOSE
Andr De Tienne
ESTRUTURALISMO
CAPTULO 4 93
CAPTULO 5 129
QUE O SMBOLO
Lucia Santaella
CAPTULO 6 145
ASPECTOS
Alexander Mehler
MIOLO - Computacao.pmd
20/6/2007, 09:42
CAPTULO 7 159
MQUINAS
SEMITICAS
Winfried Nth
UM
CAPTULO 8 185
ROB POSSUI
BIOSEMITICA
Claus Emmeche
ROBOSEMITICA,
CAPTULO 9 235
COGNIO ENATIVA E INCORPORADA
Tom Ziemke
FORMA,
CAPTULO 10 249
FUNO E A MATRIA DA EXPERINCIA
Pim Haselager
ENGENHARIA
CAPTULO 11 265
MIOLO - Computacao.pmd
20/6/2007, 09:42
CAPTULO 1
INTRODUO
MIOLO - Computacao.pmd
20/6/2007, 09:42
as leis que regem o comportamento dos objetos simulados; podese isolar e variar cada parmetro isoladamente, associar diversas
variaes, combin-las em cascata e observar as consequncias
decorrentes de um, ou diversos, destes procedimentos; pode-se
replicar, sem as dificuldades tpicas de protocolos empricos, os
procedimentos, introduzir novos e subtrair antigos parmetros; podese rever a histria de interao de cada sistema, ou criatura, com
co-especficos, com competidores, com o ambiente e seus diversos
eventos.
Quando processos semiticos esto em foco, as abordagens atuam em diversos nveis sinttico, morfolgico, semntico, pragmtico, comunicao entre criaturas, etc (Cangelosi & Parisi 2002,
Steels 2003). Uma parte das abordagens simula a emergncia de
competncias semiticas na ausncia de qualquer adaptao prvia. Os sistemas so capazes de produzir alguma forma de semiose
em um ambiente em que esta, seus componentes ou estruturas,
no foram disponibilizados. Dependendo do quadro terico, e das
ferramentas computacionais, pode-se testar diversos fatores que
afetam a ontognese de muitos processos, como as diferenas entre sistemas de signos inatos e adquiridos, o papel adaptativo de
estruturas semiticas composicionais, as vantagens decorrentes do
aparecimento de processos simblicos, os supostos substratos materiais responsveis por estes processos, a influncia entre diferentes competncias semiticas (e.g. processamento simblico) e tarefas de baixo nvel cognitivo (e.g. ateno). Enfim, pode-se (e o
que se faz), experimentar livremente, se movendo em horizontes formais e tericos mais ou menos consolidados, assumindo-os
abertamente como meta-princpios, ou aceitando-os tacitamente
como fontes de inspirao.
Vida Artificial, Robtica Cognitiva, ANIMATS, Etologia Sinttica e
Semitica Computacional esto entre as principais reas envolvidas
na construo de sistemas e criaturas semiticas artificiais. Elas se
baseiam no uso de diferentes ferramentas, e divergem em muitas
de suas pretenes, mas so fortemente influenciadas por metaprincpios (formal-theoretical constraints) e por motivaes
empricas (empirical constraints), para o design dos ambientes e
definio dos sistemas, como morfologia de sensores, efetores,
arquitetura e processos cognitivos das criaturas concebidas. Na prtica, isto significa que dois conjuntos de restries informam ao
cientista: o que ele pretende simular? o que precisa ser considera-
MIOLO - Computacao.pmd
20/6/2007, 09:42
MIOLO - Computacao.pmd
20/6/2007, 09:42
10
MIOLO - Computacao.pmd
10
20/6/2007, 09:42
tes semiolgicas, a partir das quais pouco pode-se fazer, ao examinar um rob ou uma criatura, que subtrair-lhes propriedades
semiticas complexas (e.g. sintaxe, composicionalidade semntica
etc), e, uma vez que as discusses sobre Umwelt e semiose parecem estar indissociavelmente conectadas, que subtrair-lhes mundo fenomenal, ou Umwelt.
Para J.Uexkull, o que cognitivamente significativo para uma
criatura depende de sua interao sensrio-motora com a informao disponvel em seu ambiente. Umwelt pode ser definido como o
aspecto fenomenal das partes do ambiente de uma espcie. As
partes que a espcie, evolutivamente, escolhe em termos sensrio-motores, de acordo com sua organizao e suas necessidades.
crescente o nmero de trabalhos sobre Umwelt em etologia,
biossemitica, filosofia da biologia, alm de Vida Artificial, e pesquisas sobre sistemas autnomos. A questo, retomada aqui em
diversas ocasies, : uma criatura artificial pode viver em um
mundo fenomenal, de acordo com a noo de Umwelt? exatamente esta a questo que Claus Emmeche dedica sua ateno:
robs tm, ou podem ter, Umwelt? Emmeche defende a noo de
Umwelt como particularmente relevante para a nouvelle IA, uma
vez que enfatiza a interao que decorre da experincia. O captulo de Pim Haselager tambm uma discuo sobre o papel do
Umwelt em criaturas artificias. Ele questiona a relao de codependncia, estabelecida por diversos pesquisadores, entre
Umwelt e vida, no contexto da robtica cognitiva situada e incorporada. Tom Ziemke discute a possibilidade de efetiva
implementao de semiose artificial em agentes autnomos. Ele
apresenta agentes autnomos como modelos de processos
sgnicos, e cognio enativa incorporada. Ziemke est interessado nas propriedades de autonomia e capacidade de semiose destes agentes.
Uma discusso detalhada sobre sistemas autnomos situados, ou
sobre sistemas semiticos auto-organizados com propriedades qualitativas emergentes, ainda est por ser feita. A noo de emergncia raramente discutida em IA e em vida artificial. O captulo
de El-Hani & Queiroz discute em que sentido a semiose pode ser
caracterizada como um processo emergente. O problema est
relacionado s condies que precisam ser satisfeitas para tal caracterizao. Os autores propem um modelo capaz de explicar
emergncia de semiose em sistemas que produzem, processam e
11
MIOLO - Computacao.pmd
11
20/6/2007, 09:42
12
MIOLO - Computacao.pmd
12
20/6/2007, 09:42
sas restries que tal aproximao precisa satisfazer para ser bem
sucedida, e estabelece cinco princpios de acordo com os quais Peirce
descreve a aprendizagem como um fenmeno pr-psicolgico.
Lcia Santaella aborda o conceito de smbolo, para Peirce, as
diversas variaes e sub-divises deste conceito, e relaes com a
noo de hbito. Trata-se de um tpico recorrente em Cincias
Cognitivas, que identifica o smbolo com propriedades de
composicionalidade e arbitrariedade semnticas, frequentemente
em um sistema declarativo de sinais, propriedades s quais Peirce
jamais restringiu este conceito.
O captulo de Alexander Mehler fortemente metodolgico. Seu foco
o que se conhece hoje como Semitica Computacional (ver Gudwin
& Queiroz 2007). Mehler define seu escopo e sua relao com a
semitica de computadores, com a vida artificial forte e prope importantes distines entre modelagem, simulao e emulao.
Leandro de Castro e colaboradores apresentam seus desenvolvimentos em sistemas imunolgicos artificiais, rea em que Castro
considerado um dos principais fundadores. Estes desenvolvimentos,
eles defendem, tm importantes consequncias para as noes de
representao, reconhecimento de padro e informao, abrindo
uma nova frente nas pesquisas em vida artificial e semitica
computacional.
Tomados em conjunto, so abordados aqui problemas tericos,
metodolgicos, e so apresentados novos modelos computacionais.
Cientistas cognitivos, atuando em novos frameworks (e.g. nouvelle
AI), tomam seriamente em considerao a semitica de Peirce, e
as abordagens de Uexkull. Alguns dos trabalhos deste livro discutem
e desafiam a idia de semiose genuna, e de Umwelt, em sistemas artificiais; outros, a idia de emergncia de semiose e de
mundo fenomenal nestes sistemas; h captulos que definem com
preciso as noes de semiose, aprendizagem, smbolo, e mquina
semitica; e um captulo que, inspirado no sistema imunolgico,
prope novas estratgias para construo de sistemas
computacionais.
AGRADECIMENTOS
Os organizadores agradecem, pela colaborao na traduo dos
captulos, a Julia Itani (Captulo 2), Luciane Rodrigues (Captulo 3),
13
MIOLO - Computacao.pmd
13
20/6/2007, 09:42
NOTAS
A obra de Peirce ser citada, neste livro, como: CP (seguido pelo
nmero do volume e pargrafo), The Collected Papers of Charles
S. Peirce (1866-1913); EP (seguido pelo nmero do volume e pgina), The Essential Peirce (1893-1913); W (seguido pelo nmero do
volume e pgina), Writings of Charles S. Peirce (1839-1914); MS
(seguido pelo nmero do manuscrito), Annotated Catalogue of the
Papers Of Charles S. Peirce.
1
REFERNCIAS
BARWISE, Jon e ETCHEMENDY, John. 1995. Heterogeneous Logic.
Em: Diagrammatic Reasoning cognitive and computational
perspective. J. Glasgow (et al. eds.). The AAAI Press.
BERGMAN, Mats. 2000a. Reflections on the role of the
communicative sign in semeiotic. Transactions of the Charles S.
Peirce Society: A Quarterly Journal in American Philosophy, Spring
XXXVI (2): 225-254.
__. 2000b. Meaning and Mediation: Toward a communicative
interpretation of Peirces theory of signs. Yliopistopaiano.
BRAITENBERG, Valentino. 1984. Vehicles: Experiments in synthetic
psychology. MIT Press.
BEDAU, Mark A. 1998. Philosophical content and method of artificial life. Em: The Digital Phoenix: How Computers are Changing
Philosophy. T.W. Bynum e J.H. Moor (eds.) Blackwell Publishers.
pp.135-152.
CANGELOSI, Angelo; PARISI, Domenico (eds.). 2002. Simulating the
Evolutions of Language. Springer Verlag.
DEACON, Terrence. (1997). Symbolic Species: The Co-evolution of
Language and the Brain. Norton.
14
MIOLO - Computacao.pmd
14
20/6/2007, 09:42
15
MIOLO - Computacao.pmd
15
20/6/2007, 09:42
AUTORES
George Barreto Bezerra pesquisador do Laboratrio de BioInformtica e Computao Bio-Inspirada (LBiC), Faculdade de Engenharia Eltrica e de Computao (DCA-FEEC-UNICAMP).
Leandro N. de Castro <lnunes@unisantos.br> professor do Programa de Mestrado em Informtica, da Universidade Catlica de
Santos (UniSantos).
Andre De Tienne <adetienn@iupui.edu> professor do Departamento de Filosofia da IUPUI, Indianpolis, e editor associado ao
Peirce Edition Project.
Charbel El-Hani <charbel@ufba.br> professor do Programa de
Ps-Graduao em Ensino, Filosofia e Histria das Cincias, Instituto de Biologia (UFBA); e do Programa de Ps-Graduao em Ecologia e Biomonitoramento (UFBA).
Claus Emmeche <emmeche@nbi.dk> professor e diretor do Centro de Filosofia da Naureza da Universidade de Copenhagen.
Ricardo R. Gudwin <gudwin@dca.fee.unicamp.br> professor do
Departamento de Engenharia de Computao e Automao Indus-
16
MIOLO - Computacao.pmd
16
20/6/2007, 09:42
17
MIOLO - Computacao.pmd
17
20/6/2007, 09:42
MIOLO - Computacao.pmd
18
20/6/2007, 09:42
CAPTULO 2
A RELEVNCIA DA SEMITICA PEIRCEANA PARA UMA
INTELIGNCIA COMPUTACIONAL AUMENTADA
Joseph Ransdell
INTRODUO
Peter Skagestad identifica duas vises distintas que tm estimulado
as pesquisas sobre inteligncia baseada em computao. Ele as chama de 'Inteligncia Artificial' e 'Inteligncia Aumentada' (Skagestad
1996)1. O objetivo deste captulo , em primeiro lugar, fazer a distino entre estes dois tipos de pesquisa, em inteligncia
computacional, para aqueles que podem no estar acostumados a
reconhec-los como partes coordenadas. Em seguida, vou chamar a
ateno para um tipo especial de pesquisa em Inteligncia Aumentada, onde me parece necessria uma nfase especial, tanto em razo
de seu importante potencial quanto porque as consideraes de
Skagestad sobre as caractersticas distintivas da pesquisa em Inteligncia Aumentada no me parecem capturar as caractersticas mais
salientes deste domnio, talvez porque pode no lhe ter ocorrido que
ele suficientemente distinto para exigir ateno especial.
19
MIOLO - Computacao.pmd
19
20/6/2007, 09:42
20
MIOLO - Computacao.pmd
20
20/6/2007, 09:42
as bases para o movimento da Inteligncia Aumentada em pesquisas de inteligncia computacional podem no ser igualmente familiares. A distino est implcita na literatura especulativa sobre
inteligncia computacional desenvolvida nas ltimas dcadas. Mas o
reconhecimento destes movimentos, como dois desenvolvimentos
igualmente importantes, na categoria mais ampla de programao
em inteligncia computacional, parece ser relativamente recente4.
Como embasamento para este artigo, recomendo trs trabalhos de
Peter Skagestad, sobre este tpico, que esto disponveis on-line5.
Os trs artigos so relevantes, mas estarei aqui comentando somente alguns poucos pontos que eles levantam, principalmente (mas
no exclusivamente) do artigo de 1993. Nestes artigos, Skagestad
distingue entre Inteligncia Artificial e Inteligncia Aumentada, como
tipos de metas da programao que correspondem ao que ele considera duas 'revolues na computao', diferentes e baseadas em
'duas mquinas abstratas' bem distintas - a mquina Universal de
Alan Turing, como descrita em seu artigo de 1936 sobre nmeros
computveis, e o Memex de Vannevar Bush, como descrito no artigo de 1945. Skagestad diz:
Ambos, a Mquina de Turing e o Memex, tentam mecanizar
funes especficas da mente humana. O que Turing tentou
mecanizar foi a computao e, de maneira geral, qualquer
processo de raciocnio que pudesse ser representado por
um algoritmo; o que Bush tentou mecanizar foram os processos associativos por meio dos quais trabalha a memria humana. [...] O Memex, que tenta replicar a memria humana, e
portanto pode ser visto como corporificao de uma 'memria artificial', no tinha como inteno rivalizar com a mente
humana [como faz a Inteligncia Artificial] mas sim estender
seu alcance, disponibilizando mais rapidamente seu contedo, e selecionando os registros mais teis para uma dada
situao, quando necessrio. Esta idia inspirou diretamente o programa de pesquisas conhecido como 'inteligncia
aumentada' (Inteligncia Aumentada), formulado em 1962 por
Douglas Engelbart, com um agradecimento explcito a Bush.
21
MIOLO - Computacao.pmd
21
20/6/2007, 09:42
22
MIOLO - Computacao.pmd
22
20/6/2007, 09:42
23
MIOLO - Computacao.pmd
23
20/6/2007, 09:42
at agora, se desenvolvido principalmente em funo de duas perspectivas diferentes, considerando os objetivos que podem ser alcanados - Inteligncia Artificial e Inteligncia Aumentada. Tais perspectivas podem ser vistas como alternativas complementares, no
exclusivas, de modelos de desenvolvimento em IC, que, entretanto, podem entrar em desacordo, devido aos diferentes conceitos
de mentalismo que as subsidiam. O objetivo primrio de Skagestad
no foi o de encorajar o desenvolvimento de pesquisas nas quais
estas reas pudessem mutuamente ser utilizadas como suporte,
embora indubitavelmente ele fosse favorvel a isso, mas deixar
claro que o segundo paradigma de pesquisas em IC conceitualmente
independente do primeiro, uma vez que, aquilo a que nos referimos como sendo uma nica coisa, o computador, corresponde, na
verdade, a duas coisas: um mecanismo corporificador de algoritmos,
capaz, at certo ponto, de imitar funes mentais, e um instrumento para a coordenao de diversos fatores envolvidos na inteligncia humana, uma vez que podem ser mecanicamente realizados, de forma a aumentar a inteligncia humana.
Skagestad considera a base terica para a concepo da Inteligncia Artificial como fundamentada na concepo de Turing de
Mquina Universal, mas no considera o respectivo personagem
histrico em Inteligncia Aumentada, Vannevar Bush, como o fornecedor da base terica para a tradio geral em Inteligncia Aumentada. Sua viso, ao contrrio, a de que, embora Peirce no
tenha vislumbrado essa rea, como ela hoje, de uma maneira
concreta como Bush fez com sua conceitualizao da mquina Memex,
a filosofia de Peirce fornece uma base terica para a tradio geral
da Inteligncia Aumentada, de um modo que a perspectiva mais
limitada de Bush no seria capaz de fazer. Skagestad tambm reconhece outros personagens, cujas concepes do suporte a essas
bases tericas, mais particularmente Karl Popper e sua concepo
do desenvolvimento evolucionrio exosomtico da mente (Skagestad
1993). Mas ele considera o trabalho de Peirce, que anterior ao de
Popper, como sendo o mais adequado, do ponto de vista terico.
24
MIOLO - Computacao.pmd
24
20/6/2007, 09:42
senvolvimento de tecnologias em inteligncia computacional, quanto afirmao de que a filosofia de Peirce pode fornecer uma base
terica para o segundo tipo de projeto em inteligncia computacional,
trazendo, ao mesmo tempo, contribuies importantes para o primeiro. Assumo isso como tcito, aqui. Mas antes de seguir e explicar os aspectos seguintes da tradio de pesquisas em Inteligncia
Aumentada que me interessam, devo primeiro mencionar que no
acredito que Skagestad tenha sido bem sucedido, at agora, em
identificar, de maneira suficientemente precisa, o que h de fundamental na tradio em Inteligncia Aumentada, que vai de Bush,
passando por Douglas Engelbart, J.L.C. Licklider (desenvolvimento
da Internet), Ivan Sutherland (computao grfica), Ted Nelson
(hipertexto), Alan Kay (design de interfaces), e outros personagens, at Tim Berners-Lee. Estes, que criaram o conceito de World
Wide Web e, ao mesmo tempo, o transformaram no sistema de
hipertexto mundial, por volta de 1989, continuam, com seus trabalhos, no desenvolvimento da chamada 'rede semntica' (semantic
web)6. No encontro um lugar onde Skagestad descreva a Inteligncia Aumentada de um modo que parea capturar o que suas
diversas facetas tm em comum, o que justificaria considerarmos
esta segunda viso controladora, ela prpria, como uma viso nica ou unitria. Acredito, entretanto, que h realmente alguns fatores unificadores a serem considerados.
Assim, Skagestad refere-se algumas vezes Inteligncia Aumentada como sendo baseada na concepo de computador pessoal,
em contraste com a concepo de computador que poderia ser
exemplificada pelo tipo de computao caracterstico da computao em mainframes. Isto poderia talvez ser afirmado, identificando-se algumas peculiaridades caractersticas em computadores pessoais, das quais fosse possvel derivar os princpios gerais encontrados na Inteligncia Aumentada. Mas no creio que isto feito satisfatoriamente. Ele tambm menciona a problemtica e os propsitos do design de interface com o usurio como sendo de primeira
importncia, e isso, apesar de estar correto, tambm no definido de maneira adequada. Usando a viso de Bush da mquina Memex
como uma base histrica, ele est, na realidade, privilegiando os
princpios do hipertexto como fundamentais, e isso certamente
tambm de suma importncia. Mas, novamente, no vejo da
parte de Skagestad nenhuma tentativa em demonstrar que estes
princpios esto, de alguma forma, nos fundamentos de tudo isso.
O conceito de redes de computadores poderia ser ainda um outro
25
MIOLO - Computacao.pmd
25
20/6/2007, 09:42
26
MIOLO - Computacao.pmd
26
20/6/2007, 09:42
mainframes, que estava acostumado a pensar em termos da mquina como dedicada execuo de rotinas puramente dedutivas
operando sobre dados a ela fornecidos com o propsito de apenas
extrair deles concluses dedutivas. Encontrar o caminho de sada
da 'Caverna Colossal' exigia muita deduo, mas deduo algortmica
no era exatamente a forma de atividade do sistema como um
todo ('pessoa-e-mquina' interativo), pois, na realidade, a pessoa
humaniza a mquina, dotando-a de espontaneidade humana a servio da descoberta.
A interao entre seres humanos e mquinas na soluo de problemas que surgem no contexto da descoberta este o ponto
pelo qual eu comearia, na tentativa de obter uma viso clara e
unitria da essncia do que Skagestad considera como sendo a
segunda revoluo computacional e identifica como sendo o projeto da Inteligncia Aumentada7. Skagestad certamente concordaria
comigo neste ponto, no estou sugerindo nada discordante aqui.
Mas o melhor que posso extrair daquilo que ele afirma nos artigos
anteriormente mencionados, seu ponto de partida para entender a
Inteligncia Aumentada filosoficamente, a idia de uma localizao 'exosomtica' da mente no ambiente material. Deixe-me explicar agora como isto se relaciona com a afirmao Peirceana de que
todo pensamento em signos, que ele corretamente considera,
em minha opinio, como a concepo chave para se entender a
semitica de Peirce como capaz de fornecer uma base terica para
a Inteligncia Aumentada em geral.
27
MIOLO - Computacao.pmd
27
20/6/2007, 09:42
realiza como tal ao gerar um interpretante, que por sua vez tambm um signo subseqente da mesma coisa, e que, ao ser realizado como um signo, gera tambm outro interpretante, e assim
por diante.
Assim, como corretamente defende Skagestad, o desenvolvimento do pensamento acaba assumindo a forma do desenvolvimento do
meio fsico do pensamento, ou seja, coisas como o desenvolvimento dos instrumentos e dos veculos de expresso, tais como sistemas notacionais, ou meios e mdias de inscrio como livros e instrumentos de escrita, linguagens consideradas como entidades materiais como inscries escritas e sons, instrumentos fsicos de observao como tubos de ensaio, microscpios, aceleradores de partculas, e assim por diante. A evoluo da mente significa que a
cognio est se desenvolvendo, no fundamentalmente no sistema nervoso e no crebro, no em algum tipo imaterial de coisa
mental, mas ao invs disso nos instrumentos materiais e nas mdias
da cognio. Assim,
Um psiclogo remove um lbulo do meu crebro (nihil
animale a me alienum puto) e ento, quando v que no
posso me expressar, diz, 'Veja, sua faculdade da linguagem
estava localizada naquele lbulo'. Sem dvida estava; e ento, se ele tivesse surrupiado meu tinteiro, eu no estaria
apto a continuar minha discusso at que conseguisse outro. , [...], os pensamentos no me viriam [a nfase minha]. Assim, minha faculdade de discusso est igualmente
localizada em meu tinteiro' (CP 7.366).
facilmente perceptvel a conexo disso tudo com o desenvolvimento da computao grfica, da interface com o usurio, do uso
do mouse, processadores de texto, hipertextos, e assim por dian-
28
MIOLO - Computacao.pmd
28
20/6/2007, 09:42
29
MIOLO - Computacao.pmd
29
20/6/2007, 09:42
30
MIOLO - Computacao.pmd
30
20/6/2007, 09:42
INVESTIGAO E ASSERO
O suporte para este tpico na filosofia de Peirce se encontra
principalmente em sua teoria da investigao, que o framework
geral no qual ele se baseia para desenvolver sua lgica. Sua Lgica
inclui o desenvolvimento de notaes, tcnicas de derivao para
deduo, e metodologias de induo e abduo. Mas Peirce situa as
questes lgicas tradicionais dentro de um framework de investigao concebido de tal maneira que poderia ser considerado, para
alguns propsitos, como uma teoria geral da assero. Entretanto,
hesito em cham-la assim pois isso poderia ser mais uma fonte de
confuso do que algo til, tendo em vista a maneira pela qual a
teoria dos atos da fala, da qual Peirce foi um pioneiro, foi desenvolvida depois de sua morte. Esta vem se tornando uma abordagem
diferente para se entender o que uma assero, ao minimizar,
tanto quanto possvel, o aspecto social do ato da fala. Isto feito,
considerando que o papel do destinatrio no ato fica limitado quilo
que est implcito no reconhecimento de um ato. 'Pegar' um
termo usualmente utilizado para expressar este tipo de aquiescn-
31
MIOLO - Computacao.pmd
31
20/6/2007, 09:42
32
MIOLO - Computacao.pmd
32
20/6/2007, 09:42
Agora, considerar a lgica como uma teoria da assero assumir uma perspectiva muito especial do processo de investigao9,
tomando-o do ponto de vista do investigador, que considerado
motivado como sendo membro de uma comunidade de pesquisa
com o objetivo de fazer uma contribuio para o entendimento
compartilhado do tema, ao que j foi desenvolvido pela tradio de
pesquisa. O ato de assero ocorre quando o investigador, tendo se
preparado para assumir o risco envolvido em faz-lo, tenta capturar a ateno de outros, em seu campo de pesquisa, de tal forma
que eles acabem por chegar mesma concluso qual ele chegou,
e assim contribuir para a tradio de pesquisa, ao format-la na
direo de um entendimento do assunto que seja, em ltimo caso,
compartilhado e estvel.
Isto feito a partir da afirmao de um achado ou, caso este
seja considerado suficientemente importante, de uma descoberta,
o que feito a partir da publicao de um relato de pesquisa. Sua
ocorrncia, quando reconhecida, acaba por ser o disparo intencional de um conjunto complexo de obrigaes e permisses
comunicacionais, que se aplicam no somente ao pesquisador que
faz a afirmao mas a todos aqueles da tradio de pesquisa envolvidos pela assero.10
33
MIOLO - Computacao.pmd
33
20/6/2007, 09:42
no pensem normalmente desta maneira. E, na 'dana da pesquisa', atos correspondentes a asseres srias provem um tipo de
nfase que tem um efeito de organizao nico no processo.
Para os presentes propsitos, deixe-me caracterizar uma assero
sria como a obteno de que esta (considerando uma pessoa fazendo a assero) deve assumir total responsabilidade por fazer
uma afirmao que, uma vez considerada sria pelos outros na
comunidade, colocar sobre eles a obrigao de considerar que o
que foi reinvidicado suficientemente srio para permitir que eles
mesmos sejam persuadidos concluso a que o reclamante chegou, se o reclamante na verdade apresentou seus pontos de uma
maneira que pode ser vista como racionalmente persuasiva. (Quem
deve ach-la persuasiva? Na verdade, cada membro da referida
comunidade de pesquisa, tomada distributivamente, i.e. cada membro tomado individualmente um a um, distintamente de um nico
indivduo considerado coletivamente. A comunidade de pesquisa no
deve ser considerada como uma entidade coletiva.11) Outras obrigaes, envolvendo tanto o reclamante como seus colegas pesquisadores referenciados na afirmao, esto tambm envolvidas em
uma assero sria.
Por exemplo, exige-se do reclamante sinceridade sobre ter chegado concluso por si prprio; aqueles que so citados pela afirmao devem levar ao reclamante e comunidade de pesquisa
qualquer objeo sria que possam ter contra a afirmao feita,
caso localizem alguma falha que considerem importante o suficiente para avisar aos demais membros da comunidade. A qualquer um
citado pela afirmao - i.e. qualquer membro da comunidade de
pesquisa - permitido responder apropriadamente afirmao, de
qualquer maneira que considere adequada, desde que trate da questo sobre se a afirmao deve ou no ser aceita. Exige-se da pessoa que faz uma afirmativa que esta inclua informaes suficientes
sobre quais os mtodos de replicao de resultados que poderiam
ser utilizados para permitir que estes possam ser testados, segundo
as especificaes prprias do afirmante. Espera-se do afirmante
uma explicao, caso alguma objeo seja feita com relao a
tentativas falhas de replicao dos resultados, e assim por diante.
Isso descreve o que tenho chamado de assero sria, que obviamente tem um papel especial no processo de investigao, devido
ao poder de afirmao que uma pesquisa feita seriamente tem,
34
MIOLO - Computacao.pmd
34
20/6/2007, 09:42
ASSERO NO-SRIA
Mas o processo de investigao no envolve simplesmente seriedade, como anteriormente discutido, mas tambm envolve muita
(de fato, muita) atividade comunicacional de um tipo preparatrio, que tambm afeta seus resultados consideravelmente, mas o
faz de maneira diferente, uma vez que o que dito no feito na
forma de asseres srias, e portanto no demanda as mesmas
obrigaes rgidas que um ato de publicao primria implica. (Isto
no significa que nenhuma norma se aplica: todo ato de discurso
envolve algum tipo de norma bem conhecida, e mesmo o discurso
mais jocoso, em um contexto de investigao, governado por
normas.) Seriedade ou no-seriedade, neste sentido especial, no
uma questo de como as pessoas se sentem: pode-se, de uma
maneira no-sria, argumentar sobre diversos assuntos com gran-
35
MIOLO - Computacao.pmd
35
20/6/2007, 09:42
36
MIOLO - Computacao.pmd
36
20/6/2007, 09:42
37
MIOLO - Computacao.pmd
37
20/6/2007, 09:42
38
MIOLO - Computacao.pmd
38
20/6/2007, 09:42
39
MIOLO - Computacao.pmd
39
20/6/2007, 09:42
40
MIOLO - Computacao.pmd
40
20/6/2007, 09:42
h nenhuma poltica especial para se garantir isso, da mesma forma como, na prtica, isso no tem se mostrado necessrio.
41
MIOLO - Computacao.pmd
41
20/6/2007, 09:42
quando aqueles que dependem da literatura dos peridicos para entender o que est na vanguarda percebem o que est acontecendo
ali, as fronteiras da vanguarda j tero se deslocado. Qualquer rea
que coloque grande nfase na prioridade de descobertas acabar por
recorrer distribuio de pr-impresses como um meio de publicao primria, a menos que exista algo que dificulte isso, e a dominao do direcionamento nas pesquisas em muitos campos, por aqueles
que esto em posies privilegiadas uma vez que esto aptos a participar em publicaes primrias deste tipo (o que algumas vezes era
discutido em termos da dominao da pesquisa por 'colegiados invisveis'17 de privilegiados comunicacionalmente) era um assunto de preocupao crescente nas cincias, quando Ginsparg estabeleceu seu
sistema servidor de pr-impresses automatizado e sem restries
de acesso em Los Alamos.
Ginsparg e seus associados estavam conscientes, desde o comeo, de que algo de importncia potencialmente singular havia sido
conseguido pelo ato relativamente simples de se instalar um sistema servidor de arquivos na Internet com uma poltica de acesso
sem restries para depsito e recuperao. A coisa mais importante para eles parece ter sido que, ao adotar este novo sistema,
estavam fazendo uma transio entre um sistema de publicaes
que servia principalmente aos interesses especiais de somente alguns fsicos que, como eles mesmos, tinham a sorte de estar no
pequeno grupo fechado dos mais avantajados, para um sistema
capaz de servir s necessidades de todos os fsicos do mundo que
fossem capazes de acessar a Internet, mesmo que com somente
um nvel mnimo de eficincia, sem as limitaes baseadas na necessidade de uma qualificao especial ou relacionamento com certos colegiados. Farei referncia a isto como o motivo cosmopolita.
Ao mesmo tempo parecem ter entendido que algo mais estava
acontecendo, e que isso tinha a ver com o fato de que ali se mostrava que as prticas de anlise por pares utilizadas pelos peridicos no eram pertinentes (ou seja, no se aplicavam) ao controle
crtico da pesquisa de vanguarda. Uma vez que parte da sabedoria convencional o fato de que justamente a anlise por pares que
garante que os 'padres de qualidade' possam ser reconhecidos na
pesquisa e no controle de publicaes, a sua dispensa, sendo ela
tipicamente desdenhada como no-pertinente, foi entendida como
algo perigosamente subversivo cincia e academia, especialmente considerando-se o fato de que as disciplinas cientficas das
42
MIOLO - Computacao.pmd
42
20/6/2007, 09:42
43
MIOLO - Computacao.pmd
43
20/6/2007, 09:42
sistema parece funcionar nos campos para os quais foi originalmente projetado. Por outro lado, tornou-se tambm cada vez mais
claro que no h ainda uma tendncia com relao a sua adoo
como um modelo geral de prtica de publicao em cincias, como
Ginsparg e alguns de seus associados haviam imaginado que poderia ocorrer, muito menos no sentido de sua emulao em publicaes de pesquisa cientfica e acadmica de maneira generalizada.
Conseqentemente, o interesse inicial neste, como um sistema novo
e revolucionrio viabilizado pela Internet, acabou por desaparecer.
Assim, como indicado anteriormente, o sistema foi considerado
como no sendo um sistema de publicao, apesar de ter continuado a ser o principal sistema para publicao primria, como definido aqui, nos campos para os quais foi concebido. Desta maneira,
seu nico valor em relao s prticas de publicao em geral,
conforme usualmente se considera, reside no fato de que ele acabou por fornecer um modelo para o desenvolvimento de sistemas
de arquivo de Internet, de um tipo que pode ser copiado em qualquer nmero de diferentes ns na Internet sistemas de arquivos
deste tipo, localizados em universidades, esto agora sendo apresentados como rplicas localizadas e perfeitas dele. Sua virtude
vem do fato de que qualquer coisa depositada em qualquer um
destes sistemas de arquivos torna-se disponvel como um documento em uma nica base de dados virtual, em qualquer lugar do mundo. Seus documentos so suscetveis a buscas, alm de ficarem
disponveis a programas desenvolvidos com o propsito de extrair
material dele, de modo a acompanhar o que existe ali, como qualquer bibliotecrio poderia fazer, e tambm com o propsito de
analisar os documentos ali contidos de forma a separ-los por tipo
e a descrev-los, de acordo com qualquer tipo de critrio,
correspondendo aos vrios interesses que algum poderia ter neles.
O valor disto inquestionvel, mas esta no , na minha opinio, a
coisa mais importante a se entender sobre o sistema de publicao
Ginsparg.
Assim, embora a desinformao retrica sobre o sistema, como
um sistema de publicao, no tenha tido nenhum efeito sobre seu
uso nas reas para as quais foi projetado, onde ele ainda continua
a prosperar, houve de fato um desvio de foco sobre seu aspecto
mais idealstico e sobre a potencialidade para encorajar reformas
que estavam implcitas no sistema automatizado. Sua relevncia
acabou parecendo ser (um tanto erroneamente) somente a de um
44
MIOLO - Computacao.pmd
44
20/6/2007, 09:42
45
MIOLO - Computacao.pmd
45
20/6/2007, 09:42
avanou e ento a funo do peridico como um espao de divulgao no pode ser a de controlar o que aparece na vanguarda, em
termos de asseres de pesquisa. Isto no equivale a dizer que um
peridico editorialmente controlado no poderia estar a servio
daqueles que esto na vanguarda, mas isto teria de ser decorrente
do uso da retrospeco, de ser claro sobre o que foi alcanado,
diferentemente de seu mero alcance, que no exige uma validao
editorial baseada em uma anlise por pares. Algo assim foi, e talvez ainda seja, a viso dos pesquisadores que apiam o uso do
sistema de publicao Ginsparg.
A possibilidade de que a funo de controle primrio esperada na
anlise por pares fosse a de controle da vanguarda, e que o sistema
automatizado de arquivos sem filtragens fosse o lugar onde se pudesse encontrar uma autntica anlise por pares, no parece ter
ocorrido aos fsicos, no entanto, e muito menos ocorreu aos partidrios dos peridicos editorialmente controlados, que consideram o
peridico como o local natural para uma anlise por pares, bem
como o fator de controle crtico primrio na pesquisa cientfica.
Com este tipo de acordo entre os antagonistas, relativo ao que
seja uma anlise por pares, ou seja, uma avaliao de pr-publicaes por pares editorialmente comissionados, me pareceu que seria insensato lutar contra isto, mesmo que eu achasse que existia
a um grande engano. Assim o melhor seria deixar o uso da noo
'anlise por pares' da maneira como estava. Afinal, tudo no passaria de uma questo verbal, ou algo assim, como inicialmente eu
supus, e talvez no mais do que uma discusso sobre o uso do
termo.
Mas eu estava errado. O que eu ainda no havia percebido que
foi tirando proveito do descaso dos fsicos pela anlise por pares,
da forma como eles a entendiam em comum com seus oponentes,
como um fator primrio de controle crtico, que o radicalismo supostamente perigoso do sistema de publicaes automatizado sem
filtragem e sem restries de acesso de Los Alamos seria neutralizado, tornando-se incuo, considerando qualquer interesse
institucionalizado que pudesse ser ameaado pelo desafio colocado
anlise por pares. Percebi, entretanto, que uma vez que o
respeito ao princpio da idia de par que est nas bases do controle
crtico de comunicaes de pesquisa, que teria sido um erro retrico
o que tem permitido o sucesso daqueles que negam o significado do
sucesso do sistema Ginsparg, negando que ele tenha o status que
46
MIOLO - Computacao.pmd
46
20/6/2007, 09:42
47
MIOLO - Computacao.pmd
47
20/6/2007, 09:42
48
MIOLO - Computacao.pmd
48
20/6/2007, 09:42
trole crtico da pesquisa, temos que entender porque se julga importante que a aceitao das asseres de pesquisa, em um dado
campo, seja algo que acontece em decorrncia da avaliao destas
asseres feita pelos pares. Como j destacado, um par um igual
presumido, no algum que tenha demonstrado ser de fato igual,
neste ou naquele aspecto, mas algum que considerado,
presumivelmente, como algum cuja opinio informada sobre o
assunto-tema importante o suficiente para que qualquer desacordo das opinies produza uma situao na qual ambas no possam ser verdadeiras, mas no se possa decidir a respeito de qual
est errada, argumentando-se que um deles tenha status superior.
Em outras palavras, no pode haver uma relao de autoridade
entre pares, a menos que estejamos falando sobre uma certa fazenda de animais20, onde alguns pares so reconhecidos como sendo mais 'pares' do que outros.
O conceito de par aparece em diversos contextos diferentes da
sociedade moderna. Um exemplo familiar sobre como funciona o
status de par pode ser ilustrado por um caso onde um mdico
chamado por um paciente de outro mdico, para a emisso de uma
segunda opinio. Mdicos normalmente no se opem a um pedido
de um paciente por uma segunda opinio. Isso entendido como se
as duas opinies estivessem em paridade, como avaliaes profissionais, no sentido em que a segunda opinio simplesmente mais
uma opinio a ser plenamente considerada, ao invs de ser uma
opinio definitiva ou determinante em relao primeira: no h e
no pode haver presuno geral a favor da opinio de um par
relativa a de outro baseada na importncia do mdico. Eles so,
neste sentido, iguais. Isto no implica que um deles no possa
descrever o caso melhor do que o outro, mas isso algo que o
paciente ter que julgar por si prprio. No caso de duas opinies
conflitantes, a questo sobre qual deve ser seguida no pode ser
estabelecida consultando um terceiro mdico, que pudesse definir
o assunto dizendo ao paciente qual est certa. Tudo que o terceiro
mdico pode fazer oferecer uma terceira opinio, paralela s
outras duas, e se concorda com uma e no com a outra; ainda
assim no h implicao de que uma opinio aceita por dois dos
trs mdicos ser, em virtude disto, a melhor opinio. Em outras
palavras, no h posio de autoridade reconhecida entre mdicos.
Em geral, no h autoridades entre pares, superiores ou inferiores.
O reconhecimento da importncia do par assunto procedimental.
49
MIOLO - Computacao.pmd
49
20/6/2007, 09:42
50
MIOLO - Computacao.pmd
50
20/6/2007, 09:42
51
MIOLO - Computacao.pmd
51
20/6/2007, 09:42
52
MIOLO - Computacao.pmd
52
20/6/2007, 09:42
53
MIOLO - Computacao.pmd
53
20/6/2007, 09:42
54
MIOLO - Computacao.pmd
54
20/6/2007, 09:42
55
MIOLO - Computacao.pmd
55
20/6/2007, 09:42
56
MIOLO - Computacao.pmd
56
20/6/2007, 09:42
57
MIOLO - Computacao.pmd
57
20/6/2007, 09:42
58
MIOLO - Computacao.pmd
58
20/6/2007, 09:42
59
MIOLO - Computacao.pmd
59
20/6/2007, 09:42
60
MIOLO - Computacao.pmd
60
20/6/2007, 09:42
NOTAS
Skagestad tambm est ciente que esta uma implicao posterior da afirmao, mas ele no faz uso dela quando articula sua
conceitualizao de Inteligncia Aumentada como um paradigma.
3
Em uma mensagem para o frum de discusso PEIRCE-L (em 1206-2002), Skagestad sugere que o reconhecimento explcito da distino, utilizando os termos Inteligncia Artificial e Inteligncia
Aumentada, respectivamente, poderia ser atribudo ao cientista
da computao Frederic Brooks, que foi citado por Howard Rheingold
(1991: 37): Creio que o uso de sistemas computacionais para a
amplificao da inteligncia est muito mais poderoso hoje, e ser
cada vez mais poderoso no futuro, do que o uso de computadores
para Inteligncia Artificial [...]. Na comunidade da Inteligncia Artificial, o objetivo substituir a mente humana pelas mquinas,
seus programas e suas bases de dados. Na comunidade da Inteligncia Aumentada, o objetivo construir sistemas que amplifiquem a mente humana, ao prover ajudantes computacionais que
faam o que a mente tem problemas para fazer. Observe que
4
61
MIOLO - Computacao.pmd
61
20/6/2007, 09:42
10
11
62
MIOLO - Computacao.pmd
62
20/6/2007, 09:42
12
Respectivamente, para marcar a origem do conceito de publicao primria, como um conceito analtico distinto, de valor inestimvel para nossos propsitos, no trabalho de Joshua Lederberg,
que , tanto quanto eu o saiba, o primeiro que viu claramente o
papel especial daquilo que ele chama de literatura primria no
curso e coreografia de uma pesquisa, utilizando tal termo para os
documentos que funcionam como veculos materiais de publicao
primria. Veja seu artigo Options for the Future, D-lib Magazine, May
1996: <http://www.dlib.org/dlib/may96/ 05.
Lederberg.html> Lederberg no deve, evidentemente, ser considerado responsvel pelas diferentes maneiras com que eu emprego
aqui o seu conceito.
13
Compare as diferenas entre prometer, no prometer e pretender prometer ou agir, como se algum estivesse prometendo, mas
subentendendo que isso seja somente uma atuao, e.g. tal qual
um ator realizando uma pea teatral. As diferenas so sutis e
complexas para serem discutidas aqui.
14
15
16
63
MIOLO - Computacao.pmd
63
20/6/2007, 09:42
17
Este processo de obscurecimento pode ser visto como um registro pblico nos arquivos do Frum de Setembro, patrocinado pela
revista American Scientist, que foi gerenciada desde o seu incio
por Steven Harnad, a figura mais influente em formar a opinio
sobre a natureza da publicao, especialmente considerando os planos de tornar todas as publicaes de pesquisa on-line, com acesso
pblico, sem restries de qualquer ordem, e gratuito. Este tem
sido o principal frum pblico de discusso destes assuntos, devido
ao extraordinrio carter de influncia de todos os que subscreviam o frum: aqueles aspirando por mudanas (os agitadores), bem
como a forte oposio ao movimento de disponibilizao on-line de
publicaes de pesquisa. Harnad, como um cientista da computao com um alto, e merecido, prestgio em cincias cognitivas, foi
o principal agente de obscurecimento da relevncia do sistema
Ginsparg, embora sua posio tenha sido oficialmente a de um
advogado de defesa do sistema (embora ele nunca tenha se autoproclamado desta maneira). Mas, como se diz: com um amigo
como Harnad, quem precisa de inimigos? Ocasionalmente, tenho
reportado na lista PEIRCE-L, durante os ltimos anos, minha opinio sobre o que estava acontecendo ali, mas este no era o local
adequado para se tentar prover um sumrio do que aconteceu.
Caso o leitor tenha tempo e energia necessrios para navegar pelo
curso da discusso, desde o tempo em que Harnad a assumiu, logo
depois que esta se estabeleceu, at o presente, este a achar
interessantemente informativa como uma exibio das estratgias
para anular a ameaa aos modos atuais de se controlar a publicao de pesquisas, que o sistema de Ginsparg inicialmente aparentava apresentar. O leitor encontrar algumas tentativas colocadas
por mim, aqui e ali, para impor alguma resistncia a isso, mas a
vontade de Harnad em encerrar qualquer discusso de qualquer
tpico que ele considerasse uma ameaa s sensibilidades
estabelecidas acabaram por tornar impossvel qualquer avano a
este respeito. As seguintes URLs apresentam uma verso de todos
os arquivos do frum: http://amsci-forum.amsci.org/archives /
18
64
MIOLO - Computacao.pmd
64
20/6/2007, 09:42
september98-forum.html ou http://www.cogsci.soton.ac.uk/
~harnad/Hypermail/ Amsci/index.html. Espero poder trazer uma
descrio detalhada do que ocorreu nestes e em outros fruns relacionados, em outro artigo.
Mas como pode algum dizer isso? Como posso eu, em particular,
no eu como um pesquisador em algum dos assuntos a que o sistema serve, fazer uma assero como esta? Uma resposta curta
seria dizer que, se a qualidade da pesquisa realmente estivesse em
declnio nestes campos, em virtude de ser este um sistema de
publicao primria deficiente, isso iria se manifestar na forma de
uma dificuldade crescente de comunicao nestas reas, alm de
uma frustrao contnua e crescente que seria aparente em coisas
como, por exemplo, o abandono de formas apropriadas e uma
tendncia ao relaxamento na preparao dos artigos para publicao, por uma falta crescente de cuidados com a sobriedade das
crticas efetuadas, pela formao de faces rivais, e assim por
diante, o que resultaria no abandono do uso do sistema por pesquisadores srios, que simplesmente voltariam ao sistema anterior de
distribuio de pr-impresses. Mas tais sinais de abandono e degenerao no surgiram. Ao contrrio, o que ocorreu foi um crescimento constante no uso, sob uma taxa de incremento uniforme,
desde o comeo at hoje.
19
20
verdade que as opinies de algumas pessoas tero, na prtica, inevitavelmente mais peso do que a de outras, e sem dvida
devem ter se elas estabelecem um caminho devidamente registrado que garanta isso. Mas isto deve permanecer no nvel do
julgamento individual e no deve ser confundido com a compreenso pblica de uma dada comunidade cientfica, que sempre se
preocupa somente com as caractersticas do assunto-tema que
sejam do interesse constitutivo da comunidade de investigadores
como tais. Em outras palavras, nenhuma comunidade de investigao cientfica como esta pode legitimamente se preocupar em
classificar seus prprios membros em termos de posio e valor
na comunidade porque fazer isto perder de vista seu assuntotema decorrendo ento na introspeco do grupo.
21
65
MIOLO - Computacao.pmd
65
20/6/2007, 09:42
REFERNCIAS
BUSH, VANNEVAR. 1945. As We May Think. Atlantic Monthly 176
(1) (reimpresso em: Nyce, James M. and Kahn, Paul. 1991) <http:/
/www.theatlantic.com/unbound/flashbks/computer/bushf.htm>
NYCE, JAMES M.; KAHN, PAUL (eds.). 1991. From Memex to
Hypertext: Vannevar Bush and the Mind's Machine. Academic Press,
Inc. pp. 641-649.
RHEINGOLD, HOWARD. 1991. Virtual Reality. Secker & Warburg.
SKAGESTAD, PETER. 1993. Thinking with machines: Intelligence
Augmentation, Evolutionary Epistemology, and Semiotic. The Journal
of Social and Evolutionary Systems 16 (2): 157-180. <http://
members.door.net/arisbe/menu/library/aboutcsp/skagesta/
thinking.htm>
__. 1996. The mind's machines: the Turing machine, the Memex,
and the personal computer. Semiotica 111 (3/4): 217-243. <http:/
/members.door.net/arisbe/menu/library/aboutcsp/skagesta/
semiotica.htm>
__. 1999. Peirce's inkstand as an external embodiment of mind.
Transactions of the Charles S. Peirce Society, Summer XXXV (3):
551-561.
TURING, ALAN M. 1965. On computable numbers, with an application
to the Entscheidungsproblem. Em: The Undecidable, Martin Davis
(ed.), Raven Press. pp.116-154. Publicado originalmente nos
Proceedings of the London Mathematical Society 1936, 2nd Series,
42: 230-265.
BERNERS-LEE, TIM; FISCHETTI, MARK. 2000. Weaving the web:
the original design and ultimate destiny of the world wide web.
Harper Collins Publishers Inc.
66
MIOLO - Computacao.pmd
66
20/6/2007, 09:42
CAPTULO 3
APRENDIZAGEM QUA SEMIOSE
Andr De Tienne
INTRODUO
Como estranha nossa condio. Como os filsofos tm demonstrado, particularmente Scrates e Plato, no sabemos o que a
'justia', mas falamos dela a todo o momento; no sabemos o que
significa 'ser', mas aqui est ele presente em quase tudo que escrevemos. Prosseguimos assim com cada conceito que usamos. 'Aprendizagem' no uma exceo. Dolorosamente conscientes de nossa
ignorncia, precisamos 'aprender' a todo momento, desde nosso
nascimento at nossa morte. O que a 'aprendizagem'? Podem-se
encontrar respostas diretas para esta questo: aumentar o conhecimento, diminuir a ignorncia, adquirir uma nova habilidade,
encontrar uma explicao satisfatria, compreender algum estranho fenmeno. Usamos este termo em todos estes sentidos, e no
h nada de difcil em capturar seu significado. Aprender parte de
nossa experincia humana, e estamos todos bem familiarizados
com esta atividade. 'Aprendizagem' apenas mais uma dessas pa-
67
MIOLO - Computacao.pmd
67
20/6/2007, 09:42
68
MIOLO - Computacao.pmd
68
20/6/2007, 09:42
Aprendizagem implica em constante desaprendizagem. Outros filsofos, alm de Plato, expressaram essa mesma idia. Entre eles,
Charles S. Peirce, para quem a aprendizagem envolve um movimento permanente de fuga das quatro barreiras que bloqueiam o
caminho da investigao: a) fazer asseres que vo alm do que
realmente sabemos, b) afirmar que h fatos que no podem ser
conhecidos, c) afirmar que h fatos que no podem ser explicados
e c) afirmar a infalibilidade (EP2: 49-50). Peirce pode no ser
platonista, mas certamente encontraremos, aqui e ali, em seus
escritos, traos de grande simpatia pelo idealismo do fundador da
Academia. Plato cometeu dois erros, segundo Peirce: o primeiro
foi ver o principal valor da filosofia em sua influncia moral, e o
segundo foi assumir que o objetivo ltimo da vida humana seria a
aquisio das idias puras. Entretanto, estes dois erros se equilibram to bem que, tomados em conjunto, 'acabam por expressar
uma viso correta dos propsitos ltimos da filosofia e da cincia
em geral' (EP2: 38). A conferncia de Peirce, em 1898, 'Philosophy
and the conduct of life', termina com as seguintes palavras: 'As
partes mais profundas da alma somente podem ser atingidas atravs de sua superfcie. Desta maneira, as formas eternas, com as
quais a matemtica e a filosofia, e tambm outras cincias, iro,
por um lento processo de filtragem, gradualmente penetrando em
nosso ser, e assim iro influenciar nossas vidas, e assim o faro ...
porque so verdades eternas e ideais' (EP2: 41). Essas partes mais
profundas da alma so domnios do sentimento e do instinto, as
fontes de nossas motivaes, e a real inspirao para a direo que
escolhemos para dar a nossas vidas. Nosso instinto muito menos
falvel do que nossa razo superficial e , tanto quanto esta, capaz
de desenvolvimento e crescimento, por meio da experincia, especialmente aquela parte da experincia que filtrada atravs da
razo cognitiva. A idia Peirceana de 'aprendizagem' faz eco em
Plato, ainda que abafado. Peirce entendia que o progresso das
cincias ocorria na medida em que ficavam cada vez mais abstratas, em suas matematizaes. A finalidade da matemtica descobrir o mundo real potencial, o cosmos do qual nosso mundo
apenas um locus arbitrrio (EP2: 40). O mundo potencial real o
domnio das idias de Plato, com uma diferena essencial: um
mundo que incorpora a continuidade. As verdades ideais e eternas
no so desconexas, nem discretas, e so vivas elas crescem e
evoluem. Como o 'bem' de Plato, elas podem se transformar em
outras idias, mas ao contrrio das idias de Plato, elas precisam
69
MIOLO - Computacao.pmd
69
20/6/2007, 09:42
70
MIOLO - Computacao.pmd
70
20/6/2007, 09:42
71
MIOLO - Computacao.pmd
71
20/6/2007, 09:42
72
MIOLO - Computacao.pmd
72
20/6/2007, 09:42
Peirce est aqui sustentando um discurso que , ao mesmo tempo, lgico e metafsico, e portanto pr-psicolgico.2 Cinco das
asseres de Peirce devem ser aqui melhor examinadas: (1) que
existe uma relao essencial entre aprendizagem e o fluxo do tempo; (2) que a aprendizagem um processo contnuo; (3) que aprendizagem raciocnio virtual; (3) que aprendizagem interpretao; (5) que aprendizagem representao, e portanto outro nome
para Terceiridade, a terceira das categorias de Peirce.
APRENDIZAGEM E TEMPO
Que a aprendizagem de qualquer coisa consome tempo uma
assero trivial. Mas existe aqui uma idia muito menos trivial. A
aprendizagem faz parte e parcela da fbrica do tempo. Como assim?
Includas na idia de aprendizagem esto as idias de crescimento e
desenvolvimento (poderamos utilizar aqui o adjetivo 'mental', mas
73
MIOLO - Computacao.pmd
73
20/6/2007, 09:42
74
MIOLO - Computacao.pmd
74
20/6/2007, 09:42
APRENDIZAGEM E CONTINUIDADE
A aprendizagem um processo contnuo. Dada a definio anterior de processo, isso evidente. Mas Peirce afirma mais do que
isso. A aprendizagem consiste na apreenso de um continuum, e
75
MIOLO - Computacao.pmd
75
20/6/2007, 09:42
76
MIOLO - Computacao.pmd
76
20/6/2007, 09:42
somente de seu crescimento, mas tambm porque constantemente adapta a traduo (atualizao) do princpio tlico s suas circunstncias existenciais, provocadoras de erros, circunstncias
mutacionais. Seja o que for que ocorra, falhar levemente para
preencher os requisitos, mas nunca completamente e, provavelmente, cada vez menos; e isso, considerando a possibilidade de um
universo atual, bom o suficiente.
APRENDIZAGEM E VIRTUALIDADE
'Aprender raciocinar virtualmente.'4 Todo raciocnio aprendizagem, e qualquer coisa que tenha a estrutura de um raciocnio,
sem que notemos isso, pelo fato de que est 'muito tnue na conscincia', sem poder portanto ser criticado ou corrigido, tambm
aprendizagem. Por que? Porque o raciocnio a passagem de uma
crena para outra. Qualquer raciocnio, seja abdutivo, dedutivo ou
indutivo, composto por uma seqncia de proposies (premissas), por meio das quais alguma idia que, ou no ainda conhecida ou, por uma gradao qualquer, no foi ainda totalmente revelada, trazida luz em virtude de uma seqncia de premissas.
Cada premissa representa uma crena de algum tipo, particular ou
universal, e a representa no somente de maneira isolada, mas
como uma assero que ocupa uma posio muito bem identificada
em uma ordem maior. Uma premissa uma crena que clama por
outra em virtude de sua prpria associao com outras crenas j
posicionadas em uma seqncia cuja identidade geral ditada pelo
que Peirce algumas vezes chama de 'princpio guia'. O princpio guia
o hbito do pensamento que determina a passagem de uma premissa para uma concluso (CP 3.160). Existem diferentes tipos de
hbitos do pensamento, e Peirce distribui-os entre os trs tipos
principais de inferncia: abduo, deduo e induo.
Peirce chama de 'coligao' a mistura de premissas que ocorre
anteriormente concluso, seguindo Whewell 'A coligao uma
parte muito importante do raciocnio, chamando-nos genialidade
talvez mais do que qualquer outra parte do processo' (CP 2.442).
Isso ocorre pois, uma vez que as premissas tenham sido coligadas,
formando uma proposio composta, a concluso segue-se de maneira quase automtica, obedecendo ao princpio guia. Assim, a
arte do raciocnio reside menos no fato de atingirmos a concluso,
do que na mistura que fazemos das premissas: uma coligao ser
somente to efetiva quanto o princpio que a rege, em primeiro
77
MIOLO - Computacao.pmd
77
20/6/2007, 09:42
78
MIOLO - Computacao.pmd
78
20/6/2007, 09:42
Todos os tipos de idias so concebveis na cadeia do pensamento, no importando se legitimamente (inferencialmente) ou ilegitimamente. impossvel reconstruirmos, de maneira confivel, depois que uma dada cadeia do pensamento tenha seguido seu curso,
todas as suas partes sucessivas, a menos que atravs de um meio
simplificado de abstrao. A abstrao permitir ao 'auto-observador' repensar esquematicamente a ltima parte de sua jornada de
pensamento, distinguindo a concluso das premissas. Mas isso se
dar ao custo de quebrar a continuidade original; a continuidade
inferencial ser preservada talvez, mas apenas como um cone
empobrecido do processo original. O que Peirce afirma que raciocinar, como um todo, parte do denso continuum da experincia
e, como tal, tem uma vitalidade e uma riqueza que vai alm do que
poderamos capturar em palavras. A pobreza das palavras fora o
auto-observador a simplificar esta realidade, podendo lev-lo a con-
79
MIOLO - Computacao.pmd
79
20/6/2007, 09:42
APRENDIZAGEM E INTERPRETAO
'Aprendizagem interpretao.' Isso indica que tipo de operao
a filtragem de verdades eternas significa. Foi estabelecido que isso
, em parte, uma questo de raciocnio e coligao de premissas.
Coligar premissas arranjar proposies de modo que elas se tornem um todo dotado de poder copulativo; este poder no nada
mais que o poder de um signo para determinar um interpretante.
Peirce explica em vrios lugares que a concluso de um argumento
o interpretante de sua premissa. Foi em 1866 que ele percebeu
isto pela primeira vez:
Um interpretante alguma coisa que representa uma representao a representar aquilo que ela prpria representa.
Aquilo que, ento, apela ao interpretante - ou seja,
construdo intencionalmente de forma a desenvolver uma
redeclarao por parte de um outro, ou um consentimento
- um argumento, um silogismo minus a concluso, posto
que a concluso de um silogismo no parte do argumento,
mas concorda com este, o interpretante (W 1:478).5
80
MIOLO - Computacao.pmd
80
20/6/2007, 09:42
coligada de uma nova forma e lhe imputa um aumento de informao 'suprfluo' (suprfluo por no tender a aumentar nem a extenso nem a intenso do que est contido na premissa) confirmando,
assim, sua significao. Peirce fala de uma aprovao, ou seja, do
consentimento do interpretante em responder ao apelo do argumento. O interpretante no est satisfeito em meramente repetir
a premissa de uma forma contrada; o 're-estabelecimento' inclui
tambm a afirmao de que a representao feita pela premissa
similar quela da concluso.
A misso especfica da concluso afirmar sua equivalncia com
a premissa coligada. Mas tal afirmao no pode ser feita sem
chamar a ateno para o princpio-guia, que governa e d identidade inferncia. Certamente, uma concluso no uma proposio isolada. Ser uma concluso confere um status especial a uma
proposio, um status que no imanente a esta, mas transcendente, e que paralelo ao status que um signo adquire ao tornarse um interpretante. O que este status? Encontramos seus primeiros ecos no estudo feito por Peirce em 1857 sobre Friedrich
Schiller, e que o levou a distinguir trs 'proto-categorias', como
podemos cham-las, aquelas do 'I' (eu), 'It' (o outro) e 'Thou' (o
outro, no sentido respeitoso). Neste estudo, depois de conectar o 'I'
ao Intelecto e ao princpio masculino, o 'It' Sensibilidade e ao
princpio feminino, e o 'Thou' ao Corao e tambm ao amor, Peirce
descreve em uma nota de rodap (W 1:15 n. 3) o 'resultado notvel'
que o corao no a mera conjuno do intelecto e da sensibilidade, mas o resultado necessrio de sua unio, assim como em aritmtica o 7 o resultado da soma de 3 e 4, sem estar reduzido
sua mera adio. Assim, o terceiro elemento no simplesmente a
mistura de dois elementos 'paternos', mas o resultado necessrio
que contm um elemento adicional no redutvel suas conjunes.
A unio das premissas, no importando se a chamamos de copulao
ou de coligao, deve produzir uma descendncia que a concluso, e esta descendncia no pode ser reduzida simplesmente s
premissas: uma vez gerada no continuum, ela adquire uma alma
prpria, sendo dotada de seu prprio poder de crescimento. Mas
esta nova alma, uma vez que descende da unio de outras almas,
geneticamente marcada por elas. Algum elemento tem sido transmitido a ela de acordo com um princpio genealgico. O interpretante
o que , possui o status que possui, em virtude deste elemento
81
MIOLO - Computacao.pmd
81
20/6/2007, 09:42
82
MIOLO - Computacao.pmd
82
20/6/2007, 09:42
83
MIOLO - Computacao.pmd
83
20/6/2007, 09:42
84
MIOLO - Computacao.pmd
84
20/6/2007, 09:42
85
MIOLO - Computacao.pmd
85
20/6/2007, 09:42
86
MIOLO - Computacao.pmd
86
20/6/2007, 09:42
87
MIOLO - Computacao.pmd
87
20/6/2007, 09:42
APRENDIZAGEM E REPRESENTAO
'Aprendizagem representao e, portanto, um outro nome para
Terceiridade'. Nossa discusso da quarta assero j considerou a
maioria do que est contido nesta assero. Dizer que aprendizagem Terceiridade fazer uma clara afirmao metafsica sobre a estrutura da realidade. Isto uma poderosa generalizao e
uma concluso lgica do que foi dito. O que a aprendizagem?
Nenhuma resposta psicolgica far justia esta pergunta. Temos
que cavar mais fundo. A semitica pode nos ajudar a descobrir
muito sobre suas conseqncias. Mas, mesmo um discurso semitico
sobre a aprendizagem, talvez geral e de difcil alcance, no far
justia a ela. A aprendizagem, nos fala Peirce, um outro nome
88
MIOLO - Computacao.pmd
88
20/6/2007, 09:42
NOTAS
Que isto um papel de mediao, j foi contestado com base
na definio de Peirce do signo como aquilo que determinado por
um objeto de modo a determinar um interpretante, a se referir ao
mesmo objeto, tal que o signo que media, e no o interpretante.
Parte de minha resposta a esta objeo pode ser encontrada em
meu artigo Peirces semiotic monism (1992), em que eu mostro
que cada um dos trs termos da relao sgnica (signo, objeto,
interpretante) media os outros dois, embora cada um deles o faa
de maneira distinta. Uma relao sgnica (in abstracto), uma
genuna relao tridica, para Peirce, e portanto, por definio,
isto implica que cada termo da relao um terceiro e, assim, da
natureza de um mediador. Apesar disso, em On a new list of
categories o interpretante deve ser o mediador porque sem ele o
predicado nunca poderia ser um signo do sujeito: a cpula que une
os dois no pode ser formulada antes que o interpretante tenha
feito seu trabalho de comparao e reconhecimento entre o sujeito desconhecido e o conhecido correlato.
1
89
MIOLO - Computacao.pmd
89
20/6/2007, 09:42
Uma idia interessante, que pode ter implicaes para os psiclogos, que a conexo, ou o fundir das idias em idias mais
gerais, manifesta-se na forma de uma sensao viva. A conscincia, portanto, deve aparecer em um nvel elementar, mas geral,
uma vez que a aprendizagem um atributo essencial do que
quasi-mental. Uma sensao viva que emerge portanto uma
quase-conscincia que sustenta idias, formas, que se fundem por
possurem alguma coisa essencial em comum. Seja o que for que as
mantm conexas, esse algo tem consistncia (no sentido
etimolgico), e um princpio da semitica de Peirce que consistncia seja uma marca da representao em funcionamento.
3
O uso que Peirce faz aqui da palavra virtual est em par com a
do modificador quase, quando usado conjuntamente ao de mente ou ego.
4
Com relao questo sobre se a concluso parte do argumento, Peirce afirma o seguinte: Com relao a uma outra proposio, chamada de Concluso, freqentemente colocada para (talvez
necessariamente) completar o Argumento, esta representa plenamente o interpretante e, do mesmo modo, tem uma fora peculiar
ou relao com o interpretante. H uma divergncia de opinies
entre os lgicos se ela faz parte do Argumento ou no; e mesmo
que tais opinies no tenham se originado de uma anlise exata da
essncia do Argumento elas devem ter algum peso. O presente
autor, sem estar absolutamente confidente, est muito inclinado a
pensar que a Concluso, apesar de representar o interpretante,
essencial para a plena expresso do Argumento (CP 2.253).
5
REFERNCIAS
DE TIENNE, Andr. 1992. Peirce's semiotic monism. Em: Signs of
Humanity - L'Homme et ses signes (Proceedings of the Fourth
Congress of the International Association for Semiotic Studies, general editor Grard Deledalle), Michel Balat e Janice Deledalle-Rhodes
(eds.), Volume 3, Semiotics in the World - La Smiotique dans le
90
MIOLO - Computacao.pmd
90
20/6/2007, 09:42
91
MIOLO - Computacao.pmd
91
20/6/2007, 09:42
MIOLO - Computacao.pmd
92
20/6/2007, 09:42
CAPTULO 4
ESTRUTURALISMO HIERRQUICO, SEMIOSE E EMERGNCIA1
Charbel Nio El-Hani e Joo Queiroz
INTRODUO
Nosso propsito neste captulo discutir em que sentido a semiose
pode ser caracterizada como um processo 'emergente'. Este problema foi formulado em projetos sobre simulao computacional,
em virtude do largo emprego da noo de emergncia. Seu significado, entretanto, raramente discutido nas cincias da complexidade. Um tratamento rigoroso dessa questo um dos principais
objetivos deste artigo. Antes de comear, devemos esclarecer que
no pretendemos responder quando ou como a semiose emergiu,
em termos evolutivos. Estamos mais interessados em discutir as
condies que precisam ser satisfeitas para que a semiose possa
ser caracterizada como um processo emergente. A soluo deste
problema um requisito para a formulao precisa do problema da
emergncia da semiose em termos evolutivos.
Na prxima seo, veremos como o conceito de emergncia tem
sido usado nas cincias da complexidade, com ateno ao trata-
93
MIOLO - Computacao.pmd
93
20/6/2007, 09:42
94
MIOLO - Computacao.pmd
94
20/6/2007, 09:42
O problema que o determinismo coloca para a computao emergente que no parece fcil conciliar a idia de um determinismo
microscpico com a aceitao de que h emergncia no mundo
macroscpico (Klee 1984). A ontologia computacionalista parece
implicar, assim, a inexistncia de processos e comportamentos
95
MIOLO - Computacao.pmd
95
20/6/2007, 09:42
Isso implica que, por mais que os pesquisadores na rea da computao emergente procurem retirar o elemento humano do circuito, reduzindo a programao a um mnimo, ainda assim os comportamentos emergentes exibidos no seriam mais que uma decorrncia da prpria programao. No seriam verdadeiramente emergentes, na medida em que estariam pr-formados. Assim, para
Cariani, a razo pela qual no poderia ocorrer emergncia, em
sistemas formais, no sentido proposto para sistemas naturais, resulta do fato de que um sistema formal uma criao da mente
em todos os seus aspectos. No h maneira de introduzir propriedades adicionais quelas encontradas desde o incio ou, se no for o
caso, dedutveis de nossas definies por meio de regras de
inferncia. No aparecero ao longo da simulao novas propriedades, ou regras, no especificadas, ou logicamente implicadas, desde o incio. Novos primitivos no podem ser gerados em uma simulao computacional porque um aparato formal-computacional no
capaz de criar novas relaes sintticas ou semnticas. Assim,
Cariani (1989: 155-156, 171) caracteriza aparatos formais,
computacionais ou robticos, como 'no-emergentes'.
96
MIOLO - Computacao.pmd
96
20/6/2007, 09:42
Contudo, qualquer processo de emergncia, incluindo aqueles observados em sistemas naturais, s pode ser entendido como tal se
for assim reconhecido por um observador (ver Baas 1996, Emmeche
1997, Baas & Emmeche 1997).4 Da perspectiva defendida por estes
autores, a emergncia entendida como uma estratgia explicativa,
destacando a funo do observador na qualificao de uma propriedade emergente. Baas analisa a emergncia em termos de uma
srie de processos abstratos de construo. Considere-se um conjunto S1 de estruturas de primeira ordem. Por algum mecanismo
observacional Obs1(S1), so obtidas, ou medidas, suas propriedades. Estas estruturas podem estar sujeitas a uma famlia de
interaes, Int, a partir das quais um novo tipo de estrutura aparece, S2 = R (S1, Obs1(S1), Int), onde R corresponde ao resultado do
processo de construo. S2 uma estrutura de segunda ordem,
cujas propriedades podem ser obtidas por meio de outro mecanismo observacional, Obs2, que tambm capaz de observar as estruturas de primeira ordem. Baas (1996) define P como uma proprie-
97
MIOLO - Computacao.pmd
97
20/6/2007, 09:42
98
MIOLO - Computacao.pmd
98
20/6/2007, 09:42
99
MIOLO - Computacao.pmd
99
20/6/2007, 09:42
100
MIOLO - Computacao.pmd
100
20/6/2007, 09:42
De acordo com Rosen, a emergncia um desvio do comportamento de um sistema natural em relao a um modelo do mesmo. Este
conceito de emergncia tem, contudo, uma natureza estritamente
epistmica. Trata-se do mesmo tipo de interpretao que encontramos em Nagel (1961: 369):
claro [...] que dizer de uma dada propriedade que ela
'emergente' significa atribuir-lhe um carter que a propriedade pode possuir em relao a uma teoria ou um corpo de
suposies, mas pode no possuir em relao a alguma outra
teoria. Desse modo, a doutrina da emergncia [...] deve ser
entendida como afirmando certos fatos lgicos acerca de
relaes formais entre enunciados, e no quaisquer fatos
'metafsicos' acerca de alguns traos supostamente 'inerentes' de propriedades dos objetos.
101
MIOLO - Computacao.pmd
101
20/6/2007, 09:42
102
MIOLO - Computacao.pmd
102
20/6/2007, 09:42
deradas 'emergentes', e uma explicao sobre como estas propriedades se relacionam com a micro-estrutura de tais sistemas. Ela
deve tambm estabelecer a classe de sistemas que exibem certo
conjunto de propriedades emergentes.
Ao estender a definio acima, para que ela se refira no apenas
a propriedades, mas tambm a processos, surge a primeira questo para a caracterizao da semiose como um processo emergente. Ela se refere a classe de sistemas que exibem semiose: (1) o
que um sistema semitico?
No existe uma teoria unificada da emergncia. Contudo, possvel reconhecer, entre as teorias, uma srie de caractersticas centrais (Stephan 1999, captulo 3). Primeiramente, emergentistas
devem estar comprometidos com o naturalismo, assumindo que
apenas fatores naturais exercem um papel causal no universo. Ainda que naturalismo e materialismo no coincidam filosoficamente,
o caso que um emergentista naturalisticamente orientado deve
tambm comprometer-se com a idia de que todas as entidades
consistem de partes materiais. Esta tese denominada monismo
fsico: no universo, existem apenas entidades constitudas fsica ou
materialmente, e qualquer propriedade ou processo emergente
instanciado por sistemas constitudos exclusivamente por partes
materiais. A questo seguinte : (2) os sistemas que exibem semiose
so constitudos apenas fisicamente?
Uma segunda caracterstica do emergentismo a noo de novidade: novos sistemas, estruturas, processos, entidades, propriedades e disposies so formadas no curso da evoluo. Isso nos leva a
questo: (3) sistemas semiticos constituem uma nova classe de
sistemas, instanciando novas estruturas, processos, propriedades,
disposies, etc?
As teorias da emergncia requerem, em terceiro lugar, uma distino entre propriedades sistmicas e no-sistmicas. Uma propriedade sistmica encontrada no nvel do sistema e no no nvel
de suas partes; de outro lado, uma propriedade no-sistmica
tambm encontrada nas partes do sistema. Baseados na distino
entre processos sistmicos e no-sistmicos: (4) a semiose pode
ser descrita como um processo sistmico?
Uma quarta caracterstica das teorias da emergncia a noo
de hierarquia de nveis de existncia. (5) Como devem ser descritos nveis em um sistema semitico?
103
MIOLO - Computacao.pmd
103
20/6/2007, 09:42
104
MIOLO - Computacao.pmd
104
20/6/2007, 09:42
105
MIOLO - Computacao.pmd
105
20/6/2007, 09:42
106
MIOLO - Computacao.pmd
106
20/6/2007, 09:42
107
MIOLO - Computacao.pmd
107
20/6/2007, 09:42
Figura 1: Esquema das relaes determinativas no sistema tridico de Salthe. O nvel focal
no somente restringido por condies de contorno, como estabelece as potencialidades
para a constituio deste. Similarmente, o nvel focal no somente constitudo a partir
de potencialidades estabelecidas pelo nvel inferior, como tambm estabelece condies
de contorno para os processos que tm lugar neste.
Vamos considerar que um determinado processo deve ser localizado no nvel em que efetivamente observado, o 'nvel focal'.
Processos semiticos no nvel focal sero descritos como cadeias de
trades. Podemos discutir a relao entre processos semiticos no
nvel focal e entidades e/ou processos em um nvel inferior ('nvel
micro-semitico') e em um nvel superior ('nvel macro-semitico').
Neste ltimo, so descritas redes de cadeias de trades, nas quais
os processos semiticos no nvel focal esto imersos. No nvel microsemitico, devem ser consideradas as relaes de determinao
que tm lugar em cada trade S-O-I. As relaes de determinao
108
MIOLO - Computacao.pmd
108
20/6/2007, 09:42
109
MIOLO - Computacao.pmd
109
20/6/2007, 09:42
110
MIOLO - Computacao.pmd
110
20/6/2007, 09:42
dem incluir objetos e propriedades abstratas, tericas, noobservveis, ou no-existentes, que podem ser incapazes de exercer qualquer influncia causal sobre um sistema, por si mesmas.'
Sistemas semiticos apresentam comportamento auto-corretivo,
ou algum tipo de atividade direcionada a um fim (ver Ransdell
1977: 162). Eles so capazes de usar signos como meios para a
comunicao de uma forma, ou transferncia de um hbito, incorporada no objeto, para o interpretante, ou, no caso de sistemas
biolgicos, o intrprete, de tal forma a restringir seu comportamento (EP 2:544 n.22; tb. EP 2:391, 2:477).
A segunda questo diz respeito natureza dos sistemas semiticos:
(2) eles so constitudos apenas fisicamente? Processos semiticos
podem ser realizados apenas atravs de implementao fsica
(Ransdell 1977). Portanto, sistemas semiticos devem ser materialmente incorporados (Emmeche 2003, Deacon 1999: 2). Se um
signo deve possuir um modo de ser ativo, ele deve ser instanciado
materialmente. Peirce considera as qualidades materiais do signo
como as caractersticas que pertencem ao signo, em si mesmo:
'Como um signo no idntico coisa significada, mas difere dela
em alguns aspectos, ele deve claramente possuir algumas caractersticas pertencentes a ele prprio, que nada tm a ver com sua
funo representativa. Eu as chamo de qualidades materiais do
signo' (CP 5.287).
Figura 2: Modelo de semiose em trs nveis. pS: signo potencial; pO: objetos
potenciais; pI: interpretantes potenciais. A rea cinza no nvel focal indica que
todos os objetos nas trades de uma cadeia indicam o mesmo objeto Dinmico.
111
MIOLO - Computacao.pmd
111
20/6/2007, 09:42
112
MIOLO - Computacao.pmd
112
20/6/2007, 09:42
113
MIOLO - Computacao.pmd
113
20/6/2007, 09:42
114
MIOLO - Computacao.pmd
114
20/6/2007, 09:42
115
MIOLO - Computacao.pmd
115
20/6/2007, 09:42
116
MIOLO - Computacao.pmd
116
20/6/2007, 09:42
117
MIOLO - Computacao.pmd
117
20/6/2007, 09:42
118
MIOLO - Computacao.pmd
118
20/6/2007, 09:42
CONCLUSO
De acordo com Rosenthal (1994: 27), 'significados devem ser entendidos como estruturas relacionais que emergem de padres de
comportamento.' Uma avaliao precisa desta afirmao depende
de uma compreenso clara sobre como 'estruturas' constituem propriedades sistmicas emergentes, e sobre o modo como se relacionam micro-estrutura de uma certa classe de sistemas. Este um
exemplo tpico de uma situao em que no conveniente usar a
idia de emergncia de um modo ordinrio. Mencionamos, no comeo deste captulo, outra situao, surgida no contexto de nosso
prprio trabalho sobre simulaes computacionais de processos
semiticos, em que necessrio caracterizar a semiose como uma
propriedade ou um processo emergente de maneira precisa (e.g.
Gomes et al., prelo). No encontramos, contudo, um tratamento
deste problema em peridicos e livros dedicados semitica. Esta
foi uma das motivaes para discutirmos, neste trabalho, as condies que devem ser satisfeitas para que a semiose possa ser caracterizada como um processo emergente.
119
MIOLO - Computacao.pmd
119
20/6/2007, 09:42
120
MIOLO - Computacao.pmd
120
20/6/2007, 09:42
AGRADECIMENTOS
C.N.E.H. e J.Q. agradecem ao CNPq e FAPESB.
NOTAS
1
A segunda maneira de explicar a origem da ordem pode ser tambm entendida como uma explicao da produo da ordem a partir do caos, se atribuirmos ao termo caos o sentido que ele tinha
na filosofia Grega clssica, i.e., o de ausncia de forma.
2
Neste ponto, surge uma tenso entre a crtica feita por Cariani
emergncia em simulaes computacionais e o conceito (epistmico)
de emergncia relativa a um modelo que ele emprega para compreender a emergncia em sistemas biolgicos; afinal, esta ltima
forma de emergncia tambm dependente do observador.
4
Outra dificuldade com a concepo computacionalista da emergncia diz respeito a um velho problema enfrentado pelo
5
121
MIOLO - Computacao.pmd
121
20/6/2007, 09:42
Notem que as duas razes para a imprevisibilidade das propriedades emergentes tm status diferentes. Enquanto a segunda de
natureza emprica, particularmente se a irredutibilidade for interpretada em termos da no-dedutibilidade, a primeira depende de
um compromisso metafsico.
8
H uma clara correspondncia entre a estrutura hierrquica proposta por Salthe e a distribuio hierrquica das categorias de Peirce.
Nveis micro-semiticos devem garantir que processos sgnicos apresentem comportamentos de indeterminao e, neste nvel, iniciam-se os processos semiticos. A associao com a Primeiridade
direta. Em nveis focais, os processos so espao-temporalmente
instanciados, produzindo tokens, que so exemplos de Secundidade.
Nveis macro-semiticos, no domnio da Terceiridade, garantem
generalidade e temporalidade aos processos sgnicos, que se tornam histrico e contexto-dependentes.
9
A regulao de um processo no nvel focal por condies de contorno estabelecidas pelo nvel superior entendida aqui como um
tipo de processo seletivo. Suponha que uma relao causal entre
um dado elemento de um sistema, A, e outro elemento do mesmo
sistema, B, seja regulada. Essa relao entendida como a seleo
de B como o efeito de A, entre uma diversidade de efeitos possveis, pelas condies de contorno estabelecidas por estruturas de
nvel superior, nas quais a relao causal em questo est inserida.
10
122
MIOLO - Computacao.pmd
122
20/6/2007, 09:42
11
Para uma compreenso precisa de nosso argumento, importante no confundir determinao sincrnica e diacrnica. Defendemos que o quadro terico de Peirce acomoda a tese de uma determinao sincrnica, enquanto claramente rejeita uma determinao diacrnica.
12
13
14
15
16
REFERNCIAS
BAAS, N. A. 1996. A framework for higher-order cognition and
consciousness. Em: Toward a Science of Consciousness. Hameroff,
S.R.; Kaszniak, A. W.; Scott, A. C. (eds.). MIT Press. pp. 633-648.
BAAS, N. A.; EMMECHE, C. 1997. On emergence and explanation.
Intellectica 25: 67-83.
BAILEY, A. 1999. Supervenience and physicalism. Synthese 117: 5373.
BEDAU, M. 2002. Downward causation and autonomy of weak
emergence. Principia 6 (1): 5-50.
123
MIOLO - Computacao.pmd
123
20/6/2007, 09:42
124
MIOLO - Computacao.pmd
124
20/6/2007, 09:42
125
MIOLO - Computacao.pmd
125
20/6/2007, 09:42
126
MIOLO - Computacao.pmd
126
20/6/2007, 09:42
127
MIOLO - Computacao.pmd
127
20/6/2007, 09:42
128
MIOLO - Computacao.pmd
128
20/6/2007, 09:42
CAPTULO 5
O QUE O SMBOLO
Lucia Santaella
No campo das mais diferenciadas cincias e artes, a palavra smbolo foi e continua sendo empregada com tal generosidade que seu
sentido se envolveu em brumas. A definio peirceana, ao contrrio, tcnica e precisa. Para chegar a ela, devemos comear pelo
entendimento do legi-signo, pois nele que o smbolo encontra seu
suporte.
Legi-signo uma lei que um signo. Antes de tudo, preciso
considerar que a noo peirceana de lei muito original (ver Santaella
1999a,b). Lei no se confunde com necessidade, nem estritamente
com norma, pois esta apenas uma traduo convencional da lei.
Para Peirce, a lei uma fora viva, uma 'fora condicional permanente' (CP 3.435), quer dizer, uma 'regularidade no futuro indefinido' (CP 2.293). Sem o governo da lei, fatos e aes so brutos
e cegos. Conformando-se, at certo ponto, fora viva da lei, os
fatos se acomodam dentro de uma regularidade, de certo modo,
previsvel. A lei funciona, portanto, como uma fora que ser atualizada, dadas certas condies. Por isso mesmo, a lei no tem a
129
MIOLO - Computacao.pmd
129
20/6/2007, 09:42
rigidez de uma necessidade, podendo ela prpria evoluir, transformando-se. Contudo, em si mesma, a lei uma abstrao. Ela no
tem existncia concreta a no ser atravs dos casos que governa,
casos que nunca podero exaurir todo o potencial de uma lei como
fora viva. Quer dizer, a lei que governa os fatos geral, enquanto
os fatos so particulares, mas ao mesmo tempo, a lei lhes empresta uma certa generalidade que se expressa atravs da regularidade.
Tendo isso em vista, 'o legi-signo um signo considerado no que
diz respeito a um poder que lhe prprio de agir semioticamente,
isto , de gerar signos interpretantes' (Ransdell 1983: 54). A lei de
representao j est contida no prprio signo, de modo que ele
est fadado a produzir um signo interpretante ou uma srie de
signos interpretantes to gerais quanto ele prprio, atravs dos
quais seu carter de signo se realiza. a lei que far o signo ser
interpretado como sendo um signo, pois o legi-signo funciona como
uma regra que ir determinar seu interpretante, uma regra que
determinar que ele seja interpretado como se referindo a um
dado objeto.
A linguagem verbal o exemplo mais evidente de legi-signo ou
sistema de legi-signos. Por pertencerem ao sistema de uma lngua,
as palavras so interpretadas como representando aquilo que representam por fora das leis desse sistema. Como quaisquer outros
exemplares de legi-signo, no seu estatuto de leis, as palavras s
tomam parte na experincia ou tm existncia concreta por meio
de suas manifestaes. Peirce chama de 'rplicas' essas instncias
de manifestao. Tratam-se de sin-signos de tipo especial. So sinsignos porque so existentes individuais que ocorrem em um tempo
e espao determinado, mas so rplicas porque atualizam,
corporificam legi-signos. 'O legi-signo uma classe das rplicas da
palavra, mas nenhuma coleo finita de rplicas poder exaurir a
classe. Mesmo assim, a existncia do legi-signo est nos enunciados
e inscries individuais de suas rplicas' (Savan 1976: 29), conforme a passagem abaixo pode melhor esclarecer.
Falamos de escrever ou pronunciar a palavra 'homem' , mas
isso apenas uma rplica ou materializao da palavra que
pronunciada ou escrita. A palavra, em si mesma, no tem existncia, embora tenha ser real, consistindo em que os existentes devero se conformar a ela. um tipo geral de sucesso de sons, ou representamens de sons, que s se torna um
signo pela circunstncia de que um hbito ou lei adquirida
130
MIOLO - Computacao.pmd
130
20/6/2007, 09:42
levam as rplicas, a que essa sucesso d lugar, a serem interpretadas como significando um homem. Tanto as palavras
quanto seus signos so regras gerais, mas a palavra isolada
determina as qualidades de suas prprias rplicas (CP 2.292).
O que vale para as palavras, vale do mesmo modo para as expresses lingsticas e para os padres de frases que tambm se constituem em tipos gerais abstratos. Ora, o tipo geral a lei que far as
rplicas se conformarem a ela. Por mais variaes qualitativas que
possam existir nas manifestaes concretas, nas rplicas orais ou
escritas de uma palavra ou de um padro frasal, elas sempre se
conformaro a uma invarincia que a da palavra ou do padro
como lei. Por isso mesmo, a essncia de um legi-signo formal e
no material. A materialidade lhe emprestada pelos sin-signos nos
quais se corporifica, ao mesmo tempo, que, como lei, empresta a
eles generalidade. As conseqncias do carter formal e no apenas material da lei esto expressas na passagem a seguir.
Suponhamos que eu apague esta palavra 'seis' e escreva 'Seis'
. No se tem a uma segunda palavra, mas sim, a primeira
novamente. Elas so idnticas. Ora, pode a identidade ser
interrompida ou devemos dizer que a palavra existia, embora
no estivesse escrita? Esta palavra 'seis' implica que duas
vezes trs cinco mais um. Esta uma verdade eterna, a
verdade que sempre e ser verdade; e que seria verdade,
embora no houvesse no universo seis coisas que pudessem
ser contadas, dado que ainda seria verdadeiro que cinco
mais um teriam sido duas vezes trs. Ora, essa verdade a
palavra SEIS; se por seis entendemos no este trao de giz,
mas aquilo em que concordam seis, six, sex, sechs, zes, sei
(CP 7.593).
131
MIOLO - Computacao.pmd
131
20/6/2007, 09:42
132
MIOLO - Computacao.pmd
132
20/6/2007, 09:42
Vem da o poder auto-reprodutor do smbolo, pois ele s se constitui como tal atravs do interpretante (NEM 4:260), conforme est
expresso na passagem a seguir.
O signo uma relao conjunta com a coisa denotada e com
a mente. Se essa relao tripla no de uma espcie degenerada, o signo se relaciona com seu objeto apenas em conseqncia de uma associao mental, e depende de um hbito. Tais signos so sempre abstratos e gerais, porque hbitos so regras gerais s quais o organismo se submeteu. Na
maior parte das vezes, eles so convencionais e arbitrrios,
incluindo as palavras gerais, o corpo principal da fala, ou
qualquer outro modo de se transmitir um julgamento. Por
razes de brevidade, eu os chamarei de tokens (CP 3.360).
133
MIOLO - Computacao.pmd
133
20/6/2007, 09:42
intelectual, pelo menos. [...] Os smbolos repousam exclusivamente em hbitos j definitivamente formados (CP 4.531).
Defino um smbolo como um signo que determinado por
seu objeto dinmico apenas no sentido de que ele ser assim interpretado. Ele depende, portanto, de uma conveno, um hbito ou uma disposio natural do seu
interpretante ou campo do seu interpretante (aquilo de que
o interpretante uma determinao) (CP 8.335).
[O smbolo] um signo que se constitui como tal meramente
ou principalmente devido ao fato de que ele usado ou
compreendido como tal, seja o hbito natural ou convencional, e independente dos motivos que originalmente governaram sua escolha (CP 2.307).
O smbolo um representamen cuja significncia especial ou
adequao para representar aquilo que ele representa no
repousa em outra coisa seno no fato de haver um hbito,
disposio ou outra regra geral efetiva de que ele seja assim
interpretado (CP 4.447).
Embora, em algumas passagens, hbito e conveno sejam usados como sinnimos, h algumas diferenas sutis que devem ser
discernidas. Para tal, preciso levar em considerao que a noo
peirceana de hbito, tanto quanto a de lei, bastante original.
No por acaso que ambos, lei e hbito, em alguns casos, podem
ser tomados como sinnimos (ver Santaella 1999a,b). No papel que
o hbito desempenha junto ao smbolo, vale a pena chamar a ateno para o fato de que hbitos podem ser inatos, incluindo, portanto, disposies naturais (CP 4.531). Se inclui a disposio natural,
ento nem todo smbolo necessariamente convencional. Para confirmar essa constatao, h uma passagem bastante significativa
de Peirce quando se auto-critica dizendo: 'notando que eu havia
classificado sintomas naturais tanto entre os ndices quanto entre
os smbolos, restringi smbolos aos signos convencionais, o que foi
um erro' (CP 2.340). Assim sendo, embora a imensa maioria dos
smbolos seja, sem dvida, convencional (CP 3.360), podem existir
smbolos que dependem de hbitos naturais.
Neste ponto, compreender a originalidade da concepo peirceana
de hbito pode contribuir para um melhor entendimento do prprio
smbolo. Em uma certa medida, o hbito, de fato, um conceito
psicolgico, no sentido em que se corporifica na mente humana.
Mas no apenas psicolgico, pois 'hbitos so regras gerais s
quais o organismo se submeteu' (CP 3.360). Alm disso, organismos
no precisam ser humanos. H hbitos em organismos rudimenta-
134
MIOLO - Computacao.pmd
134
20/6/2007, 09:42
135
MIOLO - Computacao.pmd
135
20/6/2007, 09:42
136
MIOLO - Computacao.pmd
136
20/6/2007, 09:42
te que o objeto do smbolo to geral quanto ele prprio. Entretanto, h casos singulares aos quais ele se aplica. Como se aplica?
Um smbolo em si mesmo um mero sonho, ele no mostra
sobre o que est falando. Precisa estar conectado a seu
objeto. Para esse propsito um ndice indispensvel. Nenhuma outra espcie de signo responder a esse propsito.
Que uma palavra estritamente falando no pode ser um ndice evidente a partir disto: uma palavra geral, ela ocorre
freqentemente, e, todas as vezes em que ocorre, a mesma palavra, e se ela tem algum significado como palavra, ela o
ter todas as vezes em que ocorre; enquanto o ndice
essencialmente um caso do aqui e agora, seu ofcio sendo o
de trazer o pensamento para uma experincia particular ou
uma srie de experincias conectadas por relaes dinmicas (CP 4.56).
por isso que, no universo do discurso, h vrios tipos de palavras, entre elas, as gerais, estritamente simblicas, e as indiciais,
como so os pronomes pessoais, demonstrativos, os advrbios de
lugar etc. Estas ltimas constituem o ingrediente indicial do smbolo, tambm chamadas de marcas enunciativas, cuja funo
conectar o pensamento, o discurso, o signo geral a experincias
particulares. Quando dizemos a palavra 'mulher', por exemplo, o
referente ou objeto dessa palavra um tipo geral que nenhum caso
particular de mulher pode completamente recobrir. Mas, quando
dizemos 'mulher brasileira', atravs do ndice de lugar 'brasileira',
indicao de nacionalidade, a est o caso a que o geral se aplica. A
incorporao de outros ndices poderiam ir especificando cada vez
mais o referente do discurso, como por exemplo, 'mulher brasileira
dos anos 90' etc. Contudo, essa funo conectora tudo que o
ndice pode realizar, nela comea e nela acaba o papel que o ingrediente indicial do smbolo pode desempenhar. Por isso mesmo, falta
ainda ser discutida uma outra interrogao bem mais crucial. De
onde vem o poder do smbolo para significar? Conforme j demonstrei em outra ocasio (Santaella 1995: 172-175), a resposta para
essa pergunta exige muita acuidade analtica.
Peirce distinguiu dois tipos de generalidade, de um lado, a generalidade objetiva ou referencial que est na capacidade de algo
para representar uma pluralidade de objetos. De outro lado, a
generalidade subjetiva, que Ransdell (1966: 158-160) chama de
generalidade entitativa para indicar que ela qualificadora. Qualquer coisa entitativamente geral, se o seu modo de ser no o
de um individual (CP 5.429, 1.420). Essa generalidade entitativa,
137
MIOLO - Computacao.pmd
137
20/6/2007, 09:42
138
MIOLO - Computacao.pmd
138
20/6/2007, 09:42
139
MIOLO - Computacao.pmd
139
20/6/2007, 09:42
140
MIOLO - Computacao.pmd
140
20/6/2007, 09:42
141
MIOLO - Computacao.pmd
141
20/6/2007, 09:42
monstrativo 'aquele' um legi-signo, por ser de um tipo geral; mas no um Smbolo, pois ele no significa um conceito
geral. Sua rplica dirige a ateno para um objeto singular e
um sin-signo indicativo remtico. Uma rplica da palavra
'camelo' tambm um sin-signo indicativo, remtico por ser
realmente afetada, como conseqncia do conhecimento
de camelos, comum a quem fala e a quem ouve, pelo camelo
real que denota, ainda que este no seja individualmente
conhecido de quem ouve, e por essa conexo real que a
palavra 'camelo' desperta a idia de um camelo. O mesmo
verdadeiro em relao palavra 'fnix'. Embora a fnix no
exista realmente, reais descries da fnix so bem conhecidas de quem fala e de quem ouve e, assim, a palavra
realmente afetada pelo objeto denotado. As rplicas dos smbolos remticos so muito diferentes no apenas dos sinsignos indicativos remticos ordinrios, mas tambm diferem
destes as rplicas dos legi-signos indicativos remticos. Com
efeito, a coisa denotada por 'aquele' no afeta a rplica da
maneira mais simples e direta como, por exemplo, o tilintar
da campainha do telefone afetado pela pessoa que, no
outro extremo da linha, deseja estabelecer comunicao. O
interpretante de um smbolo remtico com freqncia o representa como legi-signo icnico, e com efeito, e em reduzida proporo, ele participa da natureza de ambos.
142
MIOLO - Computacao.pmd
142
20/6/2007, 09:42
REFERNCIAS
PEIRCE, CHARLES S. (1994 [1866-1913]). The Collected Papers of
Charles S. Peirce. Electronic edition reproducing Vols. I-VI [Ed.
Hartshorne, C. & Weiss, P., Cambridge: Harvard University, 19311935], Vols. VII-VIII [Ed. Burks, A. W., Cambridge: Harvard University,
1958]. Charlottesville, Intelex Corporation.
143
MIOLO - Computacao.pmd
143
20/6/2007, 09:42
144
MIOLO - Computacao.pmd
144
20/6/2007, 09:42
CAPTULO 6
ASPECTOS METODOLGICOS DA SEMITICA
COMPUTACIONAL
Alexander Mehler
INTRODUO
A Semitica Computacional (SC) surge onde se interseccionam
semiose e computao (Clarke 2001). Qualquer definio da SC
tem como ponto de partida a noo de signo e de processo sgnico.
Neste captulo, no tentaremos reconstruir este fundamento. Vamos esboar algumas de suas implicaes metodolgicas. No
obstante, vamos esquematizar o que parecem ser estes fundamentos. Considerando que os objetos de interesse do autor so sistemas de discurso de linguagem natural, este captulo necessariamente uma triagem das linhas de pensamento que acreditamos
que precisam ser levadas em considerao para esta tarefa:
I. Peirce prope uma semntica dinmica, relacional, que descreve 'significado' como resultado de um processo contnuo de
interpretao de signos resultando numa constituio/ modificao de disposies comportamentais, e restringindo o uso
145
MIOLO - Computacao.pmd
145
20/6/2007, 09:42
146
MIOLO - Computacao.pmd
146
20/6/2007, 09:42
dedutiva, mas necessariamente constri uma anlise qualitativa, e tambm quantitativa, de aspectos sincrnicos e
diacrnicos da dinmica das estruturas lingsticas. No
obstante, a sintagmtica e a paradigmtica continuam termos constitutivos em LFS, mas so agora conforme Peirce
analisados de uma perspectiva dinmica. Um coenvolvimento dinmico de texto e sistema, bem como seu
aspecto contexto-sensitivo, especialmente seu entrelaamento em sistemas sociais, visto como essencial para o fundamento semitico da SC.
A unificao destes objetivos aponta para uma abordagem estrutural e tambm procedimental: estrutural no sentido que modela
signos em relao sua incerteza sintagmtica e regularidades
paradigmticas; procedimental no sentido que no s modela
estas regularidades como resultado, mas tambm como uma condio prvia de processos sgnicos. Como entidades dinmicas, estes processos so necessariamente modelados por meio de procedimentos.
A sntese de aspectos estruturais e dinmicos previne certas dificuldades: primeiro, a suposio sobre a existncia de unidades de
significado atmicas pode ser abandonada. Em vez de proclamar
um nvel adicional, empiricamente no-observvel de tomos semnticos, esta abordagem recorre a uma anlise do potencial varivel de signos para interpretao. Segundo, o sistema de linguagem no analisado separado de sistemas de discurso, nem de
contextos sociais: qualquer regularidade explorada est sempre associada a unidades de co-variao contextual, que so exploradas
como entidades semiticas, elas mesmas.
So focalizadas algumas implicaes metodolgicas da Semitica
Computacional (SC) a seguir.
147
MIOLO - Computacao.pmd
147
20/6/2007, 09:42
148
MIOLO - Computacao.pmd
148
20/6/2007, 09:42
149
MIOLO - Computacao.pmd
149
20/6/2007, 09:42
150
MIOLO - Computacao.pmd
150
20/6/2007, 09:42
151
MIOLO - Computacao.pmd
151
20/6/2007, 09:42
I. Semitica dos Computadores: referindo-se ao estruturalismo de Hjelmslev, Andersen (1990) descreve os princpios
semioticamente fundados para a anlise de sistemas
computacionais, entendidos como sistemas semiticos. Ele
procura analisar os aspectos semiticos de sistemas de
softwares, bem como de processos de desenvolvimento de
sistemas e projetos de interface homem-computador. Seguindo
o ttulo de seu livro inaugural, e separando-o das abordagens
descritas abaixo, chamamos a abordagem de Andersen de
Semitica dos Computadores. Ela trata de computadores, e
de sistemas relacionados, mas no tem implicao relativamente s questes sobre simulao e realizao.
II. Semiose Artificial comparvel abordagem em Vida Artificial (Pattee 1988) e IA forte (Searle 1980): proposta de
realizar, ou emular, comportamento inteligente por meio de
sistemas computacionais artificiais. Como sistemas animados, eles experimentam, por exemplo, seu ambiente e autonomamente/ inteligentemente interagem com ele (DbenHenisch 2002), e at aprendem linguagens. Para acentuar a
relao desta abordagem com a IA forte propomos cham-la
de Semiose Artificial.
III. Abordagem SECSE: alm da Semitica de Computadores e
Semiose Artificial, um campo adicional de SC pode ser destacado. Ao invs de tentar realizar sistemas semiticos artificiais, ele segue a abordagem de simulao esboada acima. A
abordagem de Andersen (1990), que descreve 'gneros' como
sistemas auto-organizados, pode ser vista como um exemplo.
Comparvel a sistemas computacionais de previso do tempo, que no realizam sistemas climticos (nem produzem temperatura, chuva, ou vento), mas simulam mudanas climticas sem pr-estabelecer todos os estados, e mudanas de
estados, a implementao de estudos nesta rea no abrange
sistemas semiticos, mas simula sua organizao
procedimental. Como conseqncia, a interpretao final, e
avaliao das estruturas produzidas, por estes sistemas, permanecem do lado do construtor/usurio do modelo. Ao contrrio da semiose artificial, onde o sistema artificial pode
operar como um agente, juntamente com outros sistemas
cognitivos animados, a interpretao no pode ser delegada
ao suposto sistema autnomo. Para dar a esta abordagem um
152
MIOLO - Computacao.pmd
152
20/6/2007, 09:42
MODELOS PROCEDIMENTAIS
Conforme uma terminologia de Marr (1982), a SC se concentra
em modelos procedimentais de sistemas de signo. Ela questiona a
modelagem de processos que produzem as estruturas semiticas
em considerao. Esta mudana do foco de interesse est alinhada
a uma preferncia metodolgica por modelos computacionais como
meios para simular processos sgnicos: enquanto a anlise semitica
formal (por exemplo, lingstica algbrica) est primariamente baseada em clculo, para uma descrio de aspectos estruturais de
signos, a SC integra ambos a anlise formal de aspectos estruturais e dinmicos. Isto apresentado na figura (1), onde as fases do
modelo conceitual, clculo e descrio, ordenadas de forma decrescente de abstrao, so alinhadas por procedimentos, algoritmos
(realizaes de procedimentos) e implementaes (realizaes de
algoritmos). Enquanto o primeiro ramo mantm o foco primariamente em descries de acordo com os critrios de completude,
consistncia, e simplicidade, como declarado em lgica, a reconstruo das estruturas semiticas sob observao que est sob
no foco da SC. Esta reconstruo est associada especificao de
algoritmos, possivelmente aumentando as classes de algoritmos conhecidos, e suas implementaes como programas de computao.
153
MIOLO - Computacao.pmd
153
20/6/2007, 09:42
154
MIOLO - Computacao.pmd
154
20/6/2007, 09:42
NOTAS
Neste sentido, a filosofia do signo de Peirce pode ser vista como
uma possvel base de corpo lingstico, bem como alguns ramos da
lingstica quantitativa de textos.
1
155
MIOLO - Computacao.pmd
155
20/6/2007, 09:42
REFERNCIAS
ANDERSEN, P. B. 1990. A Theory of Computer Semiotics: Semiotic
Approaches to Construction and Assessment of Computer Systems.
Cambridge University Press.
__. 2000. Genres as Self-Organising Systems'. Em: Downward
Causation. Minds, Bodies and Matter. P. B. Andersen, C. Emmeche,
N. O. Finnemann, e P. V. Christiansen (eds.). Aarhus. pp. 214-260.
CLARKE, R. 2001. Studies in Organisational Semiotics: an
Introduction. Australian Journal of Information Systems 8(2): 7582.
DBEN-HENISCH, G. 2002. Alan Matthew Turing, the Turing Machine,
and the Concept of Sign. Em: Das Europaische Erbe der Semiotik;
The European Heritage of Semiotics. W. Schmitz and T. A. Sebeok
(eds.). W.e.b. thelem.
HALLIDAY, M. A. K. 1977. Text as Semiotic Choice in Social Context.
Em: Grammars and Descriptions. T.A. van Dijk e J.S. Petofi (eds.).
de Gruyter. pp. 176-225.
HJELMSLEV, L. 1969. Prolegomena to a Theory of Language.
University of Wisconsin Press.
156
MIOLO - Computacao.pmd
156
20/6/2007, 09:42
157
MIOLO - Computacao.pmd
157
20/6/2007, 09:42
MIOLO - Computacao.pmd
158
20/6/2007, 09:42
CAPTULO 7
MQUINAS SEMITICAS
Winfried Nth
159
MIOLO - Computacao.pmd
159
20/6/2007, 09:42
simblico (Newell 1980: 137, Nake 1998: 463). Allan Newell (1980)
introduziu a noo de sistema de smbolos fsicos (physical symbol
system) para caracterizar sistemas no apenas capazes de processar nmeros, mas tambm smbolos. Com sua teoria de sistemas
de smbolos fsicos, Newell pretendia construir uma ponte terica
entre a cincia dos seres vivos inteligentes, ou cincia cognitiva, e
a cincia das mquinas inteligentes, ou cincia da computao, e a
Inteligncia Artificial (IA).
Em um sentido bastante distinto, Sybille Krmer (1988) introduziu a teoria de mquinas simblicas. De acordo com a definio de
Krmer, uma mquina simblica um dispositivo que existe apenas
simbolicamente no papel, no tendo qualquer incorporao fsica
real. Tal mquina, em um sentido metafrico, no faz coisa alguma exceto transformar 'seqncias de smbolos'. Um exemplo de
tal mquina o algoritmo para multiplicao de nmeros em notao decimal. Um computador, de acordo com esta definio, no
uma mquina simblica de fato, mas uma espcie de metamquina,
'uma mquina capaz de imitar qualquer mquina simblica' (ibid.:
2-3).
Este captulo no vai tratar de mquinas em sentido metafrico
mas de mquinas reais de processamento simblico, como as descritas por Newell. Observe, entretanto, que a definio matemtica do conceito de 'mquina' aplicvel a ambas. Uma mquina
um dispositivo que 'determina uma funo de suas entradas para as
suas sadas' (Newell 1990: 65).
Processamento de signos em computadores
Do ponto de vista da semitica geral, a mudana histrica das
mquinas que processavam apenas nmeros para as que processavam smbolos no constituiu um marco histrico, como sugeriu
Newell. Nmeros no so mais do que uma classe de smbolos e a
operao com nmeros no radicalmente distinta da operao
com outros smbolos, como Peirce afirma: 'Embora nem todo raciocnio seja computao, certamente verdadeiro que computao
numrica um raciocnio' (CP 2.56).
Alm do mais, computadores no operam apenas com smbolos,
mas tambm com signos icnicos e indexicais (veja seo 2). De
acordo com Peirce, um smbolo um signo que se relaciona com o
objeto por ele designado de acordo com 'uma lei ou regularidade'
160
MIOLO - Computacao.pmd
160
20/6/2007, 09:42
161
MIOLO - Computacao.pmd
161
20/6/2007, 09:42
162
MIOLO - Computacao.pmd
162
20/6/2007, 09:42
mos a 'suposio provisria de que o interpretante [...] um anlogo suficientemente prximo de uma modificao na conscincia'
(CP 5.485), a idia de mquina semitica deve parecer uma contradio. A semitica, de acordo com tais premissas, parece pressupor organismos vivos como produtores e interpretadores de signos. Se a 'ao do signo' pode tambm se desenvolver em mquinas, se a semiose pressupe vida, este um problema a ser examinado tendo como base a semitica de Peirce.
Sem dvida, mquinas esto envolvidas em processo sgnicos. Com
capacidade para processamento de dados, o computador certamente uma mquina operando com signos. Mas muitas outras mquinas esto envolvidas em processos sgnicos. Mquinas de escrever, fotocopiadoras, cmeras e gravadores so mquinas que produzem signos. Seriam mquinas semiticas? Uma fotocopiadora
no pode ser chamada de mquina semitica, embora se possa
afirmar que ela produz signos. Uma caneta tambm est envolvida
com a produo de signos, mas dificilmente pode ser considerada
como causa suficiente de um interpretante.
Apesar de seus critrios de semiose, que sugere vida como um
pr-requisito para semiose, Peirce (1887), que freqentemente usava
o termo 'lgico' como um sinnimo de 'semitico', formulou uma
teoria para 'mquinas lgicas' (sem cham-las de 'mquinas
semiticas') muito antes da inveno da Inteligncia Artificial (Ketner
1988; Skagestad 1993, 1999; Tiercelin 1993). Mais de um sculo
atrs, ele discutiu as 'mquinas lgicas', inventadas por Jevons e
Marquand, e concluiu que estes dispositivos, bem como as mquinas de calcular de seu tempo, eram 'mquinas de raciocnio'. Uma
vez que o raciocnio parece ser um processo semitico, poderamos
concluir que estas mquinas eram mquinas semiticas. Entretanto, Peirce sugere que elas no so, quando conclui que 'toda mquina uma mquina de raciocnio' (ibid.: 168). Ento, ser possvel
raciocnio sem semiose? Em outro lugar Peirce fornece uma resposta: uma mquina, tal como o tear de Jacquard, embora capaz de
raciocinar de acordo com as premissas anteriores, no capaz da
'produo tridica do interpretante' e opera apenas como um quasisigno (CP 5.473).
163
MIOLO - Computacao.pmd
163
20/6/2007, 09:42
Ento, quando uma mquina reage de forma causal temperatura indicada pelo termostato, ela no a interpreta. Neste caso, no
h semiose genuna, mas o sinal indicando a temperatura pela qual
afetada de forma causal funciona como um quasi-ndice, e a
reao mecnica da mquina produzida por este quasi-ndice um
164
MIOLO - Computacao.pmd
164
20/6/2007, 09:42
165
MIOLO - Computacao.pmd
165
20/6/2007, 09:42
166
MIOLO - Computacao.pmd
166
20/6/2007, 09:42
Por meio desta parbola dos agentes 'cegos' trabalhando mecanicamente dentro da mquina sem mente, Searle acredita ter dado
um choque fatal no mito do computador como mquina mental.
Entretanto, seu argumento sofre de uma influncia Cartesiana,
onde possvel dividir, de forma cristalina, os trabalhos mental e
mecnico. Seu argumento no realmente vlido contra a idia de
mente no computador. Alm do mais, para realizao de seus trabalhos mecnicos, os pobres americanos na sala chinesa precisam
ter mentes e intenes. Assim, o trabalho que eles fazem deve ser
mental, e a mquina, da qual eles so uma metfora, tem de ser
uma mquina mental.
A mente no trabalho manual, mecnico e mental.
Do ponto de vista da histria cultural, mquina definido como
um aparato que requer uma entrada de fora ou energia para
realizar certas tarefas que substituem, e portanto economizam, o
trabalho de humanos ou animais. Um carro requer a entrada de
167
MIOLO - Computacao.pmd
167
20/6/2007, 09:42
gasolina e economiza o trabalho de humanos e cavalos. Uma mquina de lavar requer a entrada de eletricidade e economiza o
trabalho manual de lavar mo.
Seguindo este raciocnio, o computador uma mquina que economiza trabalho mental (Nake 1992: 185, Santaella 1998: 124).
Contrastando com as generalizaes anteriores, de que mquinas
puramente mecnicas servem para substituir apenas trabalho manual ou muscular, o computador deve ser ento uma mquina mental, uma vez que serve como substituto para o trabalho mental.
Entretanto, onde termina o trabalho manual e comea o mental?
Pode esta questo ser respondida sem influncia Cartesiana?
Vamos considerar inicialmente o trabalho manual e os vrios dispositivos culturais que foram inventados para substitu-los. De fato,
a economia de trabalho comea com dispositivos que foram inventados muito tempo antes da primeira mquina. O simples instrumento de escrita de uma caneta-tinteiro, por exemplo, um instrumento que economiza trabalho, uma vez que o uso de seus
predecessores, como a pena, requeriam o trabalho de usar um
tinteiro separamente durante a escrita. claro que a canela-tinteiro no requer entrada de energia, no sendo portanto uma mquina de escrita, mas apenas uma ferramenta de escrita.
Ser uma mquina de escrever mecnica, como a equivalente em
alemo Schreibmaschine sugere, uma 'mquina de escrita', ou uma
mera ferramenta? Dado que nas antigas mquinas de escrever no
existe entrada de energia nem uma economia real de energia muscular em comparao escrita manual, uma mquina de escrever
dificilmente mais do que uma simples ferramenta de escrita.
Uma mquina de escrever eltrica, por outro lado, certamente
uma mquina. Ela requer eletricidade como entrada e facilita o
trabalho manual reduzindo o esforo muscular. Ser que ela tambm economiza trabalho mental, como o computador, ou apenas
trabalho muscular?
Se no existe grande diferena entre a escrita mquina e a
escrita mo, no que se refere ao esforo manual investido na
tarefa de escrita, por que as mquinas de escrever foram inventadas afinal de contas? Aparentemente, a escrita mquina no
produz facilidade de escrita, mas facilidade de leitura, devido aos
caracteres padronizados e regulares, linhas e pargrafos. Maior
facilidade de leitura, entretanto, tambm significa economia de
trabalho mental. Assim, a mquina de escrever mecnica, muito
168
MIOLO - Computacao.pmd
168
20/6/2007, 09:42
antes do computador, j era uma mquina que servia para economizar trabalho mental.
Outra mquina que sem dvida facilita o trabalho mental a
mquina de calcular. Calcular um trabalho mental e uma mquina
que calcula para seu usurio uma mquina que economiza trabalho mental. Por outro lado, verdade que, usualmente, sem uma
mquina de calcular, ns calculamos as tarefas mais complexas por
meio de operaes manuais, escrevendo os nmeros em ordem e
linha, de forma a quebrar a tarefa complexa em operaes elementares mais simples. Isto torna o clculo um trabalho manual, de
forma que calculando com uma mquina de calcular no apenas
economizamos trabalho mental mas tambm trabalho manual.
Uma mquina como a mquina de costura parece ser uma das
candidatas menos provveis a mquina semitica, devido ao fato
de ter sido inventada exclusivamente para o propsito de economia
de trabalho manual. Entretanto, no o tipo de trabalho que ela
economiza, notadamente a costura mo, tambm um tipo de
trabalho mental? Afinal de contas, o corte e manipulao do tecido,
a agulha e o alfinete requerem planejamento cuidadoso e coordenao dos movimentos. necessrio pensar, antes e durante a
operao de costura.
Resumindo, a distino entre trabalho manual e trabalho mental
no clara. Todas as mquinas economizam trabalho mental e
manual. No por acidente que as reas do cortex humano que
coordenam nossas operaes manuais so tipicamente grandes. A
rea cerebral que coordena os movimentos das mos e braos humanos no menor do que aquela que coordena as expresses
faciais e os movimentos da lngua e do maxilar durante a articulao da fala (Geschwind 1982: 112), e isto no realmente surpreendente se considerarmos os paralelos evolutivos entre as atividades manuais e comunicativas (Leroi-Gourhan 1964-65: 188-89).
Agora, se todas as mquinas economizam trabalho mental e so
portanto mquinas com mentes, qual a diferena entre mentes
mecnicas e humanas?
Mquinas de raciocnio e mentes mecnicas
diferente a resposta de Peirce questo da mente na mquina.
Apesar de sua teoria de quasi-semiose mecnica, seu argumento
que enquanto mquinas no funcionam como mentes humanas em
169
MIOLO - Computacao.pmd
169
20/6/2007, 09:42
todos os aspectos, elas o fazem em parte; ao mesmo tempo mquinas devem ser vistas como mentes mecnicas.
Adicionalmente sua teoria de quasi-semiose em mquinas, que
destaca a diferena entre a semiose humana e o processamento
sgnico em mquinas, Peirce, em sua teoria das mquinas lgicas,
tambm considerou as similaridades entre humanos e mquinas
(Ketner 1988, Tiercelin 1993: 228ff). Ao contrrio de Searle, Peirce
argumenta que a mente humana funciona como uma mquina, em
certos aspectos. Este argumento soa reducionista, mas ele certamente no afirma que a mente humana uma mquina. Apenas
quando resolve uma tarefa que uma mquina lgica ou mquina de
calcular tambm pode resolver, isto , pela execuo de regras de
um algoritmo de forma quase mecnica, a mente humana funciona
como uma mquina:
Insisto no fato que, de forma similar, um homem possa ser
considerado uma mquina que converta, digamos, uma sentena escrita expressando uma concluso, tendo ele, o homem-mquina, sido alimentado com uma afirmao escrita de
algum fato, como uma premissa. Desde que essa atuao no
seja mais do que aquela que uma mquina faria, no tem
nenhuma relao essencial com a circunstncia de que a
mquina funciona por engrenagens, enquanto um homem
funciona por um arranjo no muito bem conhecido de clulas cerebrais (CP 2.59).
170
MIOLO - Computacao.pmd
170
20/6/2007, 09:42
Quasi-mente no tinteiro
Se no apenas mquinas lgicas, mas tambm todas as outras
mquinas, e at mesmo instrumentos tcnicos, so instrumentos
do pensamento aprimorados com a capacidade de raciocnio, ento
devemos concluir que mquinas provocam mentes. De fato, Peirce
chega ao ponto de atribuir mente e pensamento ao mundo fsico:
'O pensamento no est necessariamente conectado com um crebro. Ele aparece no trabalho das abelhas, nos cristais e por todo o
mundo puramente fsico' (CP 4.551). A teoria semitica da mente
que fundamenta esta afirmao est alm do escopo deste captulo
(ver Santaella 1994). Podemos atentar para alguns de seus aspectos, no nosso estudo do enigma da mente na mquina. Neste contexto, relevante destacar que Peirce, ao falar de 'pensamento
no humano' (CP 4.551) introduz o conceito de quasi-mente, para
fazer uma distino entre a mente, no sentido da psicologia
cognitiva, e processos de semiose associados com signos 'num sentido muito amplo' (ibid.).
Assim, quasi-semiose e quasi-mente so o que encontramos nas
'mquinas mentais' e 'mentes mecnicas'. Peirce tambm desenvolve o argumento de que, em um sentido mais amplo, a mente est
localizada no apenas no crebro de um escritor, mas tambm na
materialidade de seu meio semitico, isto , na tinta.
Um psiclogo remove o lbulo de meu crebro [...] e ento,
quando descubro que no posso mais me expressar ele diz,
'veja que sua faculdade da linguagem estava localizada naquele lbulo'. Sem dvida que estava; e assim, se ele tivesse
roubado meu tinteiro, eu no seria capaz de continuar minha discusso at que conseguisse outro. Sim, os prprios
pensamentos no viriam a mim. Ento minha faculdade de
171
MIOLO - Computacao.pmd
171
20/6/2007, 09:42
172
MIOLO - Computacao.pmd
172
20/6/2007, 09:42
173
MIOLO - Computacao.pmd
173
20/6/2007, 09:42
Controle
De acordo com Pattee (1997: 29), no apenas auto-controle, mas
tambm controle ambiental uma caracterstica distintiva de organismos biolgicos:
Controles so lgicos e condicionais. A vida se originou com
controles semiticos. Controles semiticos requerem medida, memria e seleo, nenhum dos quais pode ser totalmente descrito por leis fsicas que, ao contrrio de sistemas
semiticos, so baseados em energia, tempo e taxas de mudana. [...] Para funcionar eficientemente, controles
semiticos, em todos os nveis, devem prover descries simples do comportamento dinmico complexo dos sistemas de
entrada e sada, que chamamos de sensores, detectores de
caractersticas, reconhecedores de padres, dispositivos de
medida, transdutores, construtores e atuadores.
Mquinas podem tambm exercer controle ambiental. Um simples termostato, e mecanismos de realimentao, servem a propsitos de controle ambiental. Mas ao exercer tal controle, a maioria
deles apenas uma extenso dos humanos. Enquanto uma mquina pode ter controle sobre seu ambiente, o usurio humano que
detm o controle da mquina.
Mquinas determinsticas como sistemas alopoiticos
Em um manuscrito de 1906, Peirce descreve assim a ausncia de
autocontrole na quasi-semiose mecnica: 'Ningum provou que um
motor automtico no possa exibir auto-controle, alm de um autoajuste especfico para o qual tenha sido construdo; mas ningum
jamais foi bem-sucedido na construo de tal mquina' (MS 498,
Ketner 1988: 43). Em conseqncia, 'toda mquina [...] destituda de tal originalidade, de qualquer iniciativa. Ela no pode encontrar seus prprios problemas, ela no pode se alimentar. Ela no
pode se orientar entre diferentes procedimentos possveis' (1887:
168). Tais mquinas so estritamente determinsticas, como Ketner
(ibid.) as chama, mquinas que podem apenas 'fazer tipos especiais de coisas para as quais foram projetadas', como Peirce (1887:
169) acrescenta. O controle, em uma mquina determinstica, vem
'de fora', do engenheiro que a projetou e do usurio que a manipula. A mquina no um agente autnomo.
O critrio de autonomia foi descrito como uma das caractersticas distintivas da vida, relativamente aos sistemas no-vivos. Em
teoria de sistemas, o termo autopoiese usado para descrever um
174
MIOLO - Computacao.pmd
174
20/6/2007, 09:42
175
MIOLO - Computacao.pmd
175
20/6/2007, 09:42
Em 1948, John von Neumann trabalhou no projeto de um autmato com capacidade de auto-reproduo (Neumann 1966; ver
Emmeche 1994: 56). A parte central desta mquina consistia em
um dispositivo A com a capacidade de aproveitar 'material cru' do
ambiente para produzir, de acordo com as instrues de um
duplicador B, e um comando D para um controlador C, como sua
sada, um mesmo autmato com os componentes de A, especificamente 'A', 'B', 'C' e 'D'. Tal como Etxeberria e Ibez (1999: 295)
afirmaram, o processo de auto-reproduo automtica neste autmato um processo semitico por que a mquina constri sua
cpia de acordo com uma autodescrio interna. O autmato, por
assim dizer, pode e deve ler a si prprio para se reproduzir. Autoreconhecimento e leitura de si prprio pressupem auto-refern-
176
MIOLO - Computacao.pmd
176
20/6/2007, 09:42
A distino entre causalidade determinstica, ou eficiente, e final, ou teleolgica, a principal chave para entender as idias de
Peirce sobre semiose (Santaella 1999) e sobre mquinas semiticas.
Entretanto, a semiose genuna precisa alm disso de criatividade e
de habilidade para transformar signos em ao.
Propsito e causalidade final
Em uma passagem que antecede sua argumentao sobre o pensamento no tinteiro, Peirce define assim o seu foco: 'Acredito que
propsito, ou melhor, causao final, cujo propsito a modificao consciente, o assunto essencial do estudo dos psiclogos; e
177
MIOLO - Computacao.pmd
177
20/6/2007, 09:42
178
MIOLO - Computacao.pmd
178
20/6/2007, 09:42
qualquer caador humano. Tal mssil, devemos concluir, uma mquina semitica genuna.
Robs, experincia e pragmtica semitica
bem conhecido que a distncia entre a semiose humana e a
semiose em mquinas est decrescendo mais e mais (Cariani 1998).
Est alm do escopo deste captulo determinar, de forma mais
precisa, o ponto onde a vida artificial e a semiose genuna em
mquinas comea. Nem todos os cientistas da computao concordam, por exemplo, que computadores executando programas com
Inteligncia Artificial so mquinas semiticas genunas (como Ketner
[1988: 56-58] conjectura) ou se so apenas mquinas determinsticas
(como Fetzer [1990: 37] argumenta).
Um computador sem uma janela para seu ambiente est apenas
envolvido em uma semiose sinttica, e talvez semntica, mas no
pragmtica. De acordo com o princpio da unidade do signo (ou
pensamento) e ao (veja 3.4), a dimenso pragmtica do
processamento sgnico um critrio adicional da semiose completamente desenvolvida. Em uma carta de 1887, Peirce discutiu como
sendo um das diferenas entre o processamento sgnico em mquinas e humanos:
A lgica formal concentra toda a sua ateno na parte menos importante do raciocnio, uma parte to mecnica que
pode ser realizada por uma mquina, e imagina-se que isso
seja tudo sobre o que h no raciocnio. De minha parte,
acredito que raciocnio a observao de relaes, principalmente por meio de diagramas e equivalentes. um processo vivo. [...] O raciocnio no feito pelo crebro sem
qualquer ajuda, mas precisa da cooperao dos olhos e das
mos (em Ketner & Stewart 1984: 208-209).
179
MIOLO - Computacao.pmd
179
20/6/2007, 09:42
180
MIOLO - Computacao.pmd
180
20/6/2007, 09:42
NOTAS
Nota dos orgs: Para mais informaes sobre mquinas criativas,
veja Boden, Margaret A. (1994). Precis of The creative mind:
Myths and mechanisms. Behavioral and Brain Sciences 17 (3):
519-570. <http://www.bbsonline.org/documents/a/00/00/04/34/
index.html>
1
REFERNCIAS
ANDERSEN, PETER BGH et al. 1997. Machine semiosis. Em:
Semiotik: Ein Handbuch zu den zeichentheoretischen Grundlagen
von Natur und Kultur, Bd. 1. Posner, Roland, et al., eds. de Gruyter.
pp.548-571.
CARIANI, PETER. 1998. Towards an evolutionary semiotics: The
emergence of new sign-functions in organisms and devices. Em:
Evolutionary Systems: Biological and Epistemological Perspectives
on Selection and Self-Organization. van de Vijver, Gertrudis et al.
(eds.) Kluwer. pp.359-376.
EMMECHE, CLAUS. 1994. The Garden in the Machine: The Emerging
Science of Artificial Life. Princeton: Univ. Press. - German transl.
Das lebende Spiel. Rowohlt.
ETXEBERRIA, ARANTZA e JESS IBEZ. 1999. Semiotics of the
artificial: The 'self' of self-reproducing systems in cellular automata.
Semiotica 127: 295-320.
FETZER, JAMES H. 1990. Artificial Intelligence: Its Scope and Limits.
Kluwer.
GESCHWIND, NORMAN. 1982. Specialization of the human brain.
Em: Human Communication: Language and its Psychobiological Bases. William S-Y Wang, (ed.) (Readings from Scientific American).
W. H. Freeman, pp.110-119.
JOSEPHSON, JOHN R.; JOSEPHSON, SUSAN G. (eds.) 1994. Abductive
Inference. Cambridge Univ. Press.
KAWADE, YOSHIMI. 1999. The two foci of biology: Matter and sign.
Semiotica 127: 369-384.
KETNER, KENNTEH LAINE. 1988. Peirce and Turing: Comparisons
and conjectures. Semiotica 68: 33-61.
181
MIOLO - Computacao.pmd
181
20/6/2007, 09:42
182
MIOLO - Computacao.pmd
182
20/6/2007, 09:42
183
MIOLO - Computacao.pmd
183
20/6/2007, 09:42
MIOLO - Computacao.pmd
184
20/6/2007, 09:42
CAPTULO 8
UM ROB POSSUI UMWELT? REFLEXES SOBRE A
BIOSSEMITICA QUALITATIVA DE JAKOB VON UEXKLL
Claus Emmeche
INTRODUO
Como o conceito de Umwelt de Jakob von Uexkll dialoga com as
discusses mais recentes de biologia terica, filosofia da biologia,
biosemitica e Vida Artificial, particularmente as pesquisas sobre
'sistemas autnomos' e robs? Para investigar esta questo, minha
abordagem no se desenvolver como uma retrospectiva histrica
das idias de Uexkll, expondo o ncleo original de idias filosficas
que serviram de infra-estrutura ao conceito original de Umwelt
(alguns parecem incompatveis com uma perspectiva evolucionista
moderna). Ao contrrio, mostrarei que alguns aspectos de suas
propostas so ainda interessantes e podem trazer inspiraes
biologia contempornea, cincia cognitiva e a outros campos.
Alm disso, chamarei a ateno para as reflexes de Thure von
Uexkll em seu desenvolvimento da teoria do Umwelt, que
notadamente evolucionrio (como a abordagem de seu pai).
185
MIOLO - Computacao.pmd
185
20/6/2007, 09:42
Mais especificamente, vou investigar a plausibilidade de trs teses: (I) a teoria do Umwelt, de Jakob von Uexkll, pode, no contexto da cincia contempornea, ser interpretada mais adequadamente como um ramo do organicismo qualitativo dentro da biologia terica, mesmo que sua biologia terica tenha sido
freqentemente caracterizada como sendo eminentemente vitalista.
O organicismo qualitativo 'uma posio em cima do muro', ou
seja, por um lado afirma que no h poderes vitais misteriosos, ou
no-materiais, em organismos (no vitalismo), mas por outro lado
afirma que as propriedades caractersticas dos seres vivos no podem ser totalmente explicadas nem pela fsica e nem pela qumica,
uma vez que estas propriedades so no-redutveis e emergentes
(emergentismo). Segundo, que algumas destas propriedades emergentes tem um carter experiencial, fenomenal ou subjetivo que
desempenha um papel fundamental na dinmica do sistema vivo. A
biossemitica moderna (inspirada por C.S.Peirce e J. von Uexkll)
um tipo de organicismo qualitativo. (II) Esta posio ilumina algumas discusses recentes em cincia cognitiva, vida artificial e robtica
sobre a natureza da representao e da cognio. De fato, h
questes genuinamente semiticas, uma vez que lidam com o papel da informao e dos signos, em qualquer sistema que tenha a
propriedade de ser 'como um animal', ou seja, sistemas que se
movem e parecem guiados por algum tipo de intelecto ou, utilizando outra terminologia, um programa comportamental. (III) Particularmente, o organicismo qualitativo nos permite abordar a questo sobre se um rob pode ter um Umwelt, no sentido exato que
Jakob von Uexkll atribua a este termo (um mundo fenomenal
subjetivamente experienciado). Uma resposta positiva a esta questo, ou seja, a afirmao de que um rob realmente pode ter um
Umwelt, parece ser contra-intuitiva, uma vez que um rob pode
ser visto como uma encarnao da viso mecnica e reducionista
de mundo a qual Jakob von Uexkll se opunha fortemente. Mas
certas idias e conceitos podem nos levar a conseqncias inesperadas, que confrontam nossas suposies metafsicas, de forma
que deveramos tentar encarar tais questes de mente aberta.
Assim, ao elaborar esta terceira questo, devemos tambm saber se isso o mesmo que perguntar: Um rob pode ter uma
mente? Se sim, o conceito de Umwelt apenas outro conceito para
mente, e a teoria de Jakob von Uexkll no nos ajudaria a resolver
nossa questo. Mas este no o caso. Apesar disso, poderamos
pensar que, se utilizarmos um conceito muito amplo de mente, por
186
MIOLO - Computacao.pmd
186
20/6/2007, 09:42
187
MIOLO - Computacao.pmd
187
20/6/2007, 09:42
188
MIOLO - Computacao.pmd
188
20/6/2007, 09:42
189
MIOLO - Computacao.pmd
189
20/6/2007, 09:42
190
MIOLO - Computacao.pmd
190
20/6/2007, 09:42
tambm a existncia de aspectos fenomenolgicos, ou qualitativos, de pelo menos algumas propriedades de nvel mais alto. Quando est sentindo a luz, ou as cores, um organismo no est meramente detectando sinais externos que so processados internamente, que poderia ser descrito em termos neuroqumicos, de
'processamento de informao', ou algo assim. Se queremos a histria completa, algo mais est acontecendo. Embora a experincia
tenha um modo subjetivo de existncia, ela um fenmeno objetivamente real (na filosofia da mente mais recente, Searle [1992]
um dos poucos a enfatizar a realidade ontolgica da experincia
subjetiva. Entretanto, ele est na maior parte do tempo falando
sobre a experincia humana). Como posio cientfica, o
organicismo qualitativo se preocupa no apenas com qualidades,
como as categorias das qualidades 'primrias' (que corresponderia
ao quanta do que cientificamente mensurvel) incluindo forma,
magnitude, e nmero, mas tambm com as qualidades secundrias
de cor, sabor, tato, som, sentimento etc.5 No se deve tentar equiparar o organicismo qualitativo, ou a corrente principal do
organicismo, a posies, teorias ou paradigmas coerentes, embora
possam ser encontrados, em ambos, representantes na biologia
terica recente.6 Alguns autores podem no ser consistentes, alguns podem apenas implicitamente expressar sua idia; o importante reconhecer que dois conceitos diferentes de vida e biosemiose
esto em jogo.
obvio que a noo de Umwelt de importncia central para o
desenvolvimento de uma teoria coerente do mundo qualitativo e
experiencial do organismo, uma tarefa que a biologia atual precisa
enfrentar, ao invs de continuar ignorando um enorme escopo fenomenal do mundo vivo o mundo experiencial dos apetites animais, dos desejos, dos sentimentos, das sensaes, etc.7 Para tal
tarefa, pode-se encontrar inspirao terica nos campos da
semitica, bem como em Vida Artificial e em pesquisas sobre sistemas autnomos. O Umwelt est enraizado no corpo material e
semitico do organismo, que est situado em um nicho especfico.
A teoria no deve postular quaisquer poderes ocultos, vitalistas, ou
espirituais ao 'explicar' a emergncia dos Umwelts na evoluo;
entretanto, deve conhecer a riqueza e a realidade do fenmeno de
sentir, agir e perceber do organismo. A implicao de tal aventura
poderia ser importante no apenas para a biologia, mas tambm
para a semitica (para estabelecer a noo de signo na natureza),
para a filosofia da mente (para superar o dualismo e resolver os
191
MIOLO - Computacao.pmd
191
20/6/2007, 09:42
192
MIOLO - Computacao.pmd
192
20/6/2007, 09:42
193
MIOLO - Computacao.pmd
193
20/6/2007, 09:42
es cientficas. ainda questo em aberto o que poder ser obtido por essas pesquisas no futuro, e meu ponto aqui articular
algumas questes, ao invs de tentar obter respostas. Uma questo crucial se tais sistemas podem ou no ter um Umwelt, e se
podem, como este seria. Alm disso, como saberamos disso, e se
no pudssemos saber, por que no poderamos? Uma abordagem
destas questes envolve investigao de pressupostos metafsicos.
Que tipos de sistema so realmente autnomos? So aqueles com
uma relao intrnseca entre Umwelt e autonomia?
Uma observao sobre terminologia. O termo 'autnomo', empregado de muitas maneiras na literatura em PSA, muito
freqentemente com um significado informal. Autonomia significa, senso comum, uma pessoa, uma regio ou um estado que
capaz de se auto-governar, independente e sujeito a suas prprias leis.11 Um significado possvel 'liberdade', tal como a liberdade
da vontade (livre-arbtrio). Tais significados dependem de que tipo
de sistema visto como sendo autnomo. 12 O termo autnomo
deriva da palavra grega auto-, ou autos, significando o prprio, a
si-mesmo, e nomos, significando lei; ou seja, auto-governado, autodirigido, espontneo, oposto a heternomo, i.e., que controlado
externamente. Na teoria biolgica de Maturana e Varela (1980), o
termo ganhou um significado especial a condio de subordinar
todas as mudanas manuteno da organizao e 'a capacidade
de auto-manuteno de sistemas vivos, no sentido de manterem
sua identidade por meio de compensaes ativas a deformaes'
(ibid.: 135).13 Entretanto, em PSA, em um grande nmero de casos, aquilo que se entende por 'agente autnomo' classificado
como um sistema no-autnomo (heteropoitico) de acordo com
os critrios da teoria de autopoiese.
Ciberntica, robtica, IA clssica: alguns antecedentes
histricos
A noo de sistemas autnomos tem origem tanto em idias prcientficas sobre comportamento adaptativo, inteligente, orientado para obter solues, em homens, animais e mquinas, quanto
em tentativas iniciais para modelar e construir sistemas com um
comportamento que parece orientado para metas. Elas foram desenvolvidas durante o perodo inicial da ciberntica, da teoria da
informao e de disciplinas correlatas (teoria de sistemas, teoria
da operao). Outros campos tambm foram cruciais, posterior-
194
MIOLO - Computacao.pmd
194
20/6/2007, 09:42
195
MIOLO - Computacao.pmd
195
20/6/2007, 09:42
196
MIOLO - Computacao.pmd
196
20/6/2007, 09:42
197
MIOLO - Computacao.pmd
197
20/6/2007, 09:42
mas de IA podem ser autnomos, como robs, ou podem ser amplificadores de inteligncia, quando usados para aumentar o desempenho humano na tomada de decises.17 Sistemas robticos de IA
devem ser capazes de reconhecer objetos ou cenas (como um servial real18 pode fazer) e interagir com o mundo, atravs de cmeras
ou simples sensores de toque.
Tal sistema robtico deve ter capacidade de aprendizagem. Ele
deve aprender pela extrao de caractersticas visuais teis de informaes que recebe e calibrar seu 'espao visual' representado
internamente atravs da explorao pelo toque ou viso de objetos
no mundo. Tais dispositivos robticos19 empregam reconhecimento
de padres juntamente com o conhecimento armazenado
(freqentemente representado de forma estvel e simblica) a fim
de inferir (a partir de sinais de entrada e do conhecimento armazenado do seu mundo de objetos) as formas tridimensionais e propriedades no percebidas dos objetos, mesmo que os dados sejam
limitados e no estritamente adequados. Pelo menos este era, e de
certa maneira continua a ser, o objetivo ambicioso de construo
de tais sistemas. Sua percepo de padres no , normalmente,
flexvel como deveria ser, sendo a nfase no uso de dados sensoriados
em tempo real por programas que usam conhecimento armazenado. Isto apresenta falhas em situaes atpicas, j que as inferncias
sobre o mundo dependem de pressuposies apropriadas, e o que
'apropriado' altamente dependente do contexto e da situao
como um todo, e a base de conhecimento do rob restrita a
poucas situaes de micro-mundos. Isto uma parte do frame
problem em IA; no um detalhe tcnico mas um srio obstculo ao
projeto de qualquer tipo de sistema que modela um mundo complexo e em mudana (para detalhes, veja Janlert 1987).
A atual pesquisa em IA mais orientada para o desenvolvimento de
programas que sofisticados hardwares. Os dispositivos robticos podem servir de laboratrios para sugerir e testar programas, nas vezes em que so usados na pesquisa em IA. No entanto, a IA no
somente engenharia de comunicao avanada ou programao em
lgica. Alm do objetivo de construir ferramentas 'inteligentes', a IA
pode ser (mas no precisa ser) vista como uma declarao sobre a
natureza da mente. O que John Haugeland (1985) batizou de GOFAI
(Good Old Fashioned Artificial Intelligence) a afirmao de que
(a) nossa habilidade para lidar com as coisas de forma inteligente
devido a nossa capacidade de pensar sobre elas de maneira racional
198
MIOLO - Computacao.pmd
198
20/6/2007, 09:42
199
MIOLO - Computacao.pmd
199
20/6/2007, 09:42
200
MIOLO - Computacao.pmd
200
20/6/2007, 09:42
201
MIOLO - Computacao.pmd
201
20/6/2007, 09:42
202
MIOLO - Computacao.pmd
202
20/6/2007, 09:42
203
MIOLO - Computacao.pmd
203
20/6/2007, 09:42
Quanto maior o nvel de uma certa qualidade (por exemplo, temperatura) para a qual o sensor est ajustado, mais rpido o funcionamento do motor. O veculo se move na direo para qual estiver
apontando; ele desacelera nas reas frias e acelera onde est quente.
Mas ele vive na terra (ou na gua), isto , em um mundo no qual a
lei de Newton de inrcia no faz sentido diretamente; um mundo
de frico, um mundo Aristotlico, neste sentido. A Frico desacelera
o corpo, e se o veculo entra em uma regio fria onde a fora
exercida pelo motor, sendo proporcional temperatura, se torna
menor que a fora de frico, ele para. Braintenberg agora nos
pede para imaginar um veculo deste tipo nadando em um lago: 'Ele
incansvel, voc diria, e no gosta de gua quente. Mas bastante estpido, uma vez que no capaz de voltar para um bom lugar
frio que ele errou ao tentar alcanar, em sua inquietao. De qualquer forma, voc diria, ele est VIVO, uma vez que voc nunca viu
uma partcula de matria morta se mover desta maneira'
(Braitenberg 1984: 5).
Por meio de incrementao, Braitenberg aumenta a complexidade da srie de veculos. O veculo 2 um tipo de duplicata do
primeiro, com dois motores e dois sensores, nos cantos do chassi, e
com duas variedades de conexes sensrio-motoras, direta e cruzada (ver Figura 2). Se no h cruzamento, o motor no lado do
corpo que recebe maior exposio ao sensor, do que aquele que
ativa o sensor, tende a se mover mais rpido, de forma que, como
resultado, o veculo se vira para longe da fonte (tem 'medo' dela,
como diz Braitenberg). No veculo com cruzamento, o movimento
resultante vira o veculo para a fonte (indicada pelo cone do sol) e,
eventualmente, colide com ela.
204
MIOLO - Computacao.pmd
204
20/6/2007, 09:42
Figura 2: Veculo 2
205
MIOLO - Computacao.pmd
205
20/6/2007, 09:42
206
MIOLO - Computacao.pmd
206
20/6/2007, 09:42
207
MIOLO - Computacao.pmd
207
20/6/2007, 09:42
208
MIOLO - Computacao.pmd
208
20/6/2007, 09:42
209
MIOLO - Computacao.pmd
209
20/6/2007, 09:42
cia geral'). Provavelmente no. Mas aqui pode-se notar uma diferena crucial entre a Velha e Boa Robtica e a nova abordagem
com respeito ao conceito de inteligncia. Para uma abordagem
clssica, comportamento inteligente pressupe capacidade de manipulao racional de elaboradas estruturas simblicas internas
uma 'linguagem do pensamento' de algum tipo que representam
estados de coisas no mundo real. Embora a 'linguagem do pensamento' no precise ser usada para a comunicao lingstica, sabese que poucas espcies (se alguma) tm capacidade representacional
da mesma ordem de magnitude e complexidade que o Homo sapiens.
Por outro lado, pesquisadores concordam que muitos animais so
'inteligentes' de alguma forma. A evoluo de animais inteligentes
considerado um padro instrutivo para entender os requisitos do
comportamento inteligente. Computacionalmente, as coisas mais
difceis de se obter, por evoluo, parecem ser a habilidade de se
mover em um ambiente dinmico, e processar informao sensria
de forma adaptativa para garantir sobrevivncia e reproduo. A
evoluo concentrou seu tempo nesta parte da inteligncia, em
processos fisicamente fundamentados dos sistemas animais. 41 Da
perspectiva da teoria do Umwelt, ns podemos ver estas partes
como proximamente relacionadas com a emergncia de Umwelten
complexos. Ento, a evoluo primria do Umwelt
computacionalmente 'custosa': ela toma muitos passos do tempo
evolucionrio. Este tambm o caso de formas de vida simples
como clulas eucariotes unicelulares (Protozoa) que no tm um
sistema nervoso e um Umwelt genuno, mas tm (de acordo com
T. von Uexkll 1986a) um 'ciclo autocintico ou auto-mvel' simples
atravs do qual entram em interaes semiticas com seu meio
exterior.
A perspectiva evolucionria da 'nova IA' parece promissora. Um
nmero crescente de especialistas em IA reconhece as limitaes
da abordagem puramente lgica para construo de 'mquinas que
pensam', e so atrados por princpios biologicamente inspirados,
que podem formar a base da arquitetura de hardware e software
em computadores do futuro.42 Tcnicas de Vida Artificial servem de
inspirao para encontrar 'modos mais naturais' de observar diversos problemas em projetos de robtica. Os organismos no foram
abandonados na natureza aps terem sido construdos como projetos funcionalmente perfeitos. A evoluo operou como um mecnico que conserta uma mquina quebrada usando o que tem em
mos. Nem todo projeto um bom projeto. H muitas tentativas
210
MIOLO - Computacao.pmd
210
20/6/2007, 09:42
211
MIOLO - Computacao.pmd
211
20/6/2007, 09:42
212
MIOLO - Computacao.pmd
212
20/6/2007, 09:42
partir do que segue por definio que, para o rob, existe algo que
sentido como, ou experimentado como).
A resposta nenhum-Umwelt-em-um-rob, ao reconhecer que o
rob realmente instancia um ciclo funcional no sentido de um lao
causal de realimentao, no cr que este ciclo seja um exemplo
real de um ciclo funcional no sentido semitico de que forma, pela
ao do signo, a espinha dorsal de um Umwelt experienciado. Por
que no? Porque segundo esta perspectiva, o que d ao Umwelt sua
caracterstica fenomenal no o aspecto funcional-ciberntico dentro
do sistema (e na interface sistema-ambiente), mas o fato de que o
organismo vivo , antes de qualquer coisa, constitudo como um
sujeito ativo com algum agenciamento. Portanto, somente seres
vivos genunos (organismos e animais) podem viver
experiencialmente em um Umwelt.
O contra-argumento aqui que 'nenhum-Umwelt' pressupe o
que deveria demonstrar, ao colocar o critrio de existncia de Umwelt
no agente como um tipo de capacidade escondida (oculta!), e somente encontrado acidentalmente em alguns dispositivos (orgnicos no artificiais), ao invs de permitir um critrio comportamental
objetivamente acessvel para a existncia de um Umwelt (por exemplo, a existncia daquilo que deve ser descrito como processamento
de informao dentro de algum tipo de arquitetura funcional). Portanto, a resposta 'nenhum-Umwelt' no mais do que a reafirmao
de uma intuio.
De certa forma este contra-argumento justo, mas a pressuposio de que somente critrios comportamentais objetivamente
acessveis contam como critrio para qualquer coisa que podemos
identificar e estudar cientificamente uma pressuposio
externalista que no verdade para o entendimento de uma enorme gama de fenmenos (fenmenos intencionais, qualia, conscincia, etc). Isso assim, ao menos do ponto de vista de algumas
tradies cientfica que no so exclusivamente externalistas (por
exemplo, semitica, fenomenologia, hermenutica). Alm disso, a
resposta 'Umwelt-no-rob' pressupe que descrever informacional e
ciberneticamente a dinmica do dispositivo trivialmente o mesmo que identificar e explicar a existncia do Umwelt de um rob
como um fenmeno intrnseco. Dificilmente isso convincente,
uma vez que implica que dispositivos cibernticos ainda mais simples devem ter Umwelt.
213
MIOLO - Computacao.pmd
213
20/6/2007, 09:42
Antes de resolver esta questo precisamos examinar: (a) o sujeito do Umwelt de acordo com o prprio conceito de Umwelt; (b) o
aspecto semitico do Umwelt e sua dependncia de aspectos qualitativos da ao e interpretao do signo; (c) possvel
'implementabilidade' da ao do signo em meio no-orgnico; (d)
no-acessibilidade epistemolgica do Umwelt (ao menos os aspectos qualitativos dele) por quaisquer outros alm de seu dono. Finalmente, (e) vamos discutir vrios tipos de 'imerso' em PSA e a
artificialidade da imerso de robs.
(a) Se o que significa ter Umwelt ser um sujeito ativo com
agenciamento, devemos ter em mente que a maneira como
um Umwelt existe ontologicamente diferente da maneira
como o ambiente fsico existe, ou a maneira como um sistema neural, uma rede biofsica complexa dinmica, como estudada em neurobiologia, existe, ou ainda a maneira como
existe o comportamento observvel de um animal, como estudado pela etologia. Dizer que subjetivo significa dizer que
existe ao modo de um sujeito que experimenta ativamente,
que no algo que pode ser visto ou descrito de um ponto de
vista externo (cf. T. von Uexkll 1982a, Nagel 1986, Searle
1992).
(b) Que este aspecto subjetivo da sensao, percepo e
cognio animal seja acessvel descrio semitica deve-se
sua caracterstica de basear-se em modelos de relaes
tridicas, que so no somente adaptativos (e, portanto, significativas em termos biolgicos de uma perspectiva
funcionalista, Darwiniana, de sobrevivncia) mas verdadeiramente significativos para o animal em questo. Um signo
pode ter todo tipo de relaes com outros signos e todo tipo
de efeitos no processo de interpretao (neste caso, por um
organismo). De acordo com a noo de signo de Peirce, signos mais desenvolvidos, como smbolos (e 'argumentos'), incluem signos mais simples ('degenerados'), em que aspectos
de secundidade e primeiridade so proeminentes. Isto , os
signos internos mediando os Merkwelt e Wirkwelt de um
Umwelt (mediando os rgos perceptivo e motores/operadores) tm um aspecto qualitativo para eles, um aspecto que
freqentemente negligenciado tanto por semioticistas quanto
por bilogos. Um signo pode ser um token de um type geral
(por exemplo, um padro percebido pode ser reconhecido
214
MIOLO - Computacao.pmd
214
20/6/2007, 09:42
215
MIOLO - Computacao.pmd
215
20/6/2007, 09:42
qualisignos), e, portanto, no serem simplesmente interpretados como fazendo isto ou aquilo, por um observador externo. (Este normalmente o caso dos robs: eles so facilmente interpretados como sendo agentes intencionais. Mas ao
tomar esta 'postura intencional' de seus construtores, nada
nos diz sobre a existncia eventual de seus prprios 'sentimentos'). Se este sistema artificialmente construdo realiza a
ao e o sentimento vivo do qualisigno, ento ele tem mente
no sentido de Peirce. Mas ele teria Umwelt? Existe algum a
experimentando algo? Lembrem do escopo extremamente
amplo de semiose e de mente, para Peirce. Se o prprio universo permeado de signos, segundo o pansemiotismo de
Peirce (Merrell 1996), este estado de coisas pode no nos
ajudar a decidir se um rob est experimentando algo, se ele
tem um Umwelt. Ele pode ter, podemos imaginar, se o
qualisigno, e todas as formas superiores de semiose, se tornarem organizadas de tal forma a tornar possvel a emergncia deste tipo de unidade e coerncia da experncia que caracteriza 'um Umwelt-como-ns-conhecemos' (o nosso prprio).
(d) Mas como podemos saber? Um Umwelt s pode ser diretamente conhecido de dentro. Como a no acessibilidade
epistmica de qualquer Umwelt, por qualquer observador alm
de seu prprio 'dono', implica que, quando encaramos um
rob, estamos na mesma situao que estamos quando encaramos um carrapato, uma cobra, um beija-flor, ou um cachorro? Eles tm Umwelt, mas como este Umwelt realmente
, como ele sentido, impossvel dizer.47 Estas duas situaes so paralelas mas no so iguais. No caso de qualquer
animal vivo com um sistema nervoso central (incluindo um
carrapato), podemos ter bastante certeza que eles tm um
Umwelt de alguma maneira. A viso de mquina da vida e de
outras pessoas foi transcendida. Filosoficamente, a nica soluo para o 'problema das outras mentes' (como podemos ter
certeza que outras pessoas tm uma mente?) dizer pragmaticamente que isto no um problema, ou dizer: porque
eu sei que tenho e eles so semelhantes, por analogia eles
devem ter. Esta a melhor explicao para seu comportamento que conectado com (e parcialmente explicado por)
suas mentes. A soluo por analogia tambm o que fazemos
(muitas vezes de forma menos convincente) com animais.
216
MIOLO - Computacao.pmd
216
20/6/2007, 09:42
Ns sabemos que 'existe algum ali' no organismo do cachorro, apesar da dificuldade de inferir o contedo real de seus
estados (mais ainda para a cobra, e assim por diante). Mas
esta inferncia analgica usual de fato baseada na biologia.
O crebro do pssaro no somente anlogo ao nosso crebro, ele homlogo (tem a mesma origem evolucionria).48
Todos descendemos de criaturas muito simples que possuiam
o mesmo tipo de rgo chamado sistema nervoso (SN), incluindo o crebro. Ento, no caso do animal, o 'problema do
Umwelt de outros animais' respondido pela combinao de
uma explicao externalista de homologia de SN (onde SN
tem o papel de condio necessria para um Umwelt), e um
conhecimento internalista do prprio Umwelt, mais a inferncia
analgica mencionada (suportada pela teoria geral do Umwelt).
Mas no caso do rob, o 'problema do Umwelt' diferente. Ele
no pode ser colocado como um 'problema do Umwelt de
outra mquna' porque no somos mquinas (cf. Kampis 1994),
isto , no podemos usar uma inferncia por analogia, nem
podemos apelar para homologia evolutiva. Ento mesmo que
um rob se comporte como um sistema completamente autnomo, a inferncia de que ele tem um Umwelt no garantida por estes argumentos.
(e) Isto significa que devemos distinguir entre 'imerso' verdadeira para animais e imerso artificial para robs no contexto de PSA e VA? Aqueles que entusiasticamente traaram
paralelos entre 'cognio situada' em robs e em humanos
(e.g. Hendriks-Jansen 1996, Clark 1997) devem se esquecer
de algumas qualidades da cognio biolgica. Uma possibilidade interessante pode ser lembrada: somente sistemas (robs
ou organismos) que possuem Umwelt podem realizar comportamentos como o que vemos em vertebrados superiores e em
humanos.49 Se o Umwelt um fenmeno emergente de alto
nvel, emergindo de processos sgnicos corporificados no sistema nervoso de um agente situado, uma condio necessria para o desempenho estvel do sistema pode ser um conjunto de restries do Umwelt sobre padres particulares de
movimento, em um tipo de 'causao descendente'.50 Em redes neurais artificiais, assim como em Autmatos Celulares
computacionais, toda a eficcia causal da dinmica do sistema pode ser localizada nas regras de nvel inferior de comportamento de entrada e sada dos componentes individuais. En-
217
MIOLO - Computacao.pmd
217
20/6/2007, 09:42
218
MIOLO - Computacao.pmd
218
20/6/2007, 09:42
imersos e animais verdadeiramente situados com um Umwelt. Trata-se de uma diferena entre, de um lado, um agente ser capaz de
ver para onde se desloca, de vigiar, e observar os passos de algum
(tudo o que um sistema autnomo precisa 'aprender' se ele deve
agir como um agente), e de outro lado, de ser capaz de contemplar algo do mundo experiencial do outro, ver e senti-lo com os
'olhos internos' do outro. O grande postulado (no provado e talvez,
em princpio, inverificvel) do organicismo qualitativo que ter um
Umwelt uma pr-condio para realmente ser capaz de ter autonomia, em ampla escala, com a graciosidade de movimento que
somente animais atingiram. Se os sistemas artificiais so parcialmente 'situados', j que no experimentam um Umwelt, existe de
fato alguma esperana (em uma abordagem mais prxima da biologia terica, semitica, pesquisa em sistemas autnomos e cincia cognitiva) de entendermos mais profundamente sistemas autnomos verdadeiramente situados como sendo um tipo de agente
semitico complexo auto-organizado com propriedades qualitativas
emergentes.
AGRADECIMENTOS
Gostaria de agradecer a Jesper Hoffmeyer, Ricardo Gudwin, Kalevi
Kull, Winfried Nth, Stanley Salthe e Tom Ziemke por comentrios
e crticas a verses iniciais deste artigo.
NOTAS
Quanto questo do Umwelt nesta distino, se poderia ir at
mais longe, diferenciando-se entre o Umwelt, em um sentido restrito, como o entorno significativo de uma espcie e o Innenwelt
como uma verso atual deste entorno para um organismo individual (cf. Anderson et al. 1984:13). Mas esta distino no necessria no presente contexto. O termo Innenwelt no aparece em J.
von Uexkll (1940), nem mesmo no glossrio de T. von Uexkll para
este texto.
1
Needham suficiente como exemplo aqui: Estamos hoje perfeitamente certos (...) que a organizao de sistemas vivos um
2
219
MIOLO - Computacao.pmd
219
20/6/2007, 09:42
problema, no o ponto de partida axiomtico, da pesquisa biolgica. Relaes de organizao existem, mas elas no so imunes do
alcance e entendimento cientficos. Por outro lado, as suas leis no
parecem ser redutveis a leis que governam o comportamento de
molculas em nveis mais baixos de complexidade. (do ensaio de
1937 Integrative levels: a revaluation of the idea of progress,
em: Needham 1943).
3
220
MIOLO - Computacao.pmd
220
20/6/2007, 09:42
10
11
Um exemplo de um uso biolgico a designao sistema nervoso autnomo, ou seja, o sistema de fibras nervosas motoras
(eferentes) que do suporte aos msculos lisos e cardacos e as
glndulas (constituindo os sistemas nervosos simptico e
parassimptico), que no controlado pela vontade (da pessoa
autnoma) mas sim auto-governado.
12
221
MIOLO - Computacao.pmd
221
20/6/2007, 09:42
13
Para uma histria da ciberntica, ver Mayr (1970); sobre o pensamento sistmico, ver Lilienfeld (1978).
14
222
MIOLO - Computacao.pmd
222
20/6/2007, 09:42
16
18
19
Para Newell (1980: 170), que formulou esta hiptese, A condio necessria e suficiente para um sistema fsico exibir ao inteligente em geral que ele seja um sistema de smbolos fsicos.
Um sistema de smbolos fsicos uma mquina universal que
fisicamente realizvel; qualquer sistema de smbolos razovel
universal (em relao aos limites fsicos) (p.169). Newell define
universal com referncia a tese de Church (tambm chamada de
tese de Church-Turing). Ele claramente afirma que os avanos em
IA (como raciocnio e soluo de problemas) em grande parte supera o que foi alcanado em outras tentativas de construir mquinas
inteligentes, como o trabalho de construir robs controlados diretamente por circuitos (p.171). Brooks (1990), em sua crtica tese
paradigmtica para robtica, define de forma mais livre: A hip-
20
223
MIOLO - Computacao.pmd
223
20/6/2007, 09:42
21
22
23
24
25
Grey Walter chegou a pensar que poderia ser tecnicamente possvel construir processos de auto-reparao e de reproduo nestas
mquinas (1950: 45). A este respeito ele foi otimista demais e no
reconheceu o problema fundamental de realizar auto-reproduo
biolgica (Kampis 1991). Ainda assim, foi Walter quem foi o primeiro a mostrar que dispositivos simples de controle podem produzir comportamento natural com aprendizagem.
26
27
28
224
MIOLO - Computacao.pmd
224
20/6/2007, 09:42
colgicos; uma questo de levar a postura intencional para qualquer tipo de sistema autnomo (no sentido intuitivo de autonomia), seja ele um inseto, um rob, ou um ser humano.
Quase-autnomo pode ser um termo melhor aqui. Quando observamos demonstraes reais (gravados em vdeo ou ao vivo em
conferncias) de vrias espcies de agentes situados, ou animats,
das primeiras verses de Braitenberg s mais recentes, notamos
que suas performances no so impressionantes. Um tpico lugar
para estar situado em um cho plano com obstculos suaves
formando pratos perpendiculares ao cho e nenhuma rugosidade.
E ainda assim, estes pequenos heris muitas vezes ficam presos em
um canto ou enroscados nos sensores protuberantes de um companheiro e ento, como se o cu tivesse mandado, uma mo (in)visvel
do criador desce e os coloca de volta sobre as rodas. A arte da
suave educao de robs no ganhou o reconhecimento que merece.
29
30
31
33
Compare tambm com o comentrio de Andy Clark: A similaridade entre os mundos operacionais de Herbert [um dos robs de
Brooks da dcada de 80] e o carrapato [como descrito por J. von
34
225
MIOLO - Computacao.pmd
225
20/6/2007, 09:42
35
Compare com Steels (1990) que distingue entre (a) representaes categricas e (b) representaes anlogas, onde (a) inclui
representaes tanto simblicas como sub-simblicas (isto , redes
do tipo perceptron com categorias codificadas em termos de padres de ativao sobre uma coleo de unidades), enquanto (b)
inclui vrios tipos de mapas (por exemplo, para informaes sensoriais, um mapa de freqncia, um mapa sonar, um mapa de cheiro, um mapa de cor).
36
226
MIOLO - Computacao.pmd
226
20/6/2007, 09:42
38
Ver, por exemplo, Peschl (1994: 423) que afirma que representao pode ser melhor caracterizada como o encontro de uma
relao/covarincia estvel entre [o ambiente] e algo na representao/corpo do sistema. Isto pode ser obtido por mudanas
adaptacionais/construtivas no substrato neural que leva a uma dinmica corporificada capaz de gerao de comportamento funcionalmente adaptado.
39
40
Este o argumento de Brooks (1990). Como a evoluo do primeiro organismo simples vivo na Terra levou cerca de um bilho de
anos, isto foi um processo lento. (Evidncias recentes questionam
esta estimativa e sugerem que a apario das primeiras formas de
vida foi um processo muito mais rpido). Outro bilho de anos se
passou antes da apario das plantas fotosintticas, e quase h um
bilho e meio de anos (ca. 550 milhes de anos atrs) os primeiros
invertebrados chegaram criar organismos com sistemas de
processamento de informao so problemas bem complicados.
Ento as coisas comearam a se mover rapidamente. Rpteis chegaram cerca de 370 milhes de anos atrs, mamferos 250 milhes
de anos atrs, os primeiros primatas apareceram cerca de 120
41
227
MIOLO - Computacao.pmd
227
20/6/2007, 09:42
milhes de anos atrs, os predecessores dos grandes macacos somente 18 milhes de anos atrs. Criaturas como homens chegaram
h 2,5 milhes de anos atrs. Os homens inventaram a agricultura
h 19 mil anos atrs, e desenvolveram escrita e conhecimento
especializado h menos de 5000 anos atrs. Assim, comportamento de soluo de problemas, linguagem, conhecimento especializado e raciocnio parecem ser bem simples, uma vez que a essncia
de ser e reagir estejam disponveis!
Veja comentrio de Belew (1991), que trabalhou com aprendizado de mquina.
42
43
44
45
228
MIOLO - Computacao.pmd
228
20/6/2007, 09:42
48
49
50
REFERNCIAS
ANDERSON, M.; J. DEELY; M. KRAMPEN; J.RANSDELL; T. A. SEBEOK
& T. VON UEXKLL. 1984. A semiotic perspectiveon the sciences:
Steps toward a new paradigm. Semiotica 52(1/2), 7-47.
BATESON, G. 1979. Mind and Nature. A Necessary Unity. Wildwood
House.
BECKERMANN, A.; H. FLOHR; J. KIM (eds.) 1992. Emergence
orReduction? Essays on the Prospects of Nonreductive Physicalism.
Walter de Gruyter.
BELEW, R. K. 1991. Artificial Life: a constructive lower bound for
Artificial Intelligence. IEEE Expert 6 (1): 8-15, 53-59.
BRAITENBERG, V. 1984. Vehicles: Experiments in Synthetic
Psychology. The MIT Press.
229
MIOLO - Computacao.pmd
229
20/6/2007, 09:42
230
MIOLO - Computacao.pmd
230
20/6/2007, 09:42
231
MIOLO - Computacao.pmd
231
20/6/2007, 09:42
232
MIOLO - Computacao.pmd
232
20/6/2007, 09:42
233
MIOLO - Computacao.pmd
233
20/6/2007, 09:42
1993.
ZIEMKE & SHARKEY 2001. A stroll through the worlds of robots and
animals: applying Jakob von Uexkll's theory of meaning to adaptive
robots and artificial life. Semiotica 134 (1): 701-746.
WALTER, W.G. 1950. An imitation oflife. Scientific American 182
(5): 42-45.
WALTER, W.G. 1951. A machine that learns. Scientific American
185 (2): 60-63.
WIENER, N. 1948. Cybernetics- or control and communication in
the animal and the machine. The MIT Press.
WILSON, S. W. 1991. The animat path to AI. Em: From Animals to
Animats. J.-A. Meyer & S. Wilson (eds.). The MIT Press. pp. 15-21.
234
MIOLO - Computacao.pmd
234
20/6/2007, 09:42
CAPTULO 9
ROBOSEMITICA, COGNIO ENATIVA E INCORPORADA
Tom Ziemke
INTRODUO
Muitas pesquisas em Cincia Cognitiva, particularmente em IA e
em Vida Artificial, tm, desde meados dos anos 80, sido dedicadas
ao estudo dos chamados agentes autnomos. Tratam-se, especialmente, de sistemas robticos situados em algum ambiente, com o
qual interagem por meio de sensores e efetores. Tais sistemas so
freqentemente auto-organizados, no sentido em que aprendem
artificialmente, se desenvolvem e evoluem em interao com seus
ambientes, por meio de tcnicas de aprendizagem computacional,
tais como redes neurais artificiais e algoritmos evolutivos. Devido
motivao e inspirao biolgica subjacente a muitas destas pesquisas (Sharkey e Ziemke 1998), agentes autnomos so chamados
de 'organismos artificiais', 'animats' (abreviao para 'animais artificiais'), 'vida artificial' ou 'biorobs'. Esses termos no significam as
mesmas coisas. Alguns deles se referem a robs fsicos, enquanto
outros a simulaes em softwares. Mas todos expressam a viso de
235
MIOLO - Computacao.pmd
235
20/6/2007, 09:42
que estes mecanismos so substancialmente diferentes de artefatos convencionais, e que, em alguns nveis, so como organismos
vivos, no sentido de compartilharem algumas de suas propriedades.
Aqui, estes sistemas sero chamados de 'organismos artificiais' ou
'agentes/robs autnomos'.
Este captulo est interessado no status semitico e na relevncia
dos organismos artificiais. Uma questo que vou abordar se estes
organismos so autnomos, se so capazes de semiose, e at que
ponto so capazes. Esta no uma questo simples, j que semiose
considerada algo que, necessariamente, envolve organismos vivos. Morris (1946), por exemplo, define semiose como 'um processo de signos, que um processo em que alguma coisa um signo
para algum organismo'. Analogamente, Jakob von Uexkull considerou signos como 'de suma importncia em todos os aspectos dos
processos vivos' (T. von Uexkull 1992), e fez uma clara distino
entre organismos que, como sujeitos autnomos, respondem a signos de acordo com sua prpria energia especfica, e mecanismos
inorgnicos, aos quais falta esta energia e, ento, permanecem
heternomos (isto ser discutido mais tarde).
Mecanismos, claro, podem estar envolvidos em processos sgnicos,
em particular, computadores e softwares. Sebeok afirma (com.
pessoal, citada por T.von Uexkull 1982) que 'a caracterstica distintiva de entidades vivas, e de mquinas programadas por humanos,
a semiose'. Aos ltimos faltam, entretanto, uma 'semntica primria', isto , um 'significado intrnsico' (Harnard 1990), ou 'contedo para a mquina' (Rylatt et al. 1998). Eles derivam suas semnticas do fato de serem programados, observados e/ou interpretados por humanos. Andersen (et al. 1997) tem argumentado
em detalhes que computadores, quando capazes de semiose, caem
em algum lugar entre os humanos e os mecanismos convencionais.
Mas eles, em ltima instncia, derivam suas 'capacidades' semiticas
da interpretao de seus designers e usurios. A principal diferena
que sistemas vivos so autopoiticos, isto , se auto mantm,
enquanto as mquinas no so (este ponto ser discutido em detalhes). Sua 'tentativa de concluso' que
[] a diferena entre a semiose em humanos e em mquinas
pode no residir na natureza particular de qualquer um deles. A diferena pode estar no fato de que a semiose, na
mquina, pressupem a semiose humana, e o surgimento em
uma pode ser explicado pelo surgimento na outra (Andersen
et al. 1997).
236
MIOLO - Computacao.pmd
236
20/6/2007, 09:42
As pesquisas em Cincia Cognitiva e IA so tradicionalmente dominadas, desde suas origens nos anos 1950s, pela metfora
computacional da mente a viso de que a mente humana funciona como um programa de computador. Isso tem conduzido dcadas
de pesquisas em IA tradicional armadilha internalista (Sharkey &
Jackson 1994), cujo foco em programas computacionais
desincorporados, e em representaes internas, supem uma realidade externa pr-dada e refletida (Varela et al. 1991). esquecida
a necessidade de fundamentar e 'ancorar' as representaes no
mundo que supostamente representam. Para cientistas cognitivos,
o uso de agentes situados e incorporados oferece uma alternativa,
bottom-up, para o estudo do comportamento inteligente em geral,
e para a representao interna e uso de signos, em particular.
Organismos artificiais, diferentes de softwares, so equipados
com capacidades robticas sensrio-motoras, interagem com seus
ambientes, e parecem faz-lo independentemente da interpretao de usurios externos e de observadores. Mais do que isto, tais
sistemas so freqentemente auto-organizados no sentido de que
'aprendem', se 'desenvolvem' e 'evoluem', em interao com seus
ambientes, por meio de tcnicas de inteligncia computacional e,
freqentemente, por mimese de processos biolgicos. Alguns exemplos deste tipo de auto-organizao, em robs adaptativos, sero
ilustrados na seo Trabalho experimental. Os processos sgnicos
e ciclos funcionais, pelos quais os organismos interagem com seus
ambientes, so tipicamente auto-organizados, isto , so o resultado de adaptao em interao com o ambiente, mais do que o
resultado da programao de um designer, e, com freqncia, no
so interpretveis por humanos (Prem 1995). Diferentemente de
softwares, a gnese desses processos no pode ser explicada apenas com referncia ao design e interpretao humanas. Portanto, argumenta-se, agentes autnomos so, pelo menos em teoria,
capazes de processamento de uma 'semntica de primeira ordem'
(e.g. Harnad 1990, Franklin 1997, Bickhard 1998). Se poderia afirmar que seu interesse semitico e epistemolgico surge porque,
diferente de mquinas convencionais, o uso de signos e representaes por agentes autnomos auto-organizado e portanto, como
em sistemas vivos, privado e significativo para os prprios agentes.
Muitos pesquisadores no estabelecem mais uma clara diviso entre animais e robs autnomos. Prem (1998), por exemplo, refere-
237
MIOLO - Computacao.pmd
237
20/6/2007, 09:42
Diversas pesquisas em robtica adaptativa dizem respeito construo de mecanismos de controle em robs, ao mapeamento entre sinais sensrios e comandos motores, e ao uso de tcnicas
adaptativas artificiais evolutivas ou de aprendizagem. Em particular, redes neurais artificiais (RNs) so usadas como 'sistema nervoso artificial', e conectam os receptores do rob aos seus efetores.
Os robs usados neste tipo de pesquisa so, com freqncia, robs
mveis (figura 1, como exemplo). Eles recebem entrada sensria
de, por exemplo, sensores de proximidade infravermelhos ou
cmeras, e controlam os movimentos de suas rodas atravs de
sadas motoras.
238
MIOLO - Computacao.pmd
238
20/6/2007, 09:43
RNS RECORRENTES
O uso de uma rede feed-forward, isto , de uma rede na qual a
ativao acontece em apenas uma nica direo, de unidades de
input para unidades de output, produz um mapeamento input-output
que ser sempre o mesmo (dado que a rede j aprendeu e no
modifica mais o peso de suas conexes). Portanto, o rob controlado ser uma 'mquina trivial' (cf. T. von Uexkull 1997), isto ,
independentemente da histria das entradas (ou do passado), j
que toda entrada ser mapeada nas mesmas sadas. Em termos
semiticos, isto corresponde a uma semiose de informao onde o
input corresponde ao signo, o mapeamento input-output
corresponde ao interpretante (ou regra causal), e o output ao significado (T. von Uexkull 1997).
Entretanto, se adicionamos feedback interno atravs de conexes recorrentes, ele se torna uma mquina 'no trivial'. O
mapeamento input-output ir variar com o estado interno da rede.
A mquina, dependendo de seu passado, pode efetivamente ser
uma mquina 'diferente' em cada instante do tempo. Uma analogia, em termos semiticos, poderia ser uma semiose de
sintomatizao (T. von Uexkull 1997), na qual o interpretante varia
e o comportamento input-output do sistema informa a um observador o interpretante corrente. Para o rob, significa que ele no
reage meramente a estmulos 'externos', mas 'interpreta' estmulos/signos, na dependncia de seu prprio estado interno.
239
MIOLO - Computacao.pmd
239
20/6/2007, 09:43
240
MIOLO - Computacao.pmd
240
20/6/2007, 09:43
241
MIOLO - Computacao.pmd
241
20/6/2007, 09:43
Obviamente, no fornecido ao rob qualquer informao (acima), e ele tem de achar, por si mesmo, no processo de treinamento evolutivo, um modo de criar sentido em sua interao sensriomotora com o ambiente. Em outras palavras, ele deve atribuir
significado a diferentes estmulos no contexto. Tendo pleno acesso
a todas as coisas que acontecem na rede de controle e no ambiente, podemos analisar em detalhes exatamente como o rob aprende a fazer isto (ver Thieme 2002; Ziemke e Thieme 2002).
O segundo exemplo ilustrado na Figura 3. Estes experimentos
(Buason 2002) investigam a co-evoluo competitiva de presas e
predadores (de um tipo que est ilustrado na figura 1). A tarefa do
predador caar a presa, enquanto a tarefa desta evitar ser
caada. Em uma srie de experimentos de crescente complexidade, no apenas os controladores neurais, mas tambm diferentes
aspectos da morfologia dos robs evoluram, tais como direo,
escopo e ngulo da cmera. Certas coeres so impostas aos robs, por exemplo: mais poder de viso deve ser 'pago' com reduo
de velocidade de deslocamento.
242
MIOLO - Computacao.pmd
242
20/6/2007, 09:43
DISCUSSO
Se robs so autnomos, e se so capazes de semiose, so questes que tem recentemente ocupado um grande nmero de pesquisadores, em cincia cognitiva e semitica (e.g. Emmeche 2001;
Nth 2001; Sharkey & Ziemke 1998; Ziemke & Sharkey 2001; Ziemke
2001, 2002; Zlatev 2001). A questo sobre qual o status semitico
de robs, no tem, aparentemente, uma resposta simples. A razo
disso que a distino entre organismos e mecanismos tornou-se
difusa, como est indicado em conceitos como 'organismos artificiais' ou 'vida artificial'. Muitos argumentariam que simplesmente
no o caso da gnese da semiose em robs poder ser (totalmente) explicada com referncia a semiose humana, mesmo em se
tratando de robs que se auto-organizam, que se desenvolvem em
243
MIOLO - Computacao.pmd
243
20/6/2007, 09:43
interaes a longo prazo com seus ambientes, e que so relativamente independentes de seus programadores.
O 'problema' que torna difcil fazer uma clara distino entre organismos vivos, robs adaptativos atuais e organismos artificiais,
que os ltimos tm, hoje em dia, diversas propriedades do primeiro. Ziemke & Sharkey (2001), por exemplo, discutiram em detalhes as trs propriedades que Jacob von Uexkll (1928, 1982) considerou nica para organismos (adaptao/crescimento, uso de signos, construo centrfuga), e que podem, em algum nvel, ser
encontradas nos robs atuais. Analogamente, Nth (2001: 695696) identificou 'quatro razes pelas quais robs interagem da mesma
maneira com seu ambiente como organismos o fazem' e que 'apoiam
o argumento de que, no somente organismos, mas tambm robs, possuem Umwelt , no sentido de [von] Uexkll: (a) ambos,
robs e organismos, tm Umwelt (ou, na verdade, Merkwelt) no
sentido que, limitado por sensores disponveis, eles podem perceber apenas parte de seu ambiente fsico; (b) ambos processam
estmulos ambientais seletivamente; (c) ambos podem ter 'representaes internas de seus Umwelt s'; (d) ambos so equipados
com rgos/mdulos perceptuais e orgos/mdulos efetores.
H, entretanto, um nmero considervel de diferenas. Corpos
de robs so, por exemplo, de diversas maneiras, extremamente
diferentes de corpos vivos, e assim so candidatos improvveis para
ter o mesmo tipo de mente fenomenal, ou Umwelt. Em particular,
corpos de robs (hardware) e sistemas de controle (software) no
esto integrados da mesma maneira como esto em corpos vivos.
Corpos de robs, por exemplo, no crescem. Alm disso, Ziemke &
Sharkey (2001) discutiram em detalhes a falta de endosemiosis em
robs e, portanto, a falta daquilo que T. von Uexkll (et al. 1993)
refere-se como neural counterbody, formado e atualizado em crebros humanos como resultado de fluxo contnuo de informao
de signos proprioceptivos dos msculos, juntas e outras partes de
nossos membros, e assim dando origem experincia do corpo vivo
como centro da realidade subjetiva.
Alm disso, temos discutido em detalhes (Sharkey & Ziemke 1998,
2001; Ziemke & Sharkey 2001; Ziemke 1999, 2001), que a chave
para entender a mente e a semiose pode estar na compreenso de
autonomia e autopoiesis, isto , em processos de auto-criao e
manuteno, naturais em sistemas vivos (Maturana & Varela 1980).
Sistemas autopoiticos so muito mais integrados do que robs, no
244
MIOLO - Computacao.pmd
244
20/6/2007, 09:43
AGRADECIMENTOS
Gostaria de agradecer a Mikael Thieme e Gunnar Buason pelos
experimentos mencionados na Seo 2. Este trabalho foi apoiado
pela bolsa #1507/97, da Knowledge Foundation, Stockholm.
REFERNCIAS
ANDERSEN, Peter B.; HASLE, Per; BRANDT, Per A. 1997. Machine
semiosis. Em: Posner, R., Robering, K., and Sebeok, T. A., (eds.),
Semiotik / Semiotics - Ein Handbuch zu den zeichentheoretischen
Grundlagen von Natur und Kultur / A Handbook on the SignTheoretic Foundations of Nature and Culture, pages 548-571.
Walter de Gruyter.
BICKHARD, Mark 1998. Robots and representations. Em: From
animals to animats 5 - Proceedings of the Fifth International
Conference on Simulation of Adaptive Behavior, MIT Press. pp. 5863.
BUASON, Gunnar 2002. Competitive Co-Evolution of Sensory-Motor Systems. Masters dissertation HS-IDA-MD-02-004, Department
of Computer Science, University of Skvde, Sweden.
245
MIOLO - Computacao.pmd
245
20/6/2007, 09:43
246
MIOLO - Computacao.pmd
246
20/6/2007, 09:43
247
MIOLO - Computacao.pmd
247
20/6/2007, 09:43
ZIEMKE, Tom & SHARKEY, Noel E., (eds) 1998. Biorobotics. Special
issue of Connection Science 10 (3-4).
__. 2001. A stroll through the worlds of robots and animals: Applying
Jakob von Uexkll's theory of meaning to adaptive robots and artificial life. Semiotica, 134 (1-4): 653-694
ZIEMKE, Tom & THIEME, Mikael 2002. Neuromodulation of reactive
sensorimotor mappings as a short-term memory mechanism in
delayed response tasks. Adaptive Behavior 10 (3-4): 185-199.
ZLATEV, Jordan 2001. The epigenesis of meaning in human beings,
and possibly in robots. Minds and Machines 11: 155-195.
248
MIOLO - Computacao.pmd
248
20/6/2007, 09:43
CAPTULO 10
FORMA, FUNO E A MATRIA DA EXPERINCIA
Pim Haselager
INTRODUO
Ao longo da histria da Inteligncia Artificial (IA)1, os programadores que criaram softwares capazes de realizar tarefas cognitivamente
interessantes, se questionaram: os softwares sabem o que esto
fazendo? Eles tm cincia de que esto fazendo alguma coisa? Turing
(1950) discutiu este problema sob o ttulo 'o argumento da conscincia', e atribuiu sua formulao ao Prof. Jefferson, que abordou a
importncia de fazer como resultado de pensamentos e emoes.
Recentemente, parece que este 'problema perene' tem contaminado
a nouvelle IA (robtica situada e agentes autnomos) atravs da
noo de Umwelt (von Uexkll 1936/2001; 1937/2001). Os robs
concebidos so sujeitos que verdadeiramente experimentam suas
percepes e aes no mundo? Ou esto mera e artificialmente sinalizando como se estivessem experimentando?
Ao menos algumas vezes os robs parecem se mover com um
propsito, so capazes de evitar certas dificuldades e at parecem
249
MIOLO - Computacao.pmd
249
20/6/2007, 09:43
250
MIOLO - Computacao.pmd
250
20/6/2007, 09:43
Nosso argumento que a noo de vida, como condio necessria para a existncia de um 'Umwelt experimentado', no colabora
para que acessemos as capacidades dos robs. Sugerimos que um
olhar atento ao modo como forma, funo e matria interagem
pode ser mais produtivo para discutir Umwelt em robs.
O ETERNO PROBLEMA DA IA
Os seres humanos tm sido comparados, ao longo da histria,
com uma grande variedade de mquinas. No entanto, o mrito de
tais comparaes tem sido colocado em dvida desde seus
primrdios. Hipcrates (400 a.C.), por exemplo, afirmou: 'Comparar os humanos com seus produtos expresso de uma viso extraordinariamente empobrecida da humanidade' (apud Simmen 1968:
7-8). Mais recentemente, homens foram comparados a relgios
(cf. Draaisma 1986). Hobbes (1588-1679) levantou a questo sobre, exatamente, que propriedades deveriam ser atribudas a relgios.
A vida no nada alm de movimento de membros. [...] Por
que no devemos dizer, que todos os autmatos (mquinas
que se movem por molas e rodas, como faz um relgio) tm
uma vida artificial? (apud Flew 1964: 115)
Baseado na mesma comparao entre relgios e organismos, Descartes se ops sugesto de Hobbes. Para Hobbes, a qualidade de
auto-movimentao dos relgios levou questo sobre se poderamos atribuir propriedades de vida a eles, embora, para Descartes,
a similaridade, em certos aspectos (especialmente regularidade),
do comportamento dos relgios e dos animais, fornecia motivo
suficiente para negar qualquer forma de compreenso aos animais.
251
MIOLO - Computacao.pmd
251
20/6/2007, 09:43
De Malebranche (1638-1715) recusou a idia de que animais pudessem experimentar qualquer coisa:
Animais no possuem razo ou conscincia. Eles comem sem
apetite, gritam sem dor, crescem sem compreender; eles no
desejam coisa alguma, no temem qualquer coisa, no tm
conscincia de qualquer coisa (apud Wit 1982: 389).
Se substituirmos a palavra 'Deus' por 'ser humano' e 'animal' por 'computador', ou 'rob', o resultado uma sentena que pode ser encontrada nos modelos da IA. Turing, como bem conhecido, discutiu o
'perene' problema da IA sobre o ttulo 'o argumento da conscincia':
Nenhum mecanismo poderia sentir prazer em seus sucessos
(no mera e artificialmente sinalizar, uma fcil maquinao),
dor quando a vlvula funde, ficar caloroso com bajulaes,
arrasado com seus erros, encantado com sexo, ficar nervoso
ou depressivo quando no consegue algo que quer (Turing
1950: 42).
NOUVELLE IA
Os robs so interessantes candidatos algumas destas questes,
e muitas de suas propriedades parecem dificultar uma resposta
completamente negativa. Em primeiro lugar, robs so criaturas
252
MIOLO - Computacao.pmd
252
20/6/2007, 09:43
incorporadas e imersas. Isto , eles possuem um corpo, diferentemente dos modelos computacionais da IA tradicional, por meio do
qual interagem com o ambiente, constitudo por objetos e outras
criaturas (artificiais e/ou vivas), e sua imersividade no mundo decorre de seu comportamento e de seus processos cognitivos.
Alm disso, muitos dos comportamentos dos robs no parecem
pr-determinados, sendo, ao contrrio, emergentes. Emergncia
um conceito complicado.3 Vamos enumerar alguns de seus aspectos mais relevantes, neste contexto. Em primeiro lugar emergncia pode ser entendida como funcionalidade no programada (Clark
2001: 114). O comportamento de um rob no diretamente controlado ou programado de um modo simples e direto, mas surge
das interaes entre um nmero limitado de componentes que podem ser substancialmente diferentes em suas propriedades e possibilidades de ao. Clark d o exemplo de simples disposies
comportamentais (e.g. tende para a direita, salta de volta quando
toca algo) em um rob que, sob certas circunstncias, poderia
prover um comportamento emergente, tal como seguir muros, em
protocolos de navegao espacial. Em segundo lugar, um importante aspecto da emergncia que nveis superiores (globais) influenciam, restritivamente, o comportamento e as interaes dos componentes em nveis inferiores. Isto, algumas vezes, chamado de
'causao descendente' (downward causation). Diversos debates tm
ocorrido sobre como a noo de 'causao descendente' deveria ser
interpretada, de modo a fazer algum sentido (e.g. Kim 1993).
Concordamos com El-Hani & Emmeche (2000: 262), que afirmam
que 'causao descendente' pode ser entendida como uma expresso aristotlica de causalidade formal: 'Entidades de nveis superiores estabelecem um padro particular de restries sobre as relaes de entidades de nveis inferiores que os compem.'
Foras de causao descendentes de padres de alto nvel podem
ser observados como restringindo as possibilidades de interao
entre componentes em nveis inferiores. Finalmente, o fenmeno
de 'difuso causal' pode ser observado em relao aos robs. O
fenmeno assim definido por Wheeler e Clark (1999: 106): 'O
fenmeno de interesse torna-se dependente, de maneiras inesperadas, de fatores causais externos ao sistema.'
bem conhecido o fato de que a IA tradicional ajusta seu foco
para o que acontece dentro do sistema. O sistema nervoso central,
artificial ou biolgico, visto como o fator causal principal do com-
253
MIOLO - Computacao.pmd
253
20/6/2007, 09:43
AUTONOMIA, Umwelt
E VIDA
Ziemke e Sharkey (2001: 725-726, 730) examinaram a autonomia e o Umwelt de robs como consideravelmente independentes
de seus criadores humanos. Eles esto interessados em robs que
evoluem por meio de algoritmos genticos e que so controlados
por redes neurais recorrentes. De acordo com os autores, tais robs se adaptam a seus ambientes e possuem uma base histrica em
suas reaes. Isto , as reaes dos robs so 'subjetivas' porque
eles esto se auto-organizando, uma vez que no esto completamente construdos, e porque so especficas, conforme as histrias
de suas experincias. Alm disso, os robs esto envolvidos em
processos sgnicos, fazendo uso de signos, o que os prov com um
certo nvel de autonomia epistmica. Como afirmam Ziemke e
Sharkey, robs 'se viram por conta prpria' quando interagem com
o ambiente. O desenvolvimento dos controladores de robs (e.g.
redes neurais artificiais) e, algumas vezes, de seus corpos (em
casos de simulao) seguem aquilo que von Uexkll chamou de
'princpios centrfugos'. Eles se desenvolvem de dentro para fora,
contrariamente aos princpios centrpetos mais comuns, de partes
pr-arranjadas em conexo (como o brao de um rob ou um sensor
tico) com uma unidade central, de fora para dentro. Finalmente,
robs podem co-evoluir com outras entidades em desenvolvimento.
Ziemke e Sharkey mencionam, como exemplo, o trabalho de Nolfi
e Floreano (1998) em que robs (kheperas), controlados por redes
neurais recorrentes, co-evoluem com outros robs, exibindo comportamento de predador ou presa. Cliff e Miller (1996) fornecem
um exemplo de co-evoluo interna, em que o controlador e o
sensor tico evoluem de um modo cruzado.
Considerando estes exemplos, podemos inferir que h boas razes
para suspeitar que robs esto bem qualificados para apresentar, em
254
MIOLO - Computacao.pmd
254
20/6/2007, 09:43
255
MIOLO - Computacao.pmd
255
20/6/2007, 09:43
considerado, normalmente, sem experincias, assim como algumas formas de coma. Organismos sem um sistema nervoso tambm so, geralmente, assim considerados (e.g. Damasio 1999;
Emmeche 2001). Portanto, estar vivo no suficiente para ter
experincias.
Mais difcil, obviamente, conceber o contrrio, que criaturas
tm experincias embora no estejam vivas. A sugesto de que
uma criatura que no est viva possa ter experincias certamente
parece bizarra. H uma forte tendncia para associar 'no vivo'
com 'morto', e 'estar morto' com o estado de no experimentar
coisa alguma. Entretanto, parece que, em relao a robs, esta
associao no adequada. Basicamente, o que estamos propondo
que criaturas artificiais no se enquadram perfeitamente nas
categorias 'morto' ou 'vivo'. No podemos decidir a respeito de suas
capacidades, com base na tentativa de for-las a uma dessas classes.
Ento, a vida uma condio necessria para a experincia? Por
qu? Quais so exatamente os argumentos? H, pelo menos, dois
argumentos a serem examinados. De acordo com o primeiro argumento, todas as criaturas capazes de experincia que conhecemos
so criaturas vivas. Um testemunho da tendncia para associar
vida com experincia so as experincias relatadas de vida aps a
morte. Em resposta, s podemos recorrer refutabilidade indutiva.
Pode ser o caso que, at hoje, todas as criaturas em relao s
quais podemos dizer que 'tm experincia' so criaturas vivas. Mas
isto no constitui uma prova para a tese de que a vida uma
condio necessria para a experincia. A no-confiabilidade do
argumento indutivo ainda mais imperativo porque a Robtica
dedica-se construo de criaturas de um tipo totalmente novo,
artificial e no-biolgico. Exatamente quais propriedades devem
ser atribudas a tais criaturas no algo que pode ser decidido com
base em experincias passadas.
Um argumento mais substancial aquele que poderia explicar
porqu criaturas que tem experincias devem estar vivas. Tal argumento destaca que a matria das criaturas vivas necessria para
a constituio de experincias. Propomos um olhar mais atento
sobre este assunto. Que propriedades da matria viva seriam essenciais para caracterizar a experincia?
256
MIOLO - Computacao.pmd
256
20/6/2007, 09:43
257
MIOLO - Computacao.pmd
257
20/6/2007, 09:43
258
MIOLO - Computacao.pmd
258
20/6/2007, 09:43
Nouvelle IA
soluo de problemas
Homeostase
algoritmos
auto-organizao
qualquer coisa
unidades autopoiticas
259
MIOLO - Computacao.pmd
259
20/6/2007, 09:43
AGRADECIMENTOS
Gostaria de agradecer Raquel Pellizzetti, Mariana Broens, Joo
Queiroz e Eunice Gonzalez pela ajuda no desenvolvimento deste
texto; Fapesp pelo apoio financeiro, UNESP (Campus de Marlia),
por me oferecer condies de trabalho e ao NICI (Nijmegen), por
permitir o desenvolvimento de minhas atividades em So Paulo.
260
MIOLO - Computacao.pmd
260
20/6/2007, 09:43
NOTAS
O rtulo IA, neste contexto, inclui o que Haugeland chama de a
Boa e Velha Inteligncia Artificial ou a Inteligncia Artificial Moda
Antiga (Good Old Fashioned Artificial Intelligence GOFAI: the
symbol rule approach) e formas tradicionais de conexionismo, por
exemplo, as redes feedforward, populares nos anos 80. Esta forma
de IA deve ser diferenciada de trabalhos mais recentes em Robtica
que, muitas vezes, envolvem pesquisas com agentes autnomos.
Entretanto, uma vez que tem sido questionada a autonomia e independncia destes agentes, faremos uso da expresso nouvelle
IA, como rtulo geral para os trabalhos mais recentes em Robtica.
1
Nota dos orgs.: Para Peirce (CP 8.334), o signo, com respeito a
sua prpria constituio, pode ser uma qualidade (qualisigno), um
existente (sinsigno), ou uma lei (legisigno). Um qualisigno uma
qualidade que um signo, que funciona como um signo sem qualquer referncia a qualquer outra coisa.
4
REFERNCIAS
EMMECHE, C. 2001. Does a robot have an Umwelt? Reflections on
the qualitative biosemiotics of Jakob von Uexkll. Semiotica 134
(1): 653-693.
BRAITENBERG, V. 1984. Vehicles: Experiments in synthetic
psychology. MIT Press.
CLARK, A. 2001. Mindware: an introduction to the philosophy of
cognitive science. Oxford University Press.
CLIFF, D.; MILLER, G. 1996. Co-evolution of pursuit and evasion II:
Simulation methods and results. Em: P. Maes, M. Mataric, J.A.
Meyer, J. Pollack & S. Wilson (eds). From animals to animats 4:
Proceedings of the fourth international conference on simulation of
261
MIOLO - Computacao.pmd
261
20/6/2007, 09:43
262
MIOLO - Computacao.pmd
262
20/6/2007, 09:43
263
MIOLO - Computacao.pmd
263
20/6/2007, 09:43
MIOLO - Computacao.pmd
264
20/6/2007, 09:43
CAPTULO 11
ENGENHARIA IMUNOLGICA E COGNIO: DA NATUREZA
SOLUO DE PROBLEMAS DE ENGENHARIA
Leandro Nunes de Castro,Janana Stella de Sousa, George
Barreto Bezerra
INTRODUO
Computao natural o termo usado para descrever sistemas
computacionais desenvolvidos com inspirao em fenmenos naturais, ou sistemas que usam a natureza como meio para realizar
computao (de Castro 2006). Por exemplo, redes neurais artificiais, algoritmos evolutivos, algoritmos de inteligncia coletiva (swarm
intelligence) e, mais recentemente, sistemas imunolgicos artificiais so todos sistemas inspirados na biologia, um dos ramos da
computao natural. Outro ramo a biologia motivada pela computao, composta principalmente pela vida artificial e geometria
computacional. Finalmente, biocomputao, como, por exemplo,
computao molecular, constitui o terceiro ramo da computao
natural.
265
MIOLO - Computacao.pmd
265
20/6/2007, 09:43
ENGENHARIA IMUNOLGICA
Os sistemas imunolgicos artificiais (SIA) compem uma nova abordagem da inteligncia computacional inspirada nas teorias da
imunologia, seus princpios e modelos, com aplicaes na soluo
de problemas. Como toda nova abordagem (e.g. 'inteligncia coletiva'; Bonabeau et al. 1999, Kennedy et al. 2001), os sistemas
imunolgicos artificiais ainda necessitam de uma descrio mais
formal e de melhor fundamentao terica. Entretanto, novas perspectivas j foram apresentadas em um livro recentemente publicado (de Castro & Timmis 2002). Este livro, Artificial Immune Systems:
A New Computational Intelligence Approach, cobre variados tpicos e domnios, da biologia computao. H captulos dedicados a
imunologia, neurocincia, e endocrinologia, sempre com uma viso
sobre como tais sistemas so importantes para o desenvolvimento
de ferramentas computacionais visando a soluo de problemas
complexos. O livro tambm oferece uma pesquisa da literatura em
SIA e em sistemas hbridos dos SIA com outras tcnicas, tais como
redes neurais artificiais, sistemas nebulosos, algoritmos evolutivos
e outros. O captulo 2 do livro faz uma reviso do sistema imunolgico
biolgico dos vertebrados e o captulo 3 introduz o processo de
engenharia imunolgica. O termo engenharia imunolgica foi criado
por Leandro N. de Castro e Fernando J. von Zuben, tendo sido
formalizado em uma tese de doutorado (de Castro 2001). Ele se
refere a
um processo de meta-sntese, que vai definir a ferramenta de
soluo de um determinado problema baseado nas caracte-
266
MIOLO - Computacao.pmd
266
20/6/2007, 09:43
rsticas do prprio problema, e depois vai aplic-la na obteno da soluo. Ao invs de buscar a reconstruo parcial ou
total do sistema imunolgico to fielmente quanto possvel,
a engenharia imunolgica deve procurar desenvolver e
implementar modelos pragmticos inspirados no sistema
imunolgico que preservem algumas de suas propriedades
essenciais e que se mostrem passveis de implementao
computacional e eficazes no desenvolvimento de ferramentas de engenharia (de Castro 2001: 44).
Alguns termos foram destacados (itlico) porque propem importantes conceitos e idias. Primeiro, o conceito de meta-sntese, que
se refere ao processo no qual um sistema tem a capacidade de adaptar-se em busca da soluo de um problema baseando-se em suas
interaes com o prprio problema (ambiente). Este conceito foi inicialmente proposto no sentido de usar as propriedades do sistema
imunolgico para desenvolver uma nova tcnica construtiva, que inclusse etapas de poda, para o projeto de redes neural artificiais.
O sistema imunolgico tem grande potencial para gerar um repertrio de clulas e molculas capazes de combater elementos invasores causadores de doenas, conhecidos como patgenos (e.g. vrus,
bactrias e fungos). Atravs da modificao da estrutura dos receptores das clulas imunolgicas, e do aumento da concentrao de
determinadas clulas e molculas no sangue e na linfa, o sistema
imunolgico pode tambm se tornar cada vez mais eficiente em
reconhecer e destruir patgenos. Esse sistema ento inerentemente capaz de definir sua prpria arquitetura e ajustar seus 'parmetros'
de tal forma a lidar com os invasores. Historicamente, o que se
esperava quando se props a engenharia imunolgica era que, atravs do estudo de como o sistema imunolgico combatia os patgenos,
poderamos usar princpios e processos para projetar novos tipos de
algoritmos de aprendizagem para redes neurais artificiais.
Outra questo importante levantada pela definio da engenharia
imunolgica refere-se a criao de modelos precisos. Sob uma perspectiva de engenharia, importante considerar quo preciso um
modelo precisa ser em relao sua utilidade como tcnica para
solucionar problemas. A aplicao da anlise matemtica e da modelagem pode resultar em alguns benefcios como uma descrio
quantitativa de como o sistema imunolgico funciona, uma anlise
mais crtica das hipteses, pode ajudar na predio de comportamentos, no desenvolvimento de experimentos, interpretao de
fenmenos, e assim por diante. Note que o objetivo desses modelos consideravelmente diferente daqueles para os quais se proje-
267
MIOLO - Computacao.pmd
267
20/6/2007, 09:43
268
MIOLO - Computacao.pmd
268
20/6/2007, 09:43
269
MIOLO - Computacao.pmd
269
20/6/2007, 09:43
270
MIOLO - Computacao.pmd
270
20/6/2007, 09:43
Dove
Hen
Duck
Goose
Owl
Hawk
Eagle
Fox
Dog
Wolf
Cat
Tiger
Lion
Horse
Zebra
Cow
Pequeno
Mdio
Grande
1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1
Possui
Duas pernas
Quatro pernas
Plos
Cascos
Crina/Juba
Penas
1
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
1
0
0
1
1
0
0
0
0
1
1
0
0
0
0
1
1
0
1
0
0
1
1
1
1
0
0
1
1
1
1
0
0
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
0
0
1
0
0
1
1
0
0
1
0
0
0
1
1
0
0
1
1
0
0
0
1
0
0
0
1
0
0
0
0
0
0
Gosta de Caar
Correr
Voar
Nadar
(a)
(b)
Figura 2: A ABNET (rede de anticorpo) quando aplicada ao conjunto de dados
'Animals'. (a) Conjunto de dados de animais. (b) Uma das cadeias geradas pelo
algoritmo inspirado na teoria da seleo clonal de respostas de anticorpo.
271
MIOLO - Computacao.pmd
271
20/6/2007, 09:43
272
MIOLO - Computacao.pmd
272
20/6/2007, 09:43
273
MIOLO - Computacao.pmd
273
20/6/2007, 09:43
Com algumas modificaes, esse algoritmo foi adaptado para realizar buscas multi-modais, e, como esperado, se mostrou muito eficiente em determinar e manter mltiplos timos da regio de afinidade (fitness). Em contraste, algoritmos evolutivos padres requerem o uso de esquemas de restrio no cruzamento dos indivduos,
compartilhamento de fitness, mecanismos de aglomerao e outros
processos para conseguir cobrir os mltiplos timos da superfcie de
fitness. A Figura 3 ilustra o comportamento tpico do CLONALG quando
aplicado otimizao de funes multi-modais contnuas.
274
MIOLO - Computacao.pmd
274
20/6/2007, 09:43
275
MIOLO - Computacao.pmd
275
20/6/2007, 09:43
Insero
Morte dos
elementos
estimulados
da rede
276
MIOLO - Computacao.pmd
276
20/6/2007, 09:43
277
MIOLO - Computacao.pmd
277
20/6/2007, 09:43
(a)
(b)
Figura 5: Um modelo de rede imunolgica artificial aplicada para definir os centros das funes de bases radiais da rede neural (a), e o resultado da otimizao
de uma funo multi-modal (b).
278
MIOLO - Computacao.pmd
278
20/6/2007, 09:43
279
MIOLO - Computacao.pmd
279
20/6/2007, 09:43
280
MIOLO - Computacao.pmd
280
20/6/2007, 09:43
281
MIOLO - Computacao.pmd
281
20/6/2007, 09:43
DISCUSSO
Esse texto apresentou uma viso da engenharia imunolgica, um
termo concebido por Leandro N. de Castro e Fernando Von Zuben.
Foi apresentada uma discusso sobre o que engenharia imunolgica
e como ela pode ser utilizada para projetar sistemas imunolgicos
artificiais. Alguns resultados das ferramentas aqui apresentadas foram
includos apenas para ilustrao.
Espera-se que o leitor tenha notado como pode-se extrair idias e
princpios de um sistema natural, com o objetivo de desenvolver
ferramentas de engenharia para solucionar problemas. Um importante conceito discutido foi o de meta-sntese, processo no qual
um sistema capaz de adaptar-se em busca da soluo de um
problema baseado em suas prprias interaes com o problema e
nas interaes dos elementos do prprio sistema. No s os
parmetros do sistema so ajustados, mas tambm sua arquitetura. H um mecanismo duplamente plstico incorporado na idia de
meta-sntese.
AGRADECIMENTOS
Os autores agradecem ao CNPq e a Fapesp pelo apoio financeiro.
REFERNCIAS
BONABEAU, E.; DORIGO, M.; THRAULAZ, G. 1999. Swarm
Intelligence from Natural to Artificial Systems. Oxford Unviersity
Press.
DE CASTRO, L. N. 2006. Fundamentals of Natural Computing: Basic
Concepts, Algorithms, and Applications. CRC Press LLC.
DE CASTRO, L. N. & Timmis, J. I. 2002. Artificial Immune Systems:
A New Computational Intelligence Approach. Springer-Verlag.
DE CASTRO, L. N.; VON ZUBEN, F. J. 2000. The Clonal Selection
Algorithm with Engineering Applications, Proc. of GECCO'00
(Workshop Proceedings), pp. 36-37.
DE CASTRO, L. N.; VON ZUBEN, F. J. 2001a. aiNet: An Artificial
Immune Network for Data Analysis. Em: Data Mining: A Heuristic
282
MIOLO - Computacao.pmd
282
20/6/2007, 09:43
283
MIOLO - Computacao.pmd
283
20/6/2007, 09:43
284
MIOLO - Computacao.pmd
284
20/6/2007, 09:43
MIOLO - Computacao.pmd
285
20/6/2007, 09:43
COLOFO
17 x 24 cm
Arial
Arial Black
Trebuchet MS
Alcalino 75g/m2 (Miolo)
Carto Supremo 250g/m2 (Capa)
Setor de Reprografia da EDUFBA
ESB Servios Grficos
500
MIOLO - Computacao.pmd
286
Formato
Tipografia
Papel
Impresso
Capa e Acabamento
Tiragem
20/6/2007, 09:43