101

Millenium

A Filosofia da Cincia e a Sua Extenso Engenharia

E. R. DE ARANTES E OLIVEIRA
Instituto Superior Tcnico - Lisboa

1. Introduo
A Escola de Viena da Filosofia da Cincia, que se desenvolveu nas primeiras
dcadas do sculo XX, tinha uma viso ambiciosa da Cincia. Acreditava,
nomeadamente, que seria possvel formular normas gerais para o processo cientfico,
analisar a estrutura lgica dos conhecimentos cientficos, e mostrar que a Cincia serve
o objectivo racional de adquirir um conhecimento global e fivel do Universo.
Os filsofos da Escola de Viena, que representaram em grande parte a corrente
neo-positivista da Filosofia da Cincia, defendiam o chamado verificacionismo,
segundo o qual as proposies das cincias empricas s tm sentido se forem
verificveis por observaes de carcter experimental. De acordo com os
neo-positivistas, as construes tericas susceptveis de tornar possvel explicar e
prever, s seriam vlidas se fossem apoiadas num procedimento hipottico-dedutivo
resultante de uma combinao de induo e deduo.
O chamado Manifesto da Escola de Viena (1929) apresentou uma viso da
Cincia segundo a qual esta, vista atravs das lentes da anlise lgica (que se servia
da logstica) e modelada pela Fsica, poderia constituir uma base para a unidade do
conhecimento. Segundo os seus signatrios, uma tal viso utpica da Cincia levaria a
uma

concepo

do

Mundo

totalmente

livre

de

preconceitos,

aberta

inter-subjectividade, conceito que, na sua ptica, substituiria o da objectividade, que

lhes parecia carregado de metafsica.
A concepo neo-positivista da Cincia, inspirada pela Fsica, negligenciava as
outras cincias, nomeadamente as cincias sociais. Tambm o universo da Engenharia,
parte integrante de uma realidade que as cincias em geral, e no exclusivamente a

102

Millenium
Lgica, a Matemtica e a Fsica, so chamadas a teorizar, ultrapassava o estreito mundo
das concepes neo-positivistas.
Como diria Henry Petroski em 1994, one can go so far as to say that the
ever-evolving world of human-designed artefacts can always be expected to hold
challenges for the engineering scientist no less than does the natural universe hold
challenges for the natural and physic scientist.

2. O Ps-Positivismo de Popper
Karl Popper foi o mais importante filsofo da Cincia no sculo XX. Pode
dizer-se que foi ele quem resolveu o problema do mtodo cientfico que, na prtica,
nunca se conformara com os princpios que Francis Bacon enunciara j nos fins do
sculo XVI.
Segundo Popper, o conhecimento cientfico no descoberto e verificado por via
das generalizaes indutivas, isto , no salta dos instrumentos cientficos de medida
para espritos humanos completamente vazios. Pelo contrrio, o avano da Cincia
faz-se por falsificaes dedutivas, seguindo um processo de conjecturas e refutaes.
A experincia e a observao permitem ensaiar teorias, mas so incapazes de as
produzir. a imaginao e a criatividade, no a induo, que geram verdadeiras teorias
cientficas. Foi assim possvel que Einstein estudasse o Universo sem mais aparelhos
que lpis e pedaos de giz.
Em 1934, Popper publicou a sua obra mais famosa : The Logic of Scientific
Discovery. Advogando o mtodo das conjecturas e refutaes em vez do mtodo
indutivo, deu um golpe mortal no ps-positivismo. A partir da publicao dessa obra, o
mtodo indutivo, para o qual nunca tinha sido encontrado fundamento satisfatrio, foi
substitudo pelo que Popper chamou o deductive method of testing.

103

Millenium
Segundo Popper, o passo inicial no avano da Cincia consiste na formulao
das teorias, que so seguidamente cotejadas com as proposies e previses decorrentes
que delas decorrem, e com os resultados das suas aplicaes, ou de experincias
especialmente concebidas para tentar falsific-las. Se o resultado da comparao for
negativo, isto , se as consequncias da teoria puderem ser falsificadas (ou seja,
refutadas empiricamente), dir-se- que a teoria da qual elas foram logicamente
deduzidas foi tambm falsificada. Por outras palavras, a actividade do experimentador
deve ter por objectivo falsificar, a todo o transe, a teoria; no verific-la, como
pretendiam os ps-positivistas.
Enquanto a teoria resistir s sucessivas experincias sistematicamente concebidas
para tentar falsific-la, e no for substituda por outra teoria no decurso do progresso
cientfico, pode afirmar-se que se encontra corroborada.
Diria Kruger em 1973: Na filosofia da Cincia de Popper, a ideia de construir
teorias a partir de factos observados foi substituda por uma concepo anti-indutivista
radical, de acordo com a qual a actividade cientfica parte de problemas e teorias, e
no de observaes. E ainda: A nica relao aceitvel entre teoria e experincia a
deduo, a partir da teoria, de proposies decidveis pela observao (observationally
decidable statements).
S podem pois ser cientficas proposies susceptveis de ser falsificadas, isto ,
empiricamente refutveis.
O modus tollens1, nico tipo de inferncia que vai do singular para o universal,
dispensa a induo. pois, para Popper, o nico admissvel.
Vejam-se agora, luz da filosofia de Popper, algumas teorias usadas na
Engenharia e muito especialmente na Engenharia das Estruturas, especialidade do
autor.

