Trans/Form/Ao, So Paulo

6: 45-52, 1 983.
INTELIGNCIA ARTIFICIAL E TEORIA DE
RESOLUO DE PROBLEMAS
Joo de Fernandes TEIXEI RA*
Maria Eunice QUILICI GONZALES*
RESUMO: Este artigo uma tentativa de delinear as principais carcterlsticas da pesquisa numa nova
rea de estudos a chamada Inteligncia Artiicial (AI). Os itens J e 2 constituem um rpido histrico da
AI e seus pressupostos bsicos. O item 3 trata da teoria de resoluo de problemas, desenvolvida por A.
Newell e H Simon. O item 4 procur mostrr a relevncia da AI para a Filosofia, em especial par a Filo
sofia da Mente e par a Teoria do Conhecimento.
UNITERMOS: Inteligncia artiicial; filosofia da mente; mtodos de resoluo de problemas; simu
lao cognitiva.
1. Intrduo
Quando A. Turing no seu artigo "Com
puting Machinery and InteIligence" (1 950)
(1 6) levantou a questo de se possvel pa
ra uma mquina pensar, ele imediatamen
te considerou a necessidade de definir o ter
mo pensar. Diante da complexidade desta
tarefa, Turing props que uma tal questo
fosse substituda por ura outra que lhe pa
recia bastante prxima da questo original .
Essa questo consistia em saber se poss
vel para uma mquina imitar o comporta
mento humano inteligente, com um grau de
perfeio to alto, de tal forma que um j uiz
humano pudesse ser confundido ao ter que
decidir, com base nos resultados das tare
fas real izadas, se tais tarefas foram execu
tadas por um homem ou por uma mqui
na. No mesmo artigo de 1 950, Turing es
boa uma proposta de pesquisa que pare
cia tornar possvel uma resposta afirmati
va a sua ltima questo.
A proposta de Turing reapareceu em
1 961 no artigo de A. Newell e H. Simon -
"The Simulation of Human Thought" (1 0)
- na condio de teste de uma teoria de
resoluo humana de problemas. Esta teo
ria foi elaborada por estes autores para ex
plicar alguns aspectos dos processos men
tais responsveis pelo comportamento hu
mano inteligente. Ela constitui uma amos
tra dos primeiros trabalhos desenvolvidos
por um grupo de pesquisadores que, j un
tamente com Newell e Simon, organizaram
um proj eto de estudos que ficou sendo co
nhecido pelo nome de Proj eto de Simula
o Cognitiva. Tal proj eto enquadra-se em
uma rea de pesquisas mais ampla deno
minada I nteligncia Artificial.
No que se segue pretendemos apresen
tar, de forma bastante simplificada, alguns
tpicos tratados na rea de Inteligncia Ar
tificial que so de interesse para a Filoso
fia e para a Psicologia. De modo a delimi
tar nosso campo de discusso, comeare
mos por fornecer algumas noes bsicas
daquilo que se entende por Inteligncia Ar
tificial . Num segundo momento, apresen-
Departamento de Filosofia - Faculdade de Educao. Cincias Soci ai s e da Documentao - UNESP - 1 7. 50 -
Marlia - SP.
45
TEIXEI RA, 1. de F & QUI LI CI GONZALES, M. E. - Inteligncia Artificial e teoria de resoluo de proble-
mas. Trns/Form/Ao, So Paulo, 6: 45-52, 1 983.
taremos as principais diretrizes do proj eto
original de Newell e Simon que pode ser re
sumido na proposta de simular a atividade
de resoluo humana de problemas atravs
do computador digital. Finalizaremos com
uma amostragem de reflexes recentes acer
ca da I nteligncia Artificial, comentando
algumas questes que a vinculam Filo
sofia, em especial Filosofi a da Mente e
Teoria do Conhecimento.
2. Noes Preliminares de Inteligncia Ar
tiicial
A Inteligncia Arti ficial, no sentido ge
nrico do termo (daqui para frente AI , do
ingls Artificial I ntelligence) uma rea de
estudos ainda no muito bem delimitada
que rene a Cincia da Computao, a Psi
cologia, a Lingstica e a Filosofia. Ela pos
sui duas vertentes principais representadas
pelo Proj eto de Simulao Cognitiva e pe
lo Proj eto de I nteligncia Artificial num
sentido restrito do termo.
A disti no entre os dois proj etos resi
de, aparentemente, no grau de realidade psi
colgica dos modelos elaborados pelos pes
quisadores nos seus respectivos domnios de
estudo. O Proj eto de Simulao Cognitiva
tem como obj eto de estudos o comporta
mento humano. O obj etivo dos seus pesqui
sadores estudar e explicar os processos
mentais humanos responsveis pelo com
portamento inteligente. O estudo desses
processos feito com o auxlio de tcnicas
computacionais que permitem a construo
de modelos, na forma de programas, para
a simulao de segmentos do comporta
mento humano, como por exemplo, a ati
vidade de resoluo de problemas.
No caso do proj eto de I nteligncia Ar
tificial, no sentido restrito do termo, existe
uma preocupao menor por parte dos pes
quisadores, com o grau de real idade psico
lgica dos modelos. Eles esto interessados
numa verso mais abstrata da AI. Para tais
pesquisadores de pouca relevncia a ques
to de se os processos empregados pela m
quina na execuo das tarefas so seme
lhantes ou no queles utilizados pelos se
res humanos.
Em outras palavras, estes ltimos pes
quisadores preocupam-se apenas em imitar
aquilo que a mente pode fazer, deixando de
lado os processos atravs dos quais tais ta
refas so realizadas. A simulao cogniti
va, ao contrrio, tenta i mitar a mente e ob
j etiva simular processos mentais que atuam
no pensamento e na ao humana.
Ainda que existam di ferenas entre as
duas vertentes da AI, comum a todos os
seus pesquisadores a mesma ttica de an
lise dos processos responsveis pelo com
portamento inteligente*. Essa ttica consiste
em elaborar um sistema particular que pos
sa realizar determinada tarefa e considerar,
a seguir, quais aspectos desse sistema se
riam necessrios para que um sistema qual
quer executasse a mesma tarefa. A consi
derao a ser feita tem como pressuposto
a tese de que os macro-processos mani fes
tos no comportamento inteligente podem
ser devidamente explicados reduzindo-os a
mecanismos simples, tomos hipotticos
chamados "Processos Elementares de In
formao". Os sistemas que manipulam tais
processos so conhecidos em AI como Sis
temas de Processamento de Informao
(abreviadamente I PS, do ingls Informa
tion Processing System) .
Uma ilustrao da estrutura geral de
um I PS fornecida por A. Newell, H. Si
mon em seu l i vro Human Problem
Solving* * (vide p. 47).
Este si stema um dispositivo extrema
mente geral de manipulao de smbolos.
Os sinais de smbolos estocados na mem
ria so arranj ados em estruturas atravs de
relaes que possibilitam a elaborao de
listas, com as quais o sistema trabalha .
Por inteligncia entenda-se a "habi l i dade de um si stema para mani pular smbolos ou processos de i nformao, dadas
as e.igncias da tarefa em questo". M. Boden, Artificial lntelligence and Natural Man, (I, p. 17) .
Newel I , A. & Si mon, H. - Human Problem Solving, ( l I , p. 20).
46
TEIXEI RA, J. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Trans/Form/Ao, So Paul o, 6: 45-52, 1 983.
.
;
.
:
6
o
o
' i
6
Receptores
E fetuadores
o processador de informaes um
componente do IPS que executa todo e
qualquer tipo de processo para o qual ele
foi construdo. O processador consiste de:
a -um conj unto fixo de processos elemen
tares de informao,
b -uma memria imediata (short-term) e
c - um intrprete.
Os processos elementares de i nforma
o, por sua vez, so postulados de acordo
com cada sistema particul ar. Eles no so
explicados (isto , no se fornece uma fun
damentao para eles em termos de estru
turas ainda mais elementares), mas devem
ser bem definidos de forma a poderem ser
manipulados por mecani smos conhecidos.
Os principais processos elementares de in
formao disponveis so aqueles que com
param smbolos, efetuam associaes,
lem, copiam e modificam smbolos e es
truturas de smbolos. As estruturas com
postas, isto , as listas, so discrimi nadas
umas das outras comparando-se processos
que aplicam testes bsi cos para identificar
smbolos em determinadas posies nas
estruturas.
Finalmente, a considerao do meio
ambiente de fundamental importncia pa
ra o funcionamento de um si stema de pro
cessamento de informaes. O meio am
biente pode ser entendido como a informa
o disponvel para a realizao de uma ta
refa. Ele atua como base de referncia em
relao qual est voltada a meta do si ste-
f
memria
Processador
de
0-
i nformaes
!