Modus tollens : Se p for dedutvel de t , e se p for falso, ento t tambm falso.

104

Millenium
Antes, recorde-se a revoluo desencadeada em finais do sculo XVIII, na
Engenharia das Estruturas, pelo uso de modelos matemticos baseados nas equaes da
Mecnica. Essa revoluo desenvolveu de modo impressionante a capacidade de prever
o comportamento das estruturas e de interpretar os resultados fornecidos pela
experincia.
sabido que o que se passou na Engenharia das Estruturas passou-se tambm
noutras reas cientficas. Por exemplo: vrias culturas descobriram regularidades no
movimento dos astros que tornaram possvel, por exemplo, prever os eclipses. Porm,
s se tornou possvel fazer previses menos triviais, como a da existncia de planetas
nunca antes observados, depois de tais regularidades poderem ser entendidas luz das
leis de Newton. O exemplo clssico o da descoberta de Neptuno pelo astrnomo
Leverrier.
Ao contrrio dos modelos fsicos, que s permitem medir as grandezas fsicas, os
modelos matemticos permitem calcul-las.
Durante o sculo XIX, os modelos matemticos da Engenharia das Estruturas
progrediram ao longo de duas vias distintas: a da teoria da elasticidade e a da
resistncia dos materiais. A primeira mais geral e precisa, mas as suas equaes s
podiam ser resolvidas em casos muito especiais. S o advento dos computadores e de
poderosas tcnicas de anlise, como o mtodo dos elementos finitos, permitiram resolver
com a necessria generalidade as equaes da teoria da elasticidade.
Mais do que isso: reforaram poderosamente a capacidade de experimentao
numrica, pondo nas mos dos cientistas um instrumento que, ao ampliar a sua
capacidade de falsificao das teorias cientficas, no poderia deixar de ter importantes
consequncias para a evoluo da Cincia e da Tecnologia.

105

Millenium
3. Macro e Micro-Teorias
Desde a poca de Newton at tempos relativamente recentes, muitos cientistas da
Natureza consideraram o ponto de massa a entidade fundamental da Mecnica. Segundo
eles, a matria era composta de partculas obedecendo s leis da mecnica de Newton.
Consequentemente, o comportamento global de um corpo devia poder ser previsto a
partir do conhecimento das foras que se exerciam entre as partculas que o constituam.
A chamada mecnica dos meios contnuos parecia-lhes uma teoria secundria,
uma espcie de parente pobre dentro da Mecnica.
Os engenheiros estruturais modernos recorrem no entanto a modelos
matemticos que supem a continuidade da matria.
O postulado da continuidade, que se tem revelado adequado e fecundo para os
engenheiros civis e mecnicos, evidentemente rejeitado pelos fsicos, qumicos e pelos
cientistas de materiais, que olham o corpo como um sistema de partculas cujo
comportamento no obedece necessariamente s leis da Mecnica Clssica.
Uma controvrsia famosa na histria da mecnica dos meios contnuos
desencadeou-se a propsito do estabelecimento das relaes tenses-deformaes, isto
, das equaes constitutivas da teoria da elasticidade.
Duas vias foram de facto seguidas que levaram sucessivamente :
- a equaes constitutivas baseadas nas hipteses de Boskovich (teoria
micro) ;
- a equaes constitutivas baseadas em consideraes de ordem energtica
(teoria macro).
A primeira via deu origem que se tornou conhecida como a teoria
rariconstante de Cauchy, em que as equaes constitutivas apresentam 15 constantes
independentes. Para corpos istropos, o chamado coeficiente de Poisson seria

106

Millenium
forosamente igual a 0,25, o que, em princpio, sendo contrrio experincia, implica a
falsificao da teoria.
J a segunda via, que conduziu chamada teoria multiconstante, implicava 21
constantes e, no caso dos corpos istropos, 2 constantes independentes, podendo o
coeficiente de Poisson tomar qualquer valor entre 1 e 0,5.
Os progressos dos conhecimentos sobre a constituio da matria levaram porm
concluso de que as hipteses de Boskovich pecavam sobretudo pela ingenuidade:
consideraes do mesmo tipo baseadas em hipteses mais realistas podem levar ao
mesmo nmero de constantes que as consideraes de ordem energtica.
No pois a experincia que permite decidir a favor das teorias micro ou macro.
O que se passa no caso das teorias micro e macro exemplo do que se passa com
outras teorias, e ilustra dificuldades que tm aparecido na aplicao das ideias de
Popper.
Segundo o filsofo hngaro Imre Lakatos, as hipteses de base de uma teoria
cindem-se em dois grupos : o ncleo duro (hard core) e a cintura de proteco
(protective belt). Para quem tiver lido The Logic of Scientific Revolutions, de Kuhn,
os ncleos duros correspondem aos paradigmas, e as cinturas de proteco ao que Kuhn
chama a cincia normal ( normal science).
A cintura de proteco consta de um conjunto de condies iniciais e de
hipteses auxiliares que protegem o ncleo duro. Este tornado irrefutvel por um fiat
metodolgico. E isto por uma razo : a de que o ncleo duro uma parte da teoria que
se desenvolveu muito lentamente, por tentativas e, como escreveu Lakatos, servindo-se
de uma imagem inspirada pela mitologia clssica, no nasceu j revestido de armadura,
como Palas Ateneia da cabea de Zeus. As hipteses que o constituem so muito gerais
e profundas e tm em geral a seu favor o terem-se revelado extremamente fecundas.