o
'
XO
f
O

ma. Pelo fato de que a delimitao do meio

ambiente depende essencialmente da tare
fa a ser executada, ele conhecido como
meio ambiente de tarefas.
Levando em conta todos estes elemen
tos, os pesquisadores da AI elaboram pro
gramas para a realizao de tarefas. Tai s
programas constituem seqncias hierr
quicas e condicionalmente rami ficadas de
processos elementares de informao. De
modo a executar uma tarefa, o IPS efetua
uma seqnci a de aes na tentativa de
transformar a situao inicial "N' que lhe
fornecida, em uma situao desej ada "B".
A forma em que essa seqncia de "aes"
efetuada pelo programa depende do m
todo de busca estabelecido pelo programa
dor.
A seguir faremos um breve comentrio
dos mtodos de resoluo de problemas es
tudados por Newell, Simon e outros parti
drios do Proj eto de Simulao Cognitiva.
A anlise desses mtodos relevante, no
apenas para o psiclogo, mas tambm pa
ra o fi lsofo da cincia, na medida em que
este admita que o estudo emprico dos m
todos de inferncia usados pelos indivduos
na tentativa de resolver problemas pode
constituir um prel dio til ao estudo dos
mtodos raci onais de resoluo de proble
mas.
47
TEIXEIRA, 1. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Trns/Form/Ao, So Paulo, 6: 45-52, 1 983.
3. A Teoria de Resoluo Humana de Pro
blemas
Com base no estudo do comportamen
to de indivduos que resolvem problemas
formais simples em laboratrio, Newell e
Simon construram alguns programas pa
ra simular aspectos do comportamento in
teligente. A tcnica por eles usada na ela
borao dos programas pode ser resumida
em poucas etapas: a primeira etapa consis
te em gravar as declaraes proferidas por
alguns indivduos que verbalizam seu pen
samento enquanto resolvem os problemas.
A seguir, o terico ensaia algumas hipte
ses acerca dos processos mentais que pos
sivelmente estariam envolvidos na ao em
questo. A partir dessas hipteses ele estru
tura um programa que, em sua opinio, si
mular o relato gravado. Finalmente, aps
processar esse programa no computador di
gital, ele compara o relato do indivduo
com o roteiro da mquina. Se os fluxos de
palavras regi strados no roteiro e no relat
rio forem razoavelmente semelhantes, en
to considera-se que uma explicao para
o comportamento sob estudo foi obtida. Os
pesquisadores do Proj eto de Simulao
Cognitiva admitem, neste caso, que as es
tratgias utilizadas pelo computador so
anlogas quelas empregadas pelo indiv
duo humano. Caso contrrio, o programa
dever ser modificado com base nas discre
pncias encontradas durante o confronto de
palavras. O mesmo procedimento repeti
do at que um aj uste sati sfatrio sej a obti
do e o programa consiga passar pelo teste
de Turing. Ou sej a, at que os fluxos de pa
lavras produzidas pelo computador e pelo
sujeito humano sej am praticamente indis
tingveis para um examinador humano.
As experincias feitas por Newell e Si
mon revelaram que os indivduos emprega
vam, em geral , estratgias comuns durante
a tentativa de resoluo de problemas, as
quais, muitas vezes, conduziam soluo
desej ada. Estas estratgias foram incorpo
radas em vri os programas para a resolu
o de problemas, entre eles o conhecido
"Solucionador Geral de Problemas" GPS
4 8
(General Problem Solver) e o Terico da
Lgica LT (Logic Theori st).
Considerando que temos um problema
quando queremos alguma coisa e no sa
bemos que seqncias de aes executar pa
ra alcanc-la, Newell e Simon estruturaram
o GPS e o LT de forma a capacit-los a bus
car as seqncias adequadas de aes que
poderiam conduzir soluo de problemas.
O LT, por exemplo, foi criado para demons
trar teoremas do Clculo Pro posicional . A
tarefa de descobrir uma prova consi ste em
encontrar uma seqncia de operadores -
as regras do Clculo - que trans forme os
obj etos inicialmente dados (os teoremas do
Clculo) no obj eto-meta, ou sej a, o teore
ma a ser demonstrado. De modo a resol
ver este tipo de problema, o LT divide a ta
refa em outras tarefas que consistem em:
1 ) Aplicar um operador a um obj eto;
2) Reduzir a di ferena entre dois obj etos,
modificando o primeiro dles;
3) Avaliar a diferena existente entre o ob
j eto transformado e a meta a ser atingida.
medida que um operador aplicado
a um obj eto para reduzir as di ferenas
exi stentes entre ele e a meta, novas subme
tas sero geradas, sendo que estas ltimas,
uma vez realizadas, podem conduzir re
soluo do problema original . Este mto
do de resolver um problema subdividindo-o
em problemas mais simples - atravs da
constante comparao entre aquilo que se
dispe e a meta desej ada - chamado
"Mtodo de Anlise de Meios e Fins". Di
ferentemente do mtodo exaustivo de ten
tativa e erro, que sempre conduz a uma so
luo quando ela existe, o Mtodo de An
lise um mtodo falvel . O conj unto de t- '
ticas que ele rene no assegura que a so
luo do problema ser sempre encontra
da. Ele apenas sugere como selecionar a in
formao disponvel no meio ambiente de
tarefas de tal modo que, ao final do pro
cesso, existe grande chance de que o pro
blema sej a resolvido. Este mtodo igual
mente empregado pelo GPS que rene tam
bm outros mtodos, tais como o Mtodo
de Pl anej amento. O Mtodo de Planej a
mento consiste em abstrair os detal hes dos
TEI XEI RA, 1. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Trans/Form/Ao, So Paulo, 6: 45-52, 1 983.
obj etos analisados de modo a reduzir as di
ferenas existentes, no entre os prprios
obj etos, mas entre os obj etos mais abstra
tos dos quais os primeiros so apenas ins
tanciaes.
Atravs do emprego dos Mtodos de
Anl ise, de Planej amento e de outros m
todos, o GPS seleciona a informao rele
vante para a execuo de uma determina
da tarefa sem levar em conta o restante da
informao que, embora disponvel no
meio ambiente, no estej a vinculada me
ta do problema a ser solucionado. Esse pro
grama recebeu o nome de "Solucionador
Geral de Problemas" porque a manipula
o desses mtodos permite resolver di fe
rentes tipos de problemas, sej am eles pro
blemas de xadrez, de Lgica Elementar, etc.
Os autores do GPS e do LT admitem
que a evidncia fornecida pelos vrios ex
perimentos realizados empregando a tcni
ca de simulao suficiente para verificar
a hiptese de que as estratgias utilizadas
pelo computador e pelo suj eito humano so
as mesmas. Com base nesta suposio, e
tendo cl aramente especificadas as estrat
gias utilizadas pelos indivduos, NeweIl e Si
mon desenvolveram a Teoria de Resoluo
Humana de Problemas. Para eles, "as teo
rias explicam o comportamento manifesto
na execuo de uma tarefa medida em que
elas descrevem a manipulao da informa
o num nvel elementar, onde um intrpre
te simples (tal como um computador digi
taI) pode transformar a descrio num pro
cesso efetivo para realizar sua meta". *
As idias de NeweIl e Simon no que diz
respeito a explicao do comportamento
humano inteligente atravs do computador
digital enfrentam vrias dificuldades. Os
prprios autores concordam que elas cons
tituem apenas a etapa inicial de um progra
ma de pesquisa a ser desenvolvido. Ainda
que atualmente grande progresso tenha si
do feito nesta rea, a qual foi subdividida
em vrias subreas de estudo, a importn
cia histrica das idias de NeweIl e Simon
inegvel . Desde sua formulao no arti-
go "The Simulation of Human Thought"
muitas crticas tm sido elaboradas, espe
cialmente por autores tais como H. Drey
fus (3), K. Gunderson (6), J. Haugeland (7)
e outros. Algumas dessas crticas sero
abordadas a seguir. Elas sugerem vrias
questes que permitem aproximar a inves
tigao em I nteligncia Artificial com a in
vestigao empreendida pela Psicologia e
por certos ramos da Filosofia, em especial
a chamada Filosofia da Mente.
4. Flosofia, Epistemologia e Simulao
Cognitiva
Entre as vrias questes formuladas pe
los crticos da AI , encontram-se aquelas le
vantadas por 1. Fodor num artigo de 1 965
intitulado "The Logic of Simulation", pos
teriormente incorporado ao livro Psycolo
gical Explanation(4) ( 1 968). Ao discutir o
Proj eto de Simulao Cognitiva, Fodor su
gere que este tipo de empreendimento en
contra um de seus pontos fracos no fato de
que o comportamento simulado mecanica
mente no o resultado de uma escolha
dentre um repertrio de comportamentos
possveis como ele j ulga ocorrer no caso do
ser humano.
Um segundo problema, tambm assina
lado por Fodor, diz respeito possibilida
de de se afirmar que realmente duplicamos
no apenas os comportamentos manifestos
mas tambm os processos a eles subj acen
tes. Esta afirmao envolve questes com
plexas, dando lugar a um problema pareci
do com o problema da adequao de teo
rias a dados empricos selecionados para
confirm-Ias.
Se estendemos as crticas de Fodor aos
experimentos realizados por Newell e Si
mon e codificados no GPS e no LT, verifi
caremos que eles enfrentam o mesmo tipo
de problemas. Com feito, podemos ime
diatamente questionar se os nossos proces
sos cognitivos subj acentes atividade de re
soluo de problemas so semelhantes s
tticas empregadas por tais programas, tais
como o Mtodo de Anlise de Meios e Fins
Newel l , A. & Si mon, H. - Human Prblem Solving, ( l I , p. 1 1 ).
49
TEIXEIRA, J. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Trns/Form/Ao, So Paulo, 6: 45-52, 1 983.
e o Mtodo de Pl anej amento. Sempre
possvel pensar que podem existir outros ti
pos de tticas para resolver problemas e, em
especial, efetuar demonstraes no dom
nio mesmo do Clculo Proposicional . Hao
Wang (1 7), por exemplo, prope um outro
conj unto de estratgias para solucionar pro
blemas no Clculo Proposicional. O pro
grama montado por Wang no se utiliza de
estratgias heursticas tais como aquelas
propostas por Newell e Simon. As provas
para teoremas do Clculo Profi ssi onal so
obtidas atravs de um mtodo chamado
Mtodo Algortmico. A di ferena consiste
no fato de que o mtodo de Wang se utili
za das chamadas tabelas de verdade, cons
tituindo-se num procedimento i nfalvel de
prova, na medida em que ele percorre to
dos os casos possveis numa demonstrao.
A pergunta que se coloca ento a seguin
te: pode o mtodo de Wang ser considera
do uma simulao dos nossos processos cog
nitivos? Como decidir qual dos doi s pro
gramas constitui uma simulao do proces
so humano de resolver problemas do Cl
culo Proposicional? Como poderamos ne
gar que os seres humanos se util izam de
procedimentos algo rtmicos em vez de heu
rsticos? Ao que tudo indica, no dispomos
de instrumentos para decidir entre uma si
mulao e outra, uma vez que ambas se ba
seiam em resultados manifestos e nada nos
impede de atribui r aos processos cogniti
vos humanos uma extraordinria velocida
de que permitiria afirmar que tais procedi
mentos so igualmente bem desempenha
dos algoritmicamente. *
Problemas como este podem levar-nos
a colocar em questo a validade do Teste
de Turing, a que nos referimos no incio
deste artigo, como critrio de deciso para
avaliar a "performance" de programas que
tentam i mitar atividades humanas inteli
gentes. Por outro lado, os problemas en
frentados pelo Proj eto de Simulao Cog
nitiva no parecem se esgotar a. Um ou
tro tipo de questo pode tambm ser levan-
ESle mesmo exempl o di sculi do por K. Gunderson (1) .
A refernci a ao l i vro de D. Dennell (2, p. 1 1 7-1 1 8) .
50
tado: ser que possvel estipular -como
pressupem Newel l e Simon - que existe
uma similaridade entre a atividade mental
dos sujeitos e o seu comportamento lings
tico manifesto? A pressuposio dessa si
milaridade bastante questionvel, e con
quanto possamos admitir, num primeiro
momento, que a l i nguagem parte consti
tutiva (e essencial) dos nossos processos
mentais, isto no permite descartar a hip
tese de que processos lingsticos so ape
nas manifestaes de operaes mais pro
fundas.
No seu livro The Language of Thought
(5)Fodor estuda um conj unto de atividades
cognitivas que parecem ser reveladoras da
existncia de estruturas mais profundas do
que a linguagem natural . No nos cabe aqui
reproduzir os experimentos relatados por
ele, dada a sua extenso. De qualquer ma
neira, esta questo permanece.
Se se estipula a existncia destas estru
turas mais profundas, o que pensar dos ex
perimentos de simulao cognitiva? Sera
mos por acaso forados a abandon-los por
questes de princpio que obstariam sua
realizao? A isto respondemos negativa
mente, pois, se por um lado veri ficamos que
a duplicao de processos cognitivos atra
vs de equivalentes mecnicos dificilmente
exeqvel , isto no quer dizer que a simu
lao cognitiva no tenha utilidade como.
estratgia de i nvestigao.
Ao tentar criar equivalentes mecnicos
de processos cognitivos, o i nvestigador da
AI obrigado a elaborar programas, e nesta
atividade ele tem de estabelecer, com cla
reza, cada etapa a ser percorrida pelo com
putador. Nesta tarefa, ele simultaneamen
te obrigado a uma reflexo mais detalhada
acerca de suas hipteses sobre a estrutura
e o funcionamento das atividades cogniti
vas humanas. Tudo se passa, como diz D.
Dennett "como se montar programas equi
valesse a esquematizar diagramas no qua
dro-negro numa aula de geometria"* *. Teo-
TEI XEI RA, J. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Tns/Form/Ao, So Paulo, 6: 45-52, 1 983.
ricamente, eles podem ser considerados ir
relavantes, mas, por outro lado, eles foram
uma certa disciplina de imaginao. Ade
mais, o investigador obrigado a se levan
tar questes concernentes natureza do
comportamento humano, problemas rela
tivos ao reconhecimento de padres (pat
tern-recognition), etc. Enfim, a investiga
o em AI cruza-se com a investigao fi
l osfica na medida em que construir pro
"
gramas signi fica muitas vezes indagar pe
las condies de possibilidade de certos de
sempenhos cognitivos presentes na lingua
gem natural , na percepo, etc.
Uma outra questo, que tem chamado
a ateno de filsofos e psiclogos*, con
si ste em saber como um organismo pode
construir suas representaes internas. O
conceito de representao interna tem se
mostrado fundamental na explicao do
comportamento para vrias escolas psico
lgicas. a existncia de representaes in-
ternas que nos permite atribuir "subj etivi
dade" a organi smos.
Uma importante vertente da investiga
o em AI tem se dedicado ao estudo do
funcionamento das representaes internas
atravs da montagem de programas. As re
presentaes internas atuam nos organi s
mos como uma espci e de modelo interno
do mundo, ou mesmo como modelos hipo
tticos do mundo. Elas so, em geral , alo
j adas no nosso si stema nervoso, i nfluen
ciando nossa ao corporal. Contudo, sua
base fi silogica ainda bastante obscura,
especialmente quando elas funcionam co
mo representaes epistemolgicas do
mundo. O estudo e a descrio destas re
presentaes atravs de computadores, a
possibilidade de construir programas nos
quais estej a embutida uma simulao des
te tipo de atividade uma tarefa que vem
sucessivamente aproximando a AI da Psi
cologia e da Fi
l
osofia, em especial da Teo
ri a do Conhecimento. Sobre i sto falaremos
num outro artigo.
TEIXEI RA, J. de F & QUI LI CI GONZALES, M. E. - Artificial I ntelligence and l he probl em sol ving
theory. Trans/Form/Ao, So Paulp, 6: 45-52, 1 983.
ABSTRACT This ar/icle is an allempt / 0 ou/line t he main characteris/ics ofresearch on a new area
ofs/udies, the so-called Artificial Intelligence (AI). lIems I and 2 sketch the historical background ofAI
and its basic pressuppositions. Item 3 focus on the problem-solving theory developed by A. Newell and
H Simon. Item 4 is an allempt to show the philosophical and epistemological relevance of Artificial
Intelligence.
KEYWORDS: Artificial intelligence; philosophy ofmind; problem-solving-methods; cognitive simu
lation.
REFER