107

Millenium
Voltando teoria rariscontante, pode dizer-se que as hipteses de Boskovich
constituem a cintura de proteco da teoria de Cauchy. Uma vez substituidas por outras
mais adequadas, a teoria pde ser salva e escapar falsificao.
Do mesmo modo, a descoberta de anomalias na rbita de Urano s no levou
falsificao da Mecnica Clssica porque esta estava protegida por uma hiptese
auxiliar, a de que no havia mais que seis planetas no Sistema Solar, a qual constitua a
sua cintura de proteco. Quando Leverrier admitiu a existncia de um stimo planeta,
a que chamou Neptuno, a Mecnica Clssica salvou-se. S viria a ser falsificada quando
se concluiu que era incapaz de explicar o avano do perilio de Mercrio.
Os actuais engenheiros civis e mecnicos no parecem preocupar-se com a
estrutura da matria : no s trabalham com macro-conceitos, como os de tenso e de
deformao, como exprimem os critrios de resistncia em termos das componentes do
tensor das tenses.
importante assinalar que, no que se refere aos critrios de resistncia, a
experincia parece dar razo a critrios como o de von Mises, que resulta de
consideraes de continuidade um conceito de ordem macroscpica e no a critrios
como o de Tresca, fisicamente mais intuitivos, mas que pressupem descontinuidades
nas leis naturais que regem o comportamento dos corpos.
Observe-se que o postulado da continuidade no exige pr completamente de
lado consideraes sobre a estrutura da matria. A mecnica dos meios contnuos
generalizados foi desenvolvida, a partir dos Cosserat, justamente para tomar em linha
de conta a estrutura interna dos materiais. No entanto, a mecnica dos meios contnuos
generalizados no pretende encontrar uma explicao microscpica para esse
comportamento.
Uma abordagem mais intuitiva consiste em representar simbolicamente o
comportamento dos corpos por modelos mecnicos muito simples, ditos modelos
reolgicos, tais como molas, amortecedores viscosos e blocos que escorregam com

108

Millenium
atrito sobre superfcies rugosas, o comportamento dos materiais respectivamente
elsticos (corpo de Hooke), viscosos (corpo de Newton), ou plsticos.
Combinando vrios destes modelos simples, torna-se possvel simular
comportamentos muito complexos. Os modelos reolgicos sugerem, por outro lado,
como devem ser combinadas as equaes que regem o comportamento dos corpos mais
simples para estabelecer os modelos matemticos mais complexos. Podem sugerir
tambm decomposies fictcias desses corpos complexos em corpos mais simples para
efeitos de anlise matemtica. Ver-se- adiante que decomposies destas serviram de
base a anlises de convergncia em sistemas de elementos finitos.
Porm, tambm os modelos reolgicos nada tm a ver porm com micro-teorias :
tudo se passa no quadro tipicamente macroscpico da mecnica dos meios contnuos.

4. A Teoria das Estruturas e a Sua Reformulao

Poucas teorias das Cincias da Engenharia progrediram tanto, na segunda
metade do sculo XX, como a teoria das estruturas.
Esta deixou de ser uma simples coleco de mtodos de anlise e passou a
constituir um sistema de modelos anlogos uns aos outros, e ordenados
hierarquicamente, no sentido de que so gerados, uns a partir dos outros, recorrendo a
regras justificadas por teoremas de convergncia.
Por outras palavras, os modelos gerados a partir de um modelo gerador so
falsificveis pela sua capacidade de gerar sucesses de solues susceptveis de
convergir para as solues fornecidas pelo referido modelo gerador. Tal como nos
clssicos mtodos de soluo por sries, os critrios de convergncia so essenciais
para legitimarem o recurso a esses modelos.

109

Millenium
De acordo com o seguinte esquema, o modelo tridimensional o modelo que
gera todos os outros :
MODELO TRIDIMENSIONAL
MODELOS BIDIMENSIONAIS
TEORIA DAS CASCAS - MEMBRANAS
T. DAS CHAPAS (SISTEMAS PLANOS)
T. DAS LAJES (SIST. ANTI-PLANOS)
MODELOS UNIDIMENSIONAIS
TEORIA DAS BARRAS CABOS
RESISTNCIA de MATERIAIS (teoria tcnica)
MODELOS DISCRETOS
SISTEMAS DE ELEMENTOS FINITOS
SISTEMAS DE ELEMENTOS DISCRETOS, etc.
MODELOS SEM MALHA ( meshless methods).
O papel da convergncia bem conhecido no caso dos modelos discretos, mas
no tanto no caso dos modelos contnuos bi- ou unidimensionais.
Para a construo destes ltimos, duas vias so possveis: a via directa, sem
referncia s equaes do modelo tridimensional, e a via indirecta, a partir das equaes
deste, nele introduzindo as aproximaes consideradas adequadas. Muitas investigaes
de carcter matemtico tm tido por objecto melhorar e controlar tais aproximaes.
Os matemticos tm naturalmente tendncia para porem de lado os mtodos
energticos porque, no passado, foram apresentados praticamente como mtodos
directos, suspeitos de no permitirem investigar as relaes com o modelo
tridimensional.

110

Millenium
Na viso sinttica fornecida pela moderna teoria das estruturas, a teoria das
cascas e a teoria das barras aparecem como geradas a partir da teoria tridimensional, e
os teoremas de convergncia so utilizados na sua corroborao. Tudo se enquadra pois
nas concepes de Popper.
importante mencionar que as anlises de convergncia so facilitadas pela
existncia de teoremas de mnimo, tais como o da energia potencial total e da energia
complementar total, no caso dos corpos elsticos, e o da taxa de variao mnima da
energia de deformao, no caso dos corpos viscosos.
Para casos mais complexos, como o do escoamento de fluidos viscosos, regidos
pelas equaes de Navier-Stokes, existe a possibilidade, j atrs mencionada a propsito
dos modelos reolgicos, de os decompor em corpos mais simples cujo comportamento
seja regido por teoremas de mnimo. Da o interesse da considerao dos modelos
reolgicos na anlise de convergncia.

5. Popper e a Metodologia do Projecto Tecnolgico

At que ponto teriam as ideias de Popper sido influenciadas pela metodologia do
projecto tecnolgico ?
Segundo Popper, o cientista parte de teorias pr-concebidas cujas consequncias
empricas aprecia por meio de ensaios experimentais. Assim se inicia um processo
iterativo de falsificaes e rejeies.
O projecto tecnolgico resulta de um processo conceptual que inclui o
pr-dimensionamento das vrias partes do artefacto a projectar. Inicia-se ento um
processo iterativo que antecipa os possveis cenrios de colapso (falsificaes),
verificando o projecto/modelo relativamente a esses, e introduzindo nele as
modificaes que se afigurem necessrias (rejeies).

111

Millenium
Falsificaes e rejeies so assim tpicas de ambos os processos. No entanto:
- o projecto um modelo terico, isto , um sistema logicamente possvel;
- o sistema denominado cincia emprica tem por objectivo modelizar o
mundo real.
Por outras palavras :
- o projecto precede o artefacto, do qual, uma vez construdo, se tornar
modelo ou teoria;
- o mundo real precede a teoria cientfica, que, a todo o transe, se tenta
falsificar.
Mas como, de acordo com Popper, s podem ser cientficas as proposies e
teorias susceptveis de ser falsificadas, e as falsificaes resultam da deduo de
proposies decidveis pela observao e resultando exclusivamente de uma teoria, os
modelos

ou

teorias

da

engenharia

devem,

no

possuir

um

carcter

lgico-matemtico, mas incorporar cdigos e regulamentos, e ser falsificveis

relativamente sua inadequao, comprovada pela experincia, para servir objectivos
de natureza, no s quantitativa, mas qualitativa.
Uma concluso a tirar a de que as teorias destinadas a servir as necessidades da
engenharia no podem ser, como sucedia no passado, de carcter exclusivamente
quantitativo, nem mesmo exclusivamente lgico-matemtico, ou fsico.

6. Sobre os Paradigmas de Projecto, Seus xitos e Seus Falhanos

Citando Henry Petroski (1994): O processo do projecto tecnolgico, desde
concepo realizao do artefacto, essencialmente a timeless, placeless and even
humanless activity that succeeds only insofar as it anticipates failure.

112

Millenium
Em 1847, a ponte sobre o Rio Dee, no Reino Unido, ruiu porque a instabilidade
torcional esttica era um modo de colapso ignorado (isto , no levantava problemas de
segurana) no caso de vigas curtas e atarracadas, como as que at ento tinham sido
construidas.
No sculo XX, a instabilidade torcional dinmica mostrou ser um modo de
colapso dominante no caso de vigas muito flexveis e relativamente estreitas, como as
da Ponte de Tacoma, nos Estado Unidos.
Em ambos os casos, tinha-se extrapolado a partir de casos de sucesso, e os
resultados foram desastrosos.
Segundo Petroski, no h garantia de xito quando se projectam coisas novas
exclusivamente com base em xitos do passado. por isso que os programas de
inteligncia artificial, bem como outros apoios ao projecto baseados em computadores
(computer-based design aids), cuja lgica se baseie em xitos passados, tm uma
utilidade muito limitada. Segundo ele, essencial que, tal como preconisou Roebling
(que em 1855 projectou a Ponte de Brooklin), o engenheiro-projectista tenha total
compreenso de como o colapso pode ocorrer, de modo a ser evitado. Roebling
reconheceu lucidamente que, para construir uma estrutura com xito, teria de imaginar
como ela poderia ruir.
Infelizmente, era completamente diferente o estado de esprito dos engenheiros
americanos nos anos que precederam o desastre da Ponte de Tacoma. A julgar pela
escassez da literatura profissional sobre colapsos de estruturas nos primeiros 75 anos
do sculo XX, estava, na melhor das hipteses, fora de moda, e era, na pior das
hipteses, considerado anti-profissional, tratar de maneira demasiadamente explcita
dos falhanos dos engenheiros.
No entanto, como Billington afirmou em 1977, a Histria tem, para os
engenheiros, uma importncia igual da Cincia. E a Histria revela que, quando os
projectos falham, as razes por que falham so essencialmente no-quantitativas, e os