NCIAS BI BLI OGR

FICAS
I. BODEN, M. - Artiicial Intelligence and natu
ral mano Brighton, Sussex, Harvester Press,
1 977.
2. DENNETT, D. - Brins/orms. S. I . , Bradford
Books, 1 978.
3. DREYFUS, H. - What computers can not do.
New York, Harper & Row, 1 972.
A referncia ao livro de D. Denneu (2. p. 1 1 7- 1 1 8) .
4. FODOR, J. - Psychological explana/ion. New
York, Randon House, 1 968.
5. FODOR, J. - The language of /hought. Sussex,
The Harvester Press, 1 976.
6. GUNDERSON, K. - Mentality and machine.
New York, Anchor Books, 1 97 1 .
7 . HAUGELAND, J . - Mind designo Vermont,
Bradford Books, 1 98 1 .
5 1
TEIXEI RA, 1. de F & QUI LI CI GONZALES, M. E. - I nteligncia Artificial e teoria de resoluo de proble-
mas. Tns/Form/Ao, So Paulo, 6: 45-52, 1983.
8. MULLER, G. A. & PRI BRAM, J. - Plans and
the structure of behavior New York, Hol t,
1960.
9. NEWELL, A. & SIMON, H. - GPS a program
that si mulates human thought. In: FEIN
GEMBAUM & FELDMAN, eds. - Compu
ters and throught. New York, McGraw-Hi l l ,
1968. p. 279-293.
lO. NEWELL, A & SI MON, H. - The simulation
of human thought. Currnt Trends in Psycho
logical Theory n? I: 152-179, 1961.
l i . NEWELL, A. & SI MON, H. -Human problem
solving. New York, Prentice Hal l , 1972.
12. NILSSON, N. -Problem-solving methods in Ar
tiical Intelligence. New York, McGraw Hi l l ,
1971.
52
13. SI MON, H. -Models of discovery. Cambridge,
Mass. MI T Press, 1974.
14. SIMON, H. - The science of artiicial. Cambrid
ge, Mass. MIT Press, 1978.
15. SLOMAN, A. - The computer revolution in phi
losophy. Sussex, Harvester Press, 1978.
16. TURING, A. -Computing machinery and intel
ligence. In: FEINGEMBAUM & FELDMAN,
eds. - Computers and thought. New York,
McGraw-Hill, 1968. p. 11-35.
17. WANG, H. - Toward mechanical mathematics.
IBM !oumal of Research and Development,
n? 4:2-22, 1960.