113

Millenium
problemas levantados pelos colapsos respectivos so essencialmente de natureza
no-numrica.
A verificao do projecto relativamente aos modos de colapso supe
evidentemente o recurso anlise, mas, como o autor escreveu num trabalho que
apresentou em 1986, prottipos, idealizaes, modelos, anlise so os sucessivos elos
da cadeia que se apresenta aos engenheiros. O progresso na engenharia exige o
fortalecimento do elo mais fraco. Antes de ter ocorrido a revoluo dos computadores,
esse elo era a anlise. O acento da investigao era pois posto na anlise. Chegou porm
o tempo em que uma exagerada preocupao com o progresso da anlise deixou de ter
sentido. J que os mtodos de anlise so, hoje em dia, suficientemente poderosos para
permitirem prever o comportamento das estruturas, os mais importantes temas de
investigao passaram a estar associados com o progresso nas idealizaes das
estruturas, das aces e dos cenrios de colapso. Para cada tipo de estrutura tero de
considerar-se idealizaes dos cenrios de colapso mais importantes e das aces que os
provocam. A informao sobre tais cenrios pode ser coligida a partir da observao
directa das situaes extremas que por vezes se verificam nos vrios tipos de estruturas.
Pode concluir-se que a automatizao do projecto compreende dois aspectos
principais:
(i)- a

construo

dos

modelos

conceptuais

de

projecto

pr-dimensionamento das suas vrias partes;

(ii)- a antecipao de todos os possveis modos de colapso e a verificao de
tais modelos relativamente a eles.

7. Um Paradigma Metodolgico Global e a Sua Rejeio

Os computadores trouxeram consigo uma possibilidade, a da automatizao do
clculo, que exigiu a modelao dos processos de anlise.

114

Millenium
Ora, durante os anos 50, os conceitos de programa e de biblioteca de programas
definiram um processo de utilizao dos computadores que se revelou perverso para a
prtica da engenharia.
Segundo reconheceu Charles Miller, na altura (1964) presidente do
Departamento de Engenharia Civil do MIT: Torna-se evidente que as bibliotecas de
programas podem tornar-se obstculos reais ao progresso tcnico e tecnolgico.
Um tal paradigma global poder-se-ia pois considerar empiricamente refutado, ou
seja, falsificado, no sentido de Popper.
Segundo Miller, um engenheiro essencialmente um decisor, e uma
organizao de engenharia um sistema de informao no qual a informao em bruto
introduzida, reduzida, processada, armazenada e combinada com mais informao.
Estas ltimas tarefas tinham sido at ento atribudas a engenheiros; muitas delas
deveriam passar a ser partilhadas com computadores.
As ideias ps-positivistas de Popper sobre falsificao e rejeio devem pois ser
aplicadas, no a simples teorias ou modelos cientficos, mas a esses e ao corpus de
documentos e rotinas utilizados na organizao.
este corpus que constitui o paradigma tecnolgico da organizao, e ele que
assegura a continuidade da sua eficcia.

8. A Emergncia da Inteligncia Artificial

Na altura em que Charles Miller escrevia o seu artigo, estavam a ser dados os
primeiros passos para tornar possvel modelizar e automatizar todo um conjunto de
processos que at ento tinham dependido inteiramente da interveno humana.
Tratava-se de processos de CAD, ou, mais precisamente, de CAE.

115

Millenium
As contribuies das cincias computacionais e das cincias cognitivas, bem
como as investigaes sobre o processo do projecto tecnolgico permitiram que os
sistemas de CAE atingissem um grau muito elevado de funcionalidade.

Tornou-se assim possvel que estes sistemas passassem a encarregar-se, no s

de rotinas na melhor das hipteses muito demoradas, fatigantes e enfadonhas para os
agentes humanos, mas tambm da resoluo de problemas (problem-solving activities)
sem qualquer interveno dos utilizadores. Foi por este motivo que foram denominados
sistemas inteligentes.
No de surpreender que as cincias cognitivas viessem a desempenhar um
papel muito relevante nas tecnologias da computao. O esprito e o comportamento
humanos so de facto a melhor fonte de inspirao para os engenheiros e, muito
especialmente, para os cientistas da computao.
Na sua obra Artificial Intelligence. A modern Approach (1995), Russell e
Norvig consideraram quatro categorias de definies da Inteligncia Artificial:
- Sistemas que actuam humanamente,
ou o Turing Test approach;
- Sistemas que pensam humanamente,
ou o Cognitive Modelling approach;
- Sistemas que pensam racionalmente,
ou o Laws of Thought approach;
- Sistemas que actuam racionalmente,
ou o Rational Agents approach.
Russell e Norvig manifestam a sua preferncia pela via dos agentes racionais.

116

Millenium
Um agente uma entidade que funciona continuamente e autonomamente num
ambiente de comportamento parcialmente imprevisvel no qual esto normalmente em
curso outros processos.
Autonomia significa que o agente actua sem necessidade de uma constante
interveno humana.
Bento e Feij propuseram uma via hbrida: a tecnologia dos agentes reactivos,
como um paradigma ps-objecto para a construo de Sistemas CAD Inteligentes
(ICAD). Introduziram por outro lado o conceito de suporte activo (active support).
Preferiram, assim, no apresentar uma arquitectura de agentes para um sistema
especfico de CAD, mas um ambiente capaz de suportar a implementao desse tipo de
arquitectura.
Enquanto escrevia este texto, o computador por mim utilizado, actuando de
acordo com o modo como se encontra programado, sublinhava a vermelho as palavras
cuja grafia estava incorrecta e a verde as frases redigidas de forma menos ortodoxa. No
pude o autor deixar de notar que beneficiava da aco de agentes artificiais que lhe
prestavam um apoio activo dos mesmo tipo do que Bento e Feij tinham sugerido para o
projecto tecnolgico.

9. Friendliness e Analogia
Conhecemos, no decurso das nossas vidas, profissionais que tm como ideal
comportar-se como meros agentes artificiais. Muitos desses profissionais conseguiram
tornar-se socialmente bem sucedidos, escondendo a vacuidade dos conceitos sob um
discurso hermtico e irritantemente unfriendly.
Muitas pessoas supostamente responsveis acreditam cegamente neles, tal como
outros acreditam em computadores alimentados com modelos de natureza lgica ou
matemtica que tomam ingenuamente pela realidade.

117

Millenium
Agindo em sentido oposto, os cientistas da computao procuraram tornar-se
friendly. E conseguiram-no, em grande parte, usando, de forma que muitos
consideraram abusiva, palavras como crena, aprendizagem, criatividade, percia e,
evidentemente,

inteligncia,

que

pareciam

atribuir

aos

computadores

dotes

caractersticos dos seres humanos.

O uso dessas palavras explica em grande parte a atraco que a inteligncia
artificial tem tido sobre muitas pessoas no necessariamente membros da comunidade
cientfico-tecnolgica, e as grandes expectativas que criou. Aplicadas aos agentes
artificiais, tais palavras sugerem no entanto que os computadores vo pouco a pouco
tomando o lugar do homem, o que evidentemente disparatado.
Os matemticos j antes tinham feito algo de semelhante. Lembre-se o caso da
Anlise Funcional, na qual se empregam termos retirados da Geometria. Uma tal ideia
revelou-se fecunda, j que tornou possvel usar a intuio geomtrica para ajudar a
reflectir sobre conceitos extremamente subtis e abstractos. Possibilitou nomeadamente,
tirar partido de analogias que a complexidade das situaes torna muitas vezes difcil
descobrir e explorar. Ora, a analogia de facto uma das principais fontes da
criatividade.
Os cientistas da computao podem esperar que algo de semelhante acontea se
usarem as mesmas palavras para descreverem o comportamento das pessoas e das
mquinas.
Os algoritmos genticos, usados na modelao de processos do esprito humano
que tm a ver com a criatividade, e as chamadas tcnicas de computao neuronal, que
tm sido usadas na simulao dos processos de aprendizagem, so exemplos de tcnicas
bem sucedidas que exploram analogias entre o comportamento das mquinas e o
comportamento humano.

118

Millenium
Dois exemplos:
A- A APRENDIZAGEM ARTIFICIAL:
Num seu artigo intitulado Modelling Mechanical Behaviour without
Mechanics, o professor do IST Joo Bento usou redes neuronais computacionais para
resolver o problema inverso da Mecnica Estrutural. Por outras palavras, treinou
computadores para identificarem formas estruturais, partindo de padres de
comportamento que as mquinas tinham aprendido a reconhecer.
B- A CRIATIVIDADE ARTIFICIAL:
Em 1990, John Gero lanou o conceito de projecto criativo, que pode ser
definido como um projecto no-rotineiro que utiliza novas variveis por intermdio das
quais possvel expandir o espao dos projectos possveis ( creative design can be
defined as non-routine design that uses new variables for producing new types and, as a
result, extending or moving the state space of potential designs). Pode pois ser
interpretado como um processo atravs do qual os prottipos so adaptados de modo a
gerar prottipos novos ( creative design can be viewed as a means by which design
prototypes are adapted to produce new design, that is, design prototype generation).
Segundo Gero, combinao, analogia, mutao, e primeiros princpios so os
quatro principais processos computacionais susceptveis de produzir as novas variveis
necessrias ao projecto criativo.

10. Engenharia e Construtivismo

Os problemas levantados pelas cincias sociais e pelo desenvolvimento da
engenharia levou a uma nova escola da filosofia da Cincia inspirada por filsofos
americanos, tais como Patrick Suppes, professor de filosofia na Universidade de
Stanford, Bas van Fraassen, Brian Skyrms, e outros.

119

Millenium
Citando van Fraassen, que rotulou a sua filosofia de empiricismo construtivista,
o objectivo da Cincia no a verdade como tal, mas a adequao emprica, ou seja
relativa aos fenmenos observveis. Trata-se de uma atitude oposta ao realismo
cientfico, segundo o qual uma teoria ou verdadeira ou falsa, e o critrio do xito a
verdade.
O construtivismo desiste assim de uma descrio nica da Cincia. Em vez de
procurar uma imagem monoltica desta, adopta uma atitude pragmtica, segundo a qual
tanto a cincia como a prpria epistemologia so actividades de resoluo de problemas
( problem-solving activities) orientadas para objectivos especficos. A distino
neo-positivista entre a linguagem terica e a linguagem observacional d lugar a uma
imagem da Cincia como uma hierarquia de modelos, desde os modelos empricos, ou
modelos de dados (na terminologia de Suppes) aos modelos matemticos ou teorias
propriamente ditas.
Citando Suppes:
A aplicao de teorias cientficas que realmente funcionem a reas especficas
da Cincia quase sempre esquemtica e de carcter aproximado, quer se trate de
predizer o comportamento de partculas elementares, quer o tempo na meteorologia,
quer o comrcio internacional, quer outro qualquer fenmeno suficientemente
complexo. S podemos esperar abarcar uma parte restrita do fenmeno. Diz-se muitas
vezes que o papel da experimentao isolar fragmentos particulares da experincia que
possam ser tratados de modo to completo quanto possvel. Trata-se, a meu ver, mais
de um dogma de filsofos que nunca se envolveram verdadeiramente na
experimentao, do que de um ponto de vista de cientista experimental. O que me tem
impressionado ao envolver-me num trabalho experimental, o facto de constatar quanto
a minha viso esquemtica das coisas se aplica tambm ao trabalho experimental.
Trata-se de abstrair e simplificar um aspecto concreto, e depois outro, e outro ainda, at
que os dados possam ajustar-se ao limitado conjunto de conceitos da teoria que pretendo
ensaiar.

120

Millenium
Ainda citando Suppes:
Uma concepo da Cincia habitualmente adoptada pelos filsofos a de que
ela constitui uma aproximao cada vez mais prxima de um conjunto de verdades
eternas e universais.

Esta concepo da Cincia vem de Plato e Aristteles e

continuou por Descartes, Kant, e filsofos mais recentes. Foi adoptada igualmente por
muitos cientistas. O meu modo de ver (o dele, Suppes) o de que filsofos como
Pierce, Dewey, e os discpulos destes, estiveram muito mais prximos de ter razo.
De facto, a actividade cientfica um perptuo problem solving. Nenhuma rea
cientfica pode ser completamente apreendida atravs de um esquema de verdades
eternas; o que de facto acontece que somos constantemente confrontados com novas
situaes e novos problemas, e que trazemos para a resoluo desses problemas um pot
pourri de variada tcnicas, conceitos e mtodos cientficos.
Tudo se passa pois como se o cientista, com a sua panplia de instrumentos
cientficos, encarasse a Natureza como um pintor com a sua paleta. Tal como o artista, o
cientista obrigado a sacrificar e a simplificar, mantendo porm o que considera ser o
essencial. Mas o que o essencial? Trata-se de uma questo que importante para o
artista, mas tambm o para o engenheiro, para o cientista das cincias sociais, e para
todos os que exeram uma actividade de resoluo de problemas, na qual a sntese e a
anlise se concentrem no espao e no tempo, e ponham a um nico homem, ou a uma
equipa fortemente coordenada, o problema da deciso sobre o que deve ser retido e o
que deve ser desprezado.
este o tipo de realidade encarado pelos cientistas aplicados, diferente do que se
pe aos cientistas puros que, juntamente com muitos outros, espalhados no espao e no
tempo, cooperam na construo de modelos extremamente amplos. A evoluo desses
modelos necessariamente lenta, j que s raramente ocorrem as revolues cientficas
cujo padro Thomas Kuhn analisou na sua famosa obra intitulada The Logic of
Scientific Revolutions.

121

Millenium
Observe-se que o trabalho de numerosos cientistas espalhados no espao e no
tempo, e fracamente coordenados, no desconhecido em Arte. Lembrem-se, por
exemplo, as grandes criaes urbansticas para que cada gerao d a sua contribuio,
retocando, completando e ampliando o trabalho das que a precederam. A Matemtica, a
Fsica, a Qumica, a Biologia, cresceram dessa forma: como cidades.
Voltando a Suppes:
A Cincia transforma-se numa actividade de construo de modelos aptos a
fornecer uma descrio adequada dos resultados da experincia, mais do que numa
descoberta de novas teorias. Esses modelos so usados para fazer previses, e
nalguns casos permitem explicar. Explicar passa porm a significar exercer uma
actividade pragmtica que depende da informao disponvel num certo contexto.
Concebida assim, a explicao deixa de ser um objectivo privilegiado da Cincia, para
se tornar numa entre vrias outras operaes que til executar. Uma abordagem
como esta centra-se mais em modelos que em leis. Observa-se que aqueles so menos
gerais e mais flexveis do que estas. Tipicamente dependentes do contexto, so
recheados de elementos de ndole pragmtica, tais como a inteno especfica que
presidiu sua construo e as circunstncias em que so utilizados.
Longe de impedir uma anlise epistemolgica da Cincia, a adopo de modelos
em vez de leis permite uma anlise comparada da estrutura do conhecimento em
diferentes disciplinas. Partindo da pluralidade, este tipo de epistemologia no visa
assim uma unidade pr-establecida da Cincia, mas uma integrao transcultural das
diferentes disciplinas cientficas.
No que se refere engenharia, a hierarquia de modelos mencionada por Suppes
vai desde os modelos empricos (sejam eles fsicos, matemticos ou lgicos), a
regulamentos mais ou menos formais, sistemas de normas tcnicas, diferentes tipos de
cadernos de encargos, e mesmo leis, isto , todos os documentos que, em situaes
concretas, orientam a actividade dos membros de uma organizao de carcter tcnico.
Tal concepo parece pois particularmente adequada Engenharia.
Dezembro de 2000

122

Millenium
Referncias
[1]

ACHINSTEIN, P., 1973, Macrotheories and Microtheories , in Proc. of the

4th Int. Cong. for Logic, Methodology and Philosophy of Science, Suppes,
Henkin, Joja & Moisil (eds.), Bucharest.

[2]

ARANTES e OLIVEIRA, E. R., 1970, The Convergence Theorems and their

Role in the Theory of Structures , Proc. of the IUTAM Symp. on high Speed
Computing of Elastic Structures, Veubeke (ed.), Lige.

[3]

ARANTES e OLIVEIRA, E. R., 1973, Advanced Theory of Structures , CEB

International Course on Structural Concrete, LNEC, Lisbon.

[4]

ARANTES e OLIVEIRA, E. R., 1975, Convergence of Finite Element

Solutions in Viscous Flow Problems , Int. J. Numerical Methods in
Engineering.

[5]

ARANTES e OLIVEIRA, E. R., & PEDRO, J. O., 1986, The Rise and Decline
of Structural Analysis as a Research Topic in Structural Engineering ,
Conference on Recent Advances in Simulation of Complex Systems, Tokyo, July,
15-17th, 1986.

[6]

ARANTES e OLIVEIRA, E. R. & BENTO, J., 1998, The Sense of Progress in

Structural Engineering , in Development of Knowledge-Based Systems for
Engineering, Tasso, C. & Arantes e Oliveira, E. R. (eds.), 1-10, Springer Verlag.

[7]

ARANTES e OLIVEIRA, E. R., 1999, Elementos da Teoria da Elasticidade,

IST Press, Lisboa.

[8]

BENTO, J., 1998, Modelling Mechanical Behaviour without Mechanics , in

Development of Knowledge-Based Systems for Engineering, Tasso, C. & Arantes
e Oliveira, E. R. (eds.), 37-58, Springer Verlag.

[9]

BENTO, J. ; FEIJ, B., 1997, An Agent-based Paradigm for Building

Intelligent CAD Systems , in Artificial Intelligence in Engineering, 11(3),
231-244, Elsevier Applied Science.

[10]

FRAASSEN, B. C. van, 1986, Aim and Structure of Scientific Theories , in

Proc. of the 7th Int. Cong. for Logic, Methodology and Philosophy of Science,
Barban Marcus, Dorn & Weingarter (eds.), Salzburg.

123

Millenium
[11]

GALAVOTTI, M. C., 1999, What makes Science Unique in the Experience of

Mankind? The Specificity of the Scientific Approach , paper presented to the
UNESCO-ICSU World Conference on Science for the Twenty-First Century : a
New Commitment, Budapest, 1999.

[12]

GERO, J., 1990, Design Prototypes: a Knowledge Representation Schema for

Design.

[13]

KRUGER, L., 1973, Falsification, Revolution and Continuity in the

Development of Science , in Proc. of the 4th Int. Cong. for Logic, Methodology
and Philosophy of Science, Suppes, Henkin, Joja & Moisil (eds.), Bucharest.

[14]

KUHN, T. S., 1962, The Structure of Scientific Revolutions, The University of

Chicago Press.

[15]

KUHN, T. S., 1970 a), Logic of Discovery or Psychology of Research , in :

Criticism and the Growth of Knowledge, Proc. of the International Colloquium
on the Philosophy of Science, Vol. 4, pp. 1-21, Lakatos & Musgrave (eds.),
Cambridge University Press.

[16]

KUHN, T.S., 1970 b), Reflections on my Critics , in : Criticism and the

Growth of Knowledge, Proc. of the International Colloquium on the Philosophy
of Science, Vol. 4, pp. 231-278, Lakatos & Musgrave (eds.), Cambridge
University Press.

[17]

LAKATOS, I., 1970, Falsification and the Methodology of Scientific Research

Programmes , Criticism and the Growth of Knowledge, Proc. of the
International Colloquium on the Philosophy of Science, Vol. 4, pp. 91-195,
Lakatos & Musgrave (eds.), Cambridge University Press.

[18]

MILLER, C. L., 1963, Man-Machine Communication in Civil Engineering ,

Proc. ASCE, J. Str. Div., p. 3593.

[19]

MUSGRAVE, A. E., 1973, Falsification and its Critics , in Proc. of the 4th Int.
Cong. for Logic, Methodology and Philosophy of Science, Suppes, Henkin, Joja
& Moisil (eds.), Bucharest.

[20]

PETROSKI, H., 1994, Design Paradigms : Case Histories of Error and

Judgement in Engineering, Cambridge University Press.

124

Millenium
[21]

POPPER, K. R., 1961, The Logic of Scientific Discovery, Science Editions, New
York.

[22]

RUSSELL, S. ; NORVIG, P., 1995, Artificial Intelligence. A Modern Approach,

Prentice Hall.

[23]

SUPPES, P., 1962, Models of Data , in Proc. of the 1st Int. Cong. for Logic,
Methodology and Philosophy of Science, Stanford University Press.

[24]

SUPPES, P., 1993, Models and Methods in the Philosophy of Scienc: Selected
Essays, Kluwer Academic Publishers.