Vous êtes sur la page 1sur 20

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

Elmitodelomental:elproyectode
investigacindelainteligencia
artificialylatransformacin
hermenuticadelafenomenologa
(Primeraparte)
JethroMass
JuliusMaximiliansUniversittWrzburg

Resumen

Ensusdospartes,esteestudiopretendereconstruirconciertodetalle
el fiasco del proyecto de investigacin de la InteligenciaArtificial y
lasconsecuenciasdelacrticadevastadoradeeseproyectollevadaa
caboporHubertDreyfusensumagnumopusWhatComputersCant
Do(1972,1979,1992).Partedeestasconsecuencias,eslaemergencia
de un grupo de investigadores en este campo especializado que se
han llamado a s mismos heideggerianos. Esta autodefinicin ser
criticadaenlasegundapartedeesteestudio.Enestaprimeraparte,
seconsideran (i)los sueosestrafalarios y las falsasexpectativasde
los investigadores en IA, y (ii) la propia crtica dreyfusiana a partir
desupuestosdenaturalezafenomenolgica.

Abstract

In its two parts, this study intends to reconstruct with some detail
the fiasco of the Artificial Intelligence research project and the
devastating critique carried out against it by Hubert Dreyfus in his
magnumopusWhatComputersStillCantDo(1972,1979,1992).Part
of these consequences is theemergencewithin thisspecialized field
of a group of scholars who have called themselves Heideggerian.
Thisdefinitionshallbedealtwithandcriticizedinthesecondpartof
thisstudy.Inthisfirstpart,wegoontoanalize(i)thebizarredreams
and false expectations of AI researchers, and (ii) Dreyfus own
criticismanditsdefinitivethrustofphenomenologicalnature.

Palabras Clave: Inteligencia artificial, teora de la subjetividad,


filosofa de la mente, transformacin hermenutica de la
fenomenologa,MartinHeidegger.

Keywords: Artificial Intelligence, theory of subjectivity, philosophy


of mind, hermeneutical transformation of phenomenology, Martin
Heidegger.

113
NOVIEMBRE
2 0 11

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

Elmitodelomental:elproyectodeinvestigacindelainteligenciaartificialyla
transformacinhermenuticadelafenomenologa(Primeraparte)
JethroMass
JuliusMaximiliansUniversittWrzburg

Los matemticos quieren tratar los asuntos de la


percepcinmatemticamentey,conello,seridiculizana
s mismos. [] La mente lo hace todo tcita,
naturalmente,ysinreglastcnicas.

PASCAL,Penses

1.Antecedentes:SueosEstrafalariosyFalsasExpectativas

ComencemosconunaslapidariassentenciasdeHubertDreyfusqueseencuentranalaalturadel
cierredelaintroduccindesuobraseminal,WhatComputersStillCantDo.ACritiqueofArtificialReason
(1992):1

SiestamosenelumbraldecrearInteligenciaArtificial,estamosapuntodesertestigos
deltriunfodeunaconcepcinmuyespecialdelarazn.Enefecto,silaraznpuedeser
programadaenunacomputadora,estoconfirmarunaconcepcindelserhumanocomo
objeto,detrsdelacualhanandadoatientaslospensadoresoccidentalesenlosltimos
dosmilaos,peroquesloahoratienenlasherramientasparaexpresareimplementar.
La encarnacin de esta intuicin, cambiar drsticamente nuestra comprensin de
nosotrosmismos.Si,porotraparte,resultasequelaInteligenciaArtificialesimposible,
entoncesnosveremosenlaobligacindedistinguirentrelaraznhumanaylaartificial,
y esto tambin cambiar radicalmente nuestra visin de nosotros mismos. As que ha
llegado el momento de, o bien enfrentar la verdad de la intuicin ms profunda de la
tradicin,obienabandonarlaexplicacinmecnicadelanaturalezahumanaqueseha
idodesarrollandogradualmenteenlosltimosdosmilaos(1992:7879).2

Setrata,anodudarlo,desentenciastajantesytodopareceraindicarlodeunaencrucijada
decisoria,puestoqueelfracasooxitodelproyectodeinvestigacindelaInteligenciaArtificial(IAenlo
sucesivo)parecieradejarnossopesarconcluyenteydefinitivamentelaconcepcindelaraznforjadaen
Occidentequesenutreensusrasgosfundamentalesdelasuposicin(yabsolutizacin)delaobjetividad.
Adems,setrataaqu,nimsnimenos,quedenuestrapropiaconcepcinrespectodenosotrosmismos
ydenuestroencuentroconlascosas.Ensuma,setratadelainterpretacindequsealohumano.Todo
La edicin revisada de The MIT Press, What Computers Still Cant Do (1992), es precedida por las ediciones de 1972 y 1979,
intituladas de forma algo diferente: What Computers Cant Do. The Limits of Artificial Reason. El cambio del ttulo mediante la
agregacin del adverbio still, quiere dar a entender que los resultados centrales del libro todava siguen manteniendo vigencia,
puestoqueelproblemadelaInteligenciaArtificialesdenaturalezaontolgica.
2Latraduccindelascitasqueprovengandetextosenlenguaextranjera,sonexclusivaresponsabilidaddelautor.Setraducirn
todoslostextoscitadosenelcuerpoprincipaldeltexto.Lascitasquesecoloquenenelaparatodenotasaclaratoriasalpiedela
pgina,sinembargo,sedejarnintactasenlalenguaoriginal.
1

115
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

116
NOVIEMBRE
2 0 11

apunta a que en este reto que lanza Dreyfus, es decir, el de enfrentar la verdad de la intuicin ms
profunda de la tradicin occidental, que no es ms que el descubrimiento de la objetividad, se juega
nuestrapropiavaloracindeestetriunfodelatradicinfilosficaycientfica;obienporelcontrario,en
casodequenoshallemosanteresultadosanmalosrespectodenuestrasgrandesexpectativas,loquenos
esperaesllamaracuentasaunaconcepcindelascosasydenosotrosmismosque,enelfondo,resulta
insuficiente para explicar, precisamente, qu somos. Parece que, si Dreyfus est en lo cierto, nos
encontramosenelumbraldecomprobarlosalcancesgenuinosyloslmitesdelpensamientoobjetivante,
esdecir,setratadedimensionar,decolocarenunterrrenoacotado,alaobjetividad.Yporobjetividad
hemos de entender la concepcin teortica que se propone estudiar, precisamente, objetos y que no
concibediferenciasamenosquesloloseandegradoentreelserhumanoyelserdelosobjetos,y
que, por ende, estudia todo lo que compete a lo humano (el espritu, la conciencia, la subjetividad, la
mente, el cuerpo, etc.) como otro objeto entre muchos. La tematizacin de la objetividad, la sola
posibilidaddeestatematizacin,eselasuntoqueacpuedeserconfirmado,oquepuedeulteriormente
disolverseenlanada.

Como se ver en lo que sigue, si la concepcin de la objetividad resulta errtica en el respecto


comprensivo que se ir desarrollando en esta meditacin (y que denominamos fenomenologa
hermenutica),nosloquedardemostradoquenopuedellevarseacabounestudioobjetivantedelser
humano,sinoquelamismanocindeobjetoaparecercomountrasuntoabstractoeinoriginarioincluso
cuandoseaplicaalasmismascosas.Lacoseidad(Dinglichkeit),detalforma,quedarcuestionadaenun
doblesentidoy,conello,desactivadaensueficaciaexplicativa.Enestesentido,eslaGeganstndlichkeitde
losObjekte,esdecir,elcarcterdecosadelosobjetos,loqueensegundolugarvieneacuestin.Setrata,
entonces, de explicar tambin esta cosificacin y sus poderes para trasuntarse y aparecer como
independiente.

Solamente por lo antedicho, debera adivinarse de antemano que What Computers Cant Do, en
efecto,levantinmediatamenteunaseriedereaccionesque,cuandomenos,puedensercaracterizadasde
virulentas. Pero todo esto es comprensible, porque Dreyfus lanz una bomba en el mismo campo de
juegodelosfilsofosanalticosyatacsumspreciosaidea:ladecomprobar,pormediostecnolgicos,
la adecuacin del anlisis filosfico y, junto con ello, la primaca de la abstraccin logicista. En fin, no
slosetratabadefilosofarhablandoydiscutiendo,sinosobretododerealizarlaabstraccinconsecuente
enunaparatotecnolgico.

En este respecto, Seymour Papert, uno de los fundadores del laboratorio de IA del Instituto
Tecnolgico de Massachusetts (MIT, por las siglas en ingls), fundador del lenguaje de programacin
LOGOyunreputadocientficocomputacionalymatemtico,puedeserconsideradocomoelprimerode
todosloscrticosdeDreyfus.En1968,seabocafanosamentealaredaccindeunextensomemorando,
demsdesetentapginasdeextensin,acercadelprimerescritoquededicDreyfusalosavancesdela
IAintitulado,TheArtificialIntelligenceofHubertL.Dreyfus.ABudgetofFallacies(cf.1968).Segnrecuerda
Dreyfus,supropioreporteparalaCorporacinRANDacercadelestadodelainvestigacin,Alchemyand
Artificial Intelligence, fue calificado de siniestro, deshonesto, risiblemente gracioso y una increble
tergiversacin de la historia (1992: 87). En su reporte, intitulado quiz de forma insidiosa por su
referenciaalaalquimia,DreyfusconstatloqueleparecaserunpatrneneldesarrollodelaIA:xito
temprano acompaado, seguida e ineludiblemente, de signos inequvocos de estancamiento y
degeneracin(cf.1965:917).AlchemyandArtificialIntelligenceesbozalostemasqueserndesarrollados
enlaobramsconocidadeDreyfus,peroloquediopieaunamsbiensaudarecepcinquizfuela

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

sugerenciadequelaformaenlaqueunamquinaprocesainformacin(machineinformationprocessing)
difiere esencialmente de aquella que atae a los agentes humanos (cf. 1965: 1846), y de que ciertas
concepcionesfalsasdelomentalporpartedelosinvestigadoresdelaIA(comolapetitioprincipiisegnla
cuallossereshumanos,dehecho,procesaninformacin)enmascarabanenvezdehacerlefrentela
seriedaddelasdificultadesteorticasqueibansaliendoalpasodelainvestigacin(cf.1965:4664).

La inmediata reaccin de Papert respecto del texto de Dreyfus se ensa en primer lugar
ticamente, sealando la supuesta falta de responsabilidad del reporte. Segn Papert, los hechos de
Dreyfus casi siempre son incorrectos y su nocin de lo que sea la programacin es tan pobre, que
clasificacomoimposiblesprogramasquecualquierprincipiantepodradesarrollar(1968:02).3Adems,
cada pgina del texto est llena de sinsentido tcnico (idem), puesto que Dreyfus comprende mal
sistemticamente incluso artculos elementales sobre el tema que pretende denunciar (1968: 07), y su
procedimientodenunciativoestviciadoporlafaltadeintegridad:Granpartedelanlisispenetrante
de Dreyfus (como lo ha llamado Oettinger) se genera a partir de seleccionar dificultades especficas
sealadas por Simon y Newell como problemas tcnicos para programas particulares y simplemente
declararlos obstculos absolutos para todos los programas posibles (1968: 07). Papert se siente incluso
facultadoparareflexionaracercadellugardelashumanidadesenlaacademia:

Esunacobardaelresponder[alasdemandasdeunpensamientohumanista]llenando
losdepartamentosdehumanidades confenomenlogosquienes nosaseguran que la
computadora ha sido desnudada por sus estados numricos finitos, y esto sin asediar
ulteriormentelasreasdeactividadesquelosfenomenlogoscalificandeestrictamente
humanas(1968:02).4

Ensuma,deloquecareceraDreyfus,segnPapert,noesslodelascompetenciastcnicasque
lo capacitaran para ser un crtico serio y fructfero de la IA, sino sobre todo de integridad acadmica;
juicioconpretensionesderotundidadquelepermiteaPapertcanturrearedificantementesobrelosfines
de la cultura: Nuestra cultura se halla, en efecto, en una situacin desesperadamente crtica si sus
valores han de ser defendidos de la deposicin de la integridad acadmica por parte del pensamiento
confuso (muddled thinking) (idem). En concordancia con Papert, Dreyfus peca de una suerte de cripto
romanticismo teologal segn el cual ni es deseable ni es factible simular tecnolgicamente lo
especficamente humano;5esto, puestoquela combinacinde unaimagen exageradamente romntica
desmismoconunaimagenexageradamentesimplificadadelacompudora,hacequeelnefito[eneste
caso, Dreyfus] se aterre ante la sugerencia de que un robot podra tomar un dictado tan bien como su
secretaria(1968:06).

Ahorabien,sonreaccionesdeestetalante,porlodems,lasquetuvieronelefectoinmediatode
incidirenquelahonestidadintelectualdeDreyfusfuesecuestionadayquesutrabajoprofesionalenla
universidad se viera amenazado. Todo lo cual es comprensible, puesto que las opiniones de Dreyfus
fueron,porlodems,elprincipaldetonantedelllamadoinviernodelaIA(ArtificialIntelligencewinter):

3CitamoselmemorandodePapertsegnlapaginacinoriginal,queseestructurasegnelguarismodecadaunadelassecciones,
seguidodelnmerodepgina.
4SegnPapert,his[deDreyfus]argumentsmustbereadasliteraryconceitswithdeephumanistcontent(1968:02).
5Enestecontexto,PapertdenuncialosapegosdeDreyfusalafalaciasuperhumana(superhumanfallacy):Inabilitytoimaginethe
kindofformalismthatcoulddescribecertainaspectsofhumanbehaviorleadsustosaythatthisbehaviorcannotinprinciplebe
encompassedbyformaltheories,1968:06.

117
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

elperododetiempoenqueseredujonotablementeelpresupuestoparainvestigacinenIAdespusde
lasubsecuente frustracin ante la manifiesta faltade resultadosdelproyecto;6perodo detiempo,cabe
aadir,queabarcadesdelosaossetentayquellegahastanuestrosdas.LaIAsehaconvertidoenuna
serie de subreas muy especializadas pertenecientes principalmente a la robtica, pero el proyecto
basadoenlahiptesisfuertedelaIAhasidoabandonado.7

Culesfueronlasexpectativasquenollegaronabuentrmino?Nosharemosunabuenaideade
ellas si nos remitimos a las estrafalarias aserciones hechas por Herbert Simon y Allen Newell, ambos
cientficospionerosdelproyecto,en1958:

NotengointencionesdesorprenderlosoconmocionarlosPerolaformamssimpleen
laquepuedoresumirloesdiciendoqueyahayenelmundomquinasquepiensan,que
aprenden y que crean. No slo eso sino que su habilidad para hacer estas cosas va a
aumentar rpidamente en un futuro visible, hasta que el rango de problemas que
puedenmanejarlasmquinasseacoextensivoconelrangodeproblemasdelosquese
encargalamentehumana(Simon&Newell,1958:8).

Quesepamos,anhoy,esdecir,cincodcadasdespusdelasdeclaracionesdeSimonyNewell,
nocontamosconmquinasquerealmentepiensen,niqueseancapacesdeaprenderodecrear(amenos
queentretengamosideasmuybsicasdepensar,aprenderycrear,oqueconcibamos,conHobbes,
que pensar no es ms que calcular).8 Las declaraciones pblicas de Simon y Newell parecen, desde
nuestropuntodevistaactual,simplementefalsasyexageradas.Ahorabien,siesteerasupuestamenteel
estado de las mquinas inteligentes en 1958, es de suponer que las predicciones futuristas no seran
menos extravagantes. En este famoso artculo que estamos citando y en que introducen la heurstica
(heuristics)comoladisciplinateorticaquepermitirasimularlosprocesosdelaresolucindeproblemas
del nivel humano en computadoras digitales,9 Simon y Newell hacen cuatro predicciones puntuales
respectodeloqueseraesperabledelasmquinasinteligentesenelfuturo:

1. Queendiezaos,una computadoradigitalserelcampenmundialde ajedrez,a

ElinviernodelaIAhatenidovariasetapas,entrelascualespuedendestacarselassiguientes:1966:laaceptacindefinitivadel
fracasodelproyectodelatraduccinmecnica.1970:elabandonodelconexionismo(elmodelamientodelosfenmenosmentalesa
partir de procesos emergentes de redes interconectadas de unidades ms simples). 19711975: la frustracin de DARPA (Defense
Advanced Research Projects Agency) con el proyecto del reconocimiento del habla por parte de las computadoras (computer speech
recognition). 1973: los efectos del reporte del profesor James Lighthill (cf. 1973), cuya prognosis negativa puso en suspenso la
importanciadeinvertirenproyectosdeIAenInglaterra.19731974:lasuspensindelpresupuestoparalainvestigacinenIApor
partedeDARPA.1988:lacancelacindemspresupuestoporpartedelaStrategicComputerIniciative.1993:eldecamientodelas
altasesperanzasdepositadasenlosexpertsystems.1993enadelante:lacrecientemalareputacindelaIAcomociencia.Sobreel
estadoactualdelinviernodelaIA,cf.Hendler,2008.
7StrongAIhypothesiseslaexpresinacuadaconelfindereferirlaexpectativafundantedelproyecto:ladeque,eventualmente,
la accin inteligente general (general intelligent action) podra ser simulada en una mquina digital. Cf. al respecto, Goertzel &
Pennachin(eds.)2007.
8DeacuerdoconconlaafamadaasercindeLeviathan(1651),razonar(opensar)escalcular:Outofwhichwemaydefine(thatis
tosaydetermine)thatwhichismeantbythiswordreasonwhenwereckonitamongstthefacultiesofthemind.ForREASON,in
this sense, is nothing but reckoning (that is, adding and substracting) of the consequences of general names agreed upon for the
markingandsignifyingofourthoughts;Isaymarkingthem,whenwereckonbyourselves;andsignifying,whenwedemonstrateor
approveourreckoningtoothermen(2005:34).Es,precisamente,Leibnizaquienseleatribuyelaexhortacincalculemus!,dirigida
contraquienesdudasendelasbondadesdesumquinadeclculodecuatrofunciones(alrespecto,cf.Steinetal.:2006).
9[W]ehavenowtheelementsofatheoryofheuristic(ascontrastedwithalgorithmic)problemsolving;andwecanusethistheory
bothtounderstandhumanheuristicprocessesandtosimulatesuchprocesseswithdigitalcomputers(Simon&Newell,1958:6).
6

118
NOVIEMBRE
2 0 11

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

menosquelasreglaslaexcluyesendelacompeticin.

2.

Que en diez aos, una computadora digital descubrir y probab un nuevo e


importanteteoremamatemtico.

3.

Que en diez aos, una computadora digital compondr msica que ser aceptada
porloscrticoscomodevalorestticoconsiderable.

4.

Que en diez aos, la mayora de las teoras de la psicologa tomarn la forma de


programas computacionales, o de proposiciones cualitativas acerca de las
caractersticasdelosprogramasdelascomputadoras(Simon&Newell,1958:78).

Solamentelacuartaprofecallegacumplirse,ysellegainstalarculturalmenteenelsentido
comn. Pero, cules son las razones que yacen detrs de estas expectativas y profecas tan ilusorias?
PorquseesperabatantodelproyectodeinvestigacindelaIA?Noslosetratabadeunoptimismo
epistemolgico sin fundamento, sino sobre todo de la asuncin sin cuestionamientos de una serie de
suposiciones de raigambre filosfica. Concretamente, se trata de cuatro asunciones que subyacan al
persistente optimismo de los investigadores en IA: respectivamente, las asunciones biolgica,
psicolgica, epistemolgica y ontolgica.10 Pero tendremos la oportunidad de ir desgranando cada una
deestasasuncionesindiscutidasapartirdeunalecturadedosartculosclsicossobreeltemadeSimon
&Newell:HeuristicProblemSolving:TheNextAdvanceinOperationsResearch(1958)yComputer
SimulationofHumanThinkingandProblemSolving(1962).

Lapropuestaprogramticadelaheursica(heuristics)fueescritaconjuntamenteconNewell,pero
leda y presentada ante la Operations Research Society of America por Herbert Simon en 1958. Simon,
laureado con el Premio Nobel en 1978 y entrenado en los campos de la economa, que le mereci el
mentadogalardn,ylascienciaspolticas(disciplinasquelmismollamasuavessoftfieldssiselas
compara con los logros superiores de las ciencias naturales, 1958: 2), ha sido un personaje muy
influyente en el estudio sociolgico de las organizaciones empresariales.11 Y es que el criterio con que
parecen anunciarse los avances de la investigacin operacional (operations research), dentro de la cual
vendraajugarunpapelprogresivoydecisivolaheurstica,nodejadeserempresarialyulteriormente
industrial.Simoninsertahistricamentesupropioproyectoenconjuncinconlosintentosmecanicistas
decimonnicos de Charles Babbage (17911871), a quien se atribuye el haber sin lugar a dudas
comprendidoeinventadolacomputadoradigital(1958:3).SimontambinsealalaideadeGaspardde
Prony(17551839)deunaproduccinmasivadelastablasmatemticas,lacualsugiriaBabbagequela
maquinaria podra reemplazar el trabajo humano en las fases de oficinista de la faena, y que lo
impulsaron a la empresa de disear y construir una mquina automtica de calcular (idem). Estamos
antelainvencindeunmecanismomatemticoquepodraresolverproblemashumanos,porqueestos
criteriosindustrialesyadministrativosconducenaSimonaconcluirqueunproblemabienestructurado
(wellstructured) a contrapelo de uno mal estructurado (illstructured), debera satisfacer los siguientes
criterios:

1. Puede ser descriptible en trminos de variables numricas, de cantidades


vectorialesyaniveldeescala.
10
11

EstasasuncionessonpresentadasydiscutidasdetalladamenteenDreyfus1992,153227.
Algunasreflexionessobreracionalidadeconmicayplaneamientosocial,seencuentranenSimon,1996.

119
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

2. Las metas que se persiguen pueden ser especificadas en trminos de una


funcinobjetivabiendefinida(porejemplo,lamximizacindelagananciaola
minimizacindeloscostes).

3. Existen rutinas computacionales (algortmicas) que permiten que la solucin


sea hallada y atestada en trminos numricos actuales. Ejemplos comunes de
tales algoritmos, que ya han jugado un papel importante en la investigacin
operacional, son los procesos de maximizacin en el clculo y el clculo de las
variaciones, la programacin lineal de algoritmos como los mtodos simplex y
steppingstone,lastcnicasdeMonteCarlo,etc.(1958:45).12

Todo esto quiere decir que los problemas bien estructurados son aquellos que pueden ser
formulados explcita y cuantitativamente, y que pueden ser resueltos por tcnicas computacionales
conocidas y factibles (1958: 5). Simon incluso no deja de mostrar su vergenza ante las innumerables
situaciones en que las variables utilizadas para solucionar un problema no son numricas, sino
simblicas o verbales, y esto quiere decir finalmente vagas y no cuantitativas (idem). Por ello, la
conclusinesesperable:[H]aymuchosproblemasprcticosseramsadecuadodecirquelamayora
de los problemas prcticos para los cuales simplemente no existen algoritmos computacionales
(idem). Lo peor del caso, segn la argumentacin de Simon y Newell, es que estos problemas mal
planteados que an se escapan al dominio del clculo y de la cuantificacin, terminan por ser
exclusivamente parte de la provincia del mero juicio y de la intuicin, es decir, resultan ser ms un
asuntodeunacorazonadaquedelclculo(amatterofhunchthanofcalculation,cf.idem).

Esenestecontexto(enlossueosdelaadministracinempresarialydelosprocesosindustriales
de la total calculabilidad), en que la heurstica hace su aparicin como el mtodo que, en principio,
permitiradeshacerelembrujodetodasestasinexactitudesquenopermitenreducirelcomportamiento
humanobajolacuantificacinylacalculabilidadtotal.Laheursticavendraaserlamecnicadeljuicio
prctico (una suerte de mecnica para lo social) y, de tal forma, quedaran resueltos los problemas
metodolgicosquesecifrarondesdeelsigloXIXenlasvicisitudesdelascienciashumanasporalcanzar
un estatuto cabal de cientificidad. Estaramos, as, a las puertas de encontrar, en esta mismsima
conferenciadeSimonyNewell,lasolucinalosproblemasqueturbaronenantaoaWilhelmDilthey
(pero esto, desde luego, sin reconocer la distincin diltheyana entre las ciencias naturales y las del
espritu).13

Pero,enquconsisteexactamenteelmtododelaheursticaanunciadotanpomposamentepor
SimonyNewell?Bsicamente,enunateoradelaresolucindeproblemasquepuedeutilizarseparadar
El algoritmo simplex, desarrollado por el matemtico estadounidense George Dantzig (19142005), consiste en una serie de
solucionesnumricasparalaprogramacinlineal.ElsimplexesunpolitotodeN+1vrticesen Ndimensiones:unsegmentode
lneasobreunalnea,untringulosobreunplano,untetraedroenunespaciodetresdimensionesyassucesivamente.Porotra
parte, el steppingstone (StSt), es un tipo de medida de seguridad computacional que consiste en colocar sistemas de seguridad
lgicos, utilizados como servidores de autentificacin, en una disposicin serial que emula un estrecho canal fsico, anlogo al
caminofsicoformadoporunasucesindepiedrasenunroqueserviranparacruzarlo.Finalmente,losmtodosdeMonteCarlo,
se utilizan en matemtica financiera para evaluar y analizar las inversiones mediante la simulacin de la incertidumbre que
hipotticamente afectara dichas finanzas y que terminara por determinar el valor promedio por encima del rango de los
resultadosalcanzados.Alrespecto,cf.Andersonetal.,2008;principalmenteelcaptulo17yss.
13HetratadoextensamentelasaporasdecimonnicasdelhistoricismoylascontradiccionesdeDilthey,elfundadorprogramtico
delascienciasdelespritu(Geisteswisseschaften),enotrotrabajo.Cf.Mass,2009.
12

120
NOVIEMBRE
2 0 11

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

cuenta de los procesos heursticos de la comprensin humana y para simular dichos procesos por
mediodecomputadorasdigitales.Laintuicin,eltactocomprensivo[insight]yelaprendizajenosonms
posesiones exclusivas de los seres humanos: cualquier computadora de gran velocidad puede ser
programadatambinparaexhibirestascapacidades(Simon&Newell,1958:6).Elprogramaheurstico,
queeselresultadodelasinvestigacionesllevadasacabodurantelosaoscincuentaysesentaporSimon,
NewellyJ.C.ShawparalaCorporacinRAND,otorgaraaunacomputadoralahabilidaddedescubrir
pruebas para los teoremas matemticos; no de verificar pruebas, debe notarse, puesto que un simple
algoritmopuededisearseparaeso,sinodellevaracabolasactividadescreativaseintuitivaspropias
deuncientficoquebuscalapruebadeunteorema(Simon&Newell,1958:7).Ulteriormente,esdecir,
en las etapas ms avanzadas que se barruntaban del mtodo heurstico, se cumpliran los sueos del
pensamiento occidental, porque [l]a investigacin en la resolucin heurstica de los problemas ser
aplicadaalacomprensindelamentehumana.Conlaayudadelosprogramasheursticos,ayudaremos
al ser humano a obedecer el mandamiento antiguo: Concete a ti mismo. Y conocindose, podr
aprenderautilizarlosavancesdelconocimientoparabeneficiar,envezdedestruir,alaespeciehumana
(Simon&Newell,1958:8).

Como se desprende de lo antedicho, los investigadores pioneros de la IA no trabajaban


simplementeparaconseguirresultadosparcialesomeramenteingenieriles.Setrataba,nimsnimenos,
que de simular la inteligencia humana y todos sus atributos, incluso de reproducir artificialmente la
mentey,porello,noesquehayaacunentrometimientodelametafsicaenlaingeniera(comohaba
sugeridoPapert,cf.1968),sinoque,comodicebienGermnVargas,elproyectoesdesuyo ontolgico:
La cosa misma de la que se ocupa un inters fenomenolgico por la IA no es el conjunto de los
mecanismos, sino la esencia de la subjetividad protooperante (2004: 106), es decir, el inters
fenomenolgico que motiva una mirada filosfica a estos problemas es la pretensin de un grupo de
investigadores de convertir el racionalismo moderno en un proyecto de investigacin tecnolgica. La
conclusinclaramentecientificista(ycomercial)deSimonyNewellhablaafavordeestainterpretacin:
Cuando las mquinas tengan mentes, podremos crear copias de estas mentes de la forma tan barata
comohoyendaseimprimenlibros(1958:9).SegnnuestraformadeinterpretarlahistoriadelaIA,
strongAIesunacaracterizacintardadelproyectoqueasumequeeldesigniooriginalporprogramar
lasubjetividadprotooperantetuvoqueconfesarsefallido.Peroesquenosetratabadecualquiergazapo
quefuerasuperablemedianteelmejoramientodelasteorasrespectodelosmecanismos,sinoquecon
sloecharunvistazoalaconcepcinqueseentretenadelamente,esdablepensarquesetratabasise
mepermitedecirloconGarcaMrquezdeunacrnicadeunamuerteanunciada.

En Computer Simulation of Human Thinking and Problem Solving (1962), Simon y Newell
presentaronunsistemametdicoquellamaronGPS:GeneralProblemSolver.Enesteescritoprogramtico,
comenzaron anunciando lo que les pareca una obviedad y que solamente un ludita se atrevera a
disputar:

Yanoesnecesarioargumentarquelascomputadoraspuedenutilizarseparasimularel
pensamiento humano o para explicar en trminos generales cmo dicha simulacin
puedellevarseacabo.Msdeunadocenadeprogramascomputacionales,quehansido
escritos y probados, llevan a cabo algo de las tareas interesantes de la resolucin de
problemasydelamanipulacinsimblicaquelossereshumanospuedenrealizar,ylo
hacenenunaformaquesimula,almenosenlosaspectosmsgenerales,elmodoenque
lossereshumanoscumplenconestastareas.Losprogramasdelascomputadorasjuegan

121
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

ahora ajedrez y tablero, encuentran pruebas para teoremas en geometra y lgica,


memorizanslabassinsentido,formanconceptosyaprendenaleer(1962:137).

122
NOVIEMBRE
2 0 11

Enconcordanciaconsuscreadores,elGPSesunsistemademtodosqueresultabastantetil
en muchas situaciones en que una persona enfrenta problemas para los cuales no posee mtodos
especialesderesolucin(1962:138).Detalforma,cuandounapersonatienequeenfrentarunproblema,
sigueestrictamenteunasucesinreglamentariainconsciente,unmecanismoqueestfuncionandocada
vez que dilucida alternativas para la resolucin de una dificultad. La heurstica, al menos a nivel
hipottico, permitira simular la reglamentacin algortmica de ese proceso resolutivo que se suele
denominarpensamiento.

La asuncin bsica que supone la viabilidad del GPS es de raigambre filosfica: habra, en
principio,unaestructurasubagencialdecmopiensanlossereshumanosconstituidaprincipalmentepor
unsistemalgicodereglas.Peroestaespuededecrselosinambageslaconcepcinanalticadela
filosofa.ElfilsofooxoniensePeterStrawson,unodelospensadoresanalticosmseminentesdelsiglo
XX, lo afirma explcitamente: [A]s como el gramtico trabaja para elaborar una explicacin
sistemtica del sistema de reglas que observamos sin ningn esfuerzo cuando hablamos
gramaticalmente, el filsofo [analtico] lo hace para conseguir una explicacin sistemtica de la
estructuraconceptualgeneraldelaquenuestraprcticadiariamuestraquetenemosundominiotcitoe
inconsciente (1997: 50). Los investigadores de la IA estaban trabajando como filsofos analticos, pero
ahoranoslodiscutiendoydilucidandoteoras,sinoponiendoenmarchaunproyectodeinvestigacin
que concretaba tecnolgicamente mediante mtodos ingenieriles la suposicin filosfica de que, en
efecto, se posea algo as como una comprensin de esa estructura sistemtica y conceptual del nivel
subagencialdelpensamientoydelobrarcomprensivohumano.Ahorabien,lotcitoyloinconscientees
aquello que, mediante la asignacin de ciertos algoritmos a una mquina, podra simular los procesos
heursticosdequeestarasupuestamenteconstituidalamentehumana.Estotambinestsupuestoenel
GPSy,sibienSimonyNewellloafirmanenrelacinconlaingenieracomputacional,repitenlamisma
concepcinstrawsonianadelaexistenciadeunaestructurareglamentadadelpensamiento:

En tanto teora de la resolucin humana de los problemas, el GPS sostiene que los
estudiantesuniversitariosresuelvenproblemasllevandoacaboesasuertedeanlisis
organizado en trminos de medios y de fines. No sostiene que este proceso se lleve a
cabodemaneraconsciente,puesesfcilmostrarquemuchospasosenelprocesodela
resolucin de problemas no alcanzan a llegar a lo consciente [do not reach conscious
awareness].Tampocosostienelateoraqueelprocesoparecerparticularmenteordenado
paraunobservadorquenoconozcaelprogramaendetalleoelmismosolucionadorde
problemas. S sostiene que, si comparamos esa parte que podemos observar en el
comportamiento del sujeto humano cuando soluciona problemas (los pasos que sigue,
sus verbalizaciones) con el proceso llevado a cabo por la computadora, sern
substancialmentelosmismos(1962:141).

En esto, tanto Simon y Newell como Strawson, parecen estar de acuerdo: hay un proceso
inconsciente, una perspectiva de tercera persona y, por ende, subagencial, que sostiene todo nuestro
afrontamiento14 consciente. El punto es demostrar que la IA, de hecho, puede coadyuvar a poner en
14 En este trabajo, el uso tcnico del trmino afrontamiento obedece a un intento por traducir el trmino ingls coping. La
expresinverbaltocopewithsignificabsicamentearreglrselas,habrselasconductual,corporalycomprensivamente(estoes,

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

prctica esta asuncin, puesto que si la suposicin se probase cierta aunque fuese a un nivel de escala
reducido,esdecir,sirealmentefueseciertoquelossereshumanosutilizanprocesosheursticosparala
resolucininteligentedelastareasproblemticasyqueestospuedenserprogramadostecnolgicamente,
entonceslainvestigacinsucesivapodrfelicitarseeventualmentedelaesperanza,ahoraaseguradapara
laposteridad,dealcanzarresultadoscadavezmsalentadoresyexitosos.

Estaera,almenos,lamismaesperanzadeaquellosestudiantespertenecientesalLaboratoriode
IAdelMIT,queseacercaronalcursosobreHeideggerqueDreyfusimpartaenelprimerlustrodelos
aossesenta,parasealarlelasfalenciasdelafilosofa:Ustedeslosfilsofoshanestadoreflexionando
desde sus sillones en los ltimos dos mil aos y an no comprenden la inteligencia. Nosotros hemos
asumido el control desde al laboratorio de IA y estamos teniendo xito en todo aquello en que los
filsofoshanfallado(2007:247).

Noobstante,larespuestadeDreyfusescategrica:

Pero en 1963, cuando fui invitado a evaluar el trabajo de Allen Newell y de Herbert
Simonsobrelossistemasfsicosimblicos,meencontrconlasorpresadeque,lejosde
reemplazar a la filosofa, estos investigadores pioneros haban aprendido bastante,
directa e indirectamente, de la filosofa: a saber, de la conviccin de Hobbes de que
razonarescalcular,delasrepresentacionesmentalesdeDescartes,delaideadeLeibniz
de una caracterstica universal (un entramado de rasgos primitivos en que todo el
conocimientopodaserexpresado),delaconcepcindeKantdequelosconceptosson
reglas,delaformalizacindeFregedetalesreglas,ydelpostuladodeWittgensteinde
tomoslgicosenelTractatus.Pordecirlodeformaresumida:sindarsecuentadeello,
los investigadores de la IA estaban trabajando afanosamente en convertir la filosofa
racionalistaenunprogramadeinvestigacin.

Pero comenc a sospechar que la ideas formuladas desde instancias existencialistas,


especialmente de Heidegger y de MerleauPonty, eran malas noticias para los
investigadores de la IA: que mediante la combinacin de representacionalismo,
conceptualismo, formalismo y atomismo lgico en un programa de investigacin, los
investigadores de la IA haban condenado su empresa a la recreacin de un fracaso
rotundo(2007:247248).

Es cayendo en la cuenta del tiempo en que Dreyfus hace sus primeras y acertadas denuncias,
haceyacasicuarentaaos,quesuapuestasenosmuestracomountotalatrevimiento.Nodeberahaber
esperadounascuantasdcadasconelfindevislumbrareldesarrollodemquinastantomspotentesy
desarrolladas?Noes,precisamente,enlarapidezvertiginosaconquesedesarrollalatecnologaque,las
ms de las veces, nuestras propias predicciones se nos muestran de poqusimo alcance? La estocada
certera,inclusointempestiva,deDreyfusradicaenhabersedadocuentadequeloquenomarchabacon
elproyecto, y larazn por lacual los orondos investigadoreshabancondenadosu empresa al fracaso
(para siempre, podra decirse incluso sin exagerar), era una determinada concepcin filosfica abstracta,
deformaencarnadayprcticamentesituada)enmediodeuncontextodeterminadoenelqueseestenvueltodemaneraejecutivay
prxica.Encuantoterminustechnicus,afrontamientosignifica,portanto,eldespliegueprcticodelagentehumanoensuvivencia
enelmundo,alladodelacomprensinquedesuyoacompaaesteafrontamiento.

123
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

plagadade supuestoslogicistas ymetodizantes; era tambinunaconcepcin analtica,quepartade la


hiptesis implausible, pero ahora por fin simulable en un mecanismo tecnolgico, segn la cual
mediante la asignacin de un listado de predicados sobre una serie de hechos atmicos, podra
reproducirse la totalidad del sentido, puesto que el mundo no era sino una coleccin de objetos con
propiedades y los procesos resultantes de estos objetos fijos y presentes. Supuestos, por cierto, que ya
dcadasatrs,habansidodesmanteladoshastalosaicosporlafenomenologa:unaformadepracticar
lafilosofaque,muytardamenteynosindificultadescomprensivasbsicas,pudopaulatinamentehacer
su lugar en los pases anglosajones.15 Dreyfus ha sido tan importante en la introduccin de la
fenomenologa en Estados Unidos, que no slo ha incidido en que ciertos cientficos cognitivos hayan
cambiado su estimacin hacia la filosofa europea (de cariz fenomenolgicohermenutico), sino que
seguramente a l tambin se debe el que el Laboratorio de IA del MIT se haya convertido
reconocidamenteheideggerianoenorientacin.

2.ElFiascoSealado

Pero antes de ese viraje fenomenolgico, autorreconocido incluso como heideggeriano, tuvo
que haber acontecido un fiasco en esa investigacin por simular la mente que con tan ostentosas
prediccionesseexornaba.

Enefecto,MarvinMinsky,elcodirectordellaboratoriodeIAdelMITde1959a1974,aprendi
bastante del GPS y del mtodo heurstico de Simon y Newell, y estaba convencido de que
representando unos cuantos millones de hechos sobre objetos, incluyendo sus funciones, resolvera lo
que lleg a llamarse el problema del conocimiento del sentido comn (Dreyfus, 2007: 248). John
McCarthy,quienacuolaexpresinArtificialIntelligenceen1956,escribialrespectounreporteparael
MITintituladocuriosamente:ProgramswithCommonSense,yvislumbrabalaposibilidaddeconstruirun
programa(llamadoAdviceTaker)quemanipularaproposicionesinstrumentalescomunesenunlenguaje
formaladecuado(cf.1958).Empero,elprimerobstculoparasimulardeformatecnolgicalamente,no
fuesino,precisamente,elsentidocomn,aunquesetratasedelmscomndelossentidos.Aunque,tal
como advirtiera Voltaire, el sentido comn no es nada comn, los investigadores de la IA estaban
convencidosdequecualquierdificultaddeberaresolversedescubriendolasartimaasfuncionalesdeun
complejsimo mecanismo natural. Pero conestohacancaso omisode aquel decirdeGoethe,dequela
inteligenciayelsentidocomnseabrenpasoconpocosartificios.

Cuandoen unaentrevistaenlarevistaWired, selepregunt a Minsky porquunnombre tan


representativo de la IA como el suyo la haba declarado cerebralmente muerta desde los aos setenta,
Minsky respondi: No hay una computadora que tenga sentido comn.16 Este reconocimiento se
retrotraealfracasoresolutivodelproblemadelmarco(frameproblem).

El problema del marco atae a la relevancia contextual en una situacin dada y, en cuanto tal,
tienequeverconlaatencinfenomenolgica.Aunamquinaseleprogramanproposicionesdeobjetosy

124
NOVIEMBRE
2 0 11

15EllugardelafenomenologaenlosDepartamentosdeFilosofadelasprincipalesuniversidadesestadounidenseseinglesas,sin
embargo, no puede decirse que est definitivamente asegurado. Para la filosofa analtica que domina esos departamentos
acadmicos, la fenomenologa con su apelacin a la intuicin o a un mbito donde no cabe la cuantificacin, no es ms que el
intuicionismo filosfico que, segn Mario Bunge, termin, pues, convirtindose en una filosofa de los perversos para los
irracionales(2005:56).Estetextoquecitamos,IntuicinyRazndeBungees,porcierto,unaexcelentemuestradeloquenoesla
intuicinensentidofenomenolgico.
16WhyAIisBrainDead.EntrevistaconMarvinMinsky.Wired.Issue11,08Agostode2003.

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

de funciones, y esto supone que el mundo es algo as como un entramado fijo de objetos funcionales,
respecto del cual nuestra conciencia estara al tanto. Al saber o al intentarlo y este saber
(entrecomillado)enestecontextosignifica:haciendoretrorreferenciaasualmacenamientorecursivode
conceptos y representando simblicamente el mundo exterior, una mquina se encuentra
violentamente,enprimerainstancia,conelproblemadelarelevanciadelcontexto.Elmundoexterior,
representado desde los recursos simblicos asignados al programa computacional, no parece hallar
parangnconelmundohumano,dondeloscambiosplsticosdelentornosonconstantesyvariables,es
decir, donde al parecer no hay objetos fijos con funciones permanentes, y donde el sentido de las
acciones no recae quiz sobre las funciones prefijadas de una coleccin de objetos constituidos. El
problemadelmarco,hasidodefinido porMichaelWheelerenReconstructingtheCognitiveWorld(2005)
delasiguienteforma:

Dando por supuesto queel mundo esdinmico y cambiante, cmo puedeun sistema
que no es mgico dar cuenta de aquellos estados cambiantes del mundo que
importan, y de aquellos estados no cambiantes del mundo que importan, siempre que
ignoreaquellosquenoimportan?Ycmopuedeunsistemasemejantereparary(sies
necesario)revisar,apartirdetodaslascreenciasqueposee,sloaquellascreenciasque
sonrelevantesenuncontextoparticulardeaccin?(2005:179).

El mundo, segn Wheeler, es dinmico y cambiante, y si no se trata de un mundo mgico


comoparecesugerirlonuestroconocimientoactualdelabiologa,lafsicaylaqumicadebehaberuna
ciertalgicayunaciertareglamentacinnmicaquedcuentasatisfactoriamentedelsentidodelmundo
humano. Ante este problema temprano, pero que termin dando al traste con todo el proyecto, la
solucindeMinskyfuesugerirqueseutilizarandescripcionesdesituacionesvitalestpicas,entrelasque
podran contarse las fiestas de cumpleaos, las clases de filosofa, el ordenar un platillo en un
restaurante, el departir en una reunin con amigos, etc. Es claro que la programacin del predicado
blancoenelprograma,podrasercabalmenteincomprensiblesinosejustificanlosdiversoscontextos
vitales, o marcos, en que el predicado no significa lo mismo: por ejemplo, cuando decimos blanco de
alguna persona de raza caucsica no lo hacemos en el mismo sentido que cuando lo predicamos de la
pizarraacrlicaqueestenelaula,ocuandodecimos,verbigracia,quelaparedesblanca.Peroincluso
con esta salvedad, al solo reconocimiento de un marco de relevancia contextual le sera menester el
agregarleotraseriedemarcosmenoresparalasoladesambiguacindelaterminologaydesusmatices,
de forma que pareca obvio, tal como seal Dreyfus, que cualquier programa de IA que utilizara
marcos quedara atrapado en un regreso a marcos para reconocer marcos relevantes que reconocieran
hechosrelevantesy,porende,elproblemadelalmacenamientodelconocimientodelsentidocomnyde
la actualizacin de la informacin no era solamente un problema; era un signo inequvoco de que algo
andabaseriamentemalcontodoelenfoque(2007:248).

Estafasedelproyectodeinvestigacin,enqueporprimeravezasomaelnefandosemblanteel
problema del conocimiento del sentido comn y en que se propone el esquema de los marcos
contextuales,hasidodenominadoporJohnHaugelandGoodoldfashionedAI(oGOFAI,porlassiglasen
ingls, cf. 1996). La IA pasada de moda como quiz podramos traducir la expresin inglesa de
Haugeland consisti en una serie de fracasos sucesivos que, sin embargo, eran excusados bajo la
consigna de falta de mayor investigacin y de la necesidad de contar con mquinas con un mayor
potencialdealmacenamientoydememoria.

125
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

126
NOVIEMBRE
2 0 11

Empero, en su magnum opus, Dreyfus puso en evidencia que las suposiciones de las cuales
partan los investigadores pioneros en IA eran simplemente falsas e insostenibles; si no es que todo el
modelo filosfico subyacente. Acto seguido, es menester desnudar las asunciones (2.1) biolgica, (2.2)
psicolgica(2.3),epistemolgicay(2.4)ontolgica,queprivabandesurealizacinelvaticinioexagerado
conqueMinskyabrasulibroComputation:FiniteandInifiteMachines:enunageneracinpocasreas
del intelecto permanecern fuera del rango de la mquina. El problema de crear IA estar
substancialmenteresuelto(1967:2).

(2.1)LaAsuncinBiolgica

Laasuncinbiolgicaadquierelaformadeunateoradelprocesamientodelainformacin(cf.
Minsky, 1969) y supone que el cerebro humano est estructurado organizativamente como una
computadora. Se trata del supuesto ingenuo de que el ser humano es un ejemplo clarsimo de un
exitoso programa de computacin digital (Dreyfus, 1992: 159). Desafortunadamente, esta imagen
funcionalistadelcerebronohapasadoaformarpartedelmuseodelasasuncionesfilosficasfallidasy
ampliamentedescartadas,sinoqueinclusogozadelestatutodeserunadelasideasclavesdelproyecto
delacienciacognitiva.17

Esbajoestesupuesto,desdeluego,quealgoascomounprogramaheursticodelaresolucinde
problemas cobra pleno sentido. El cerebro humano sera, as, un artefacto simblicomanipulativo de
propsito general (generalpurpose symbolmanipulating device) que operara tal cual lo hace una
computadoradigital,esdecir,acatandolosdictmenesmetdicosdeunareglamentacindiscreta.Sise
lograse, correlativamente, simular procesos de inteligencia simples en computadoras digitales, cabra
esperar el desarrollo de modelos ms complejos, cada vez ms semejantes a los supuestos procesos
cognitivosdelossereshumanos.Locurioso,naturalmente,esquelosinvestigadoresnopropusieranuna
pesquisateorticaexhypothesirespectodeestemodelodigitalaplicadoalainteligenciahumanaconelfin
de comprobar su efectiva plausibilidad, sino que lo asumieran desde el principio sin ningn
cuestionamiento, como si fuera simplemente obvio e indubitable. Pero bastaba con que el cerebro
procesarainformacindeotraforma(o,dichomsradicalmente,quenoprocesaranadadenada),para
queestaasuncinderaigambreinformtica(ntesequenobiolgica)sehicierapedazos.
Y eso fue lo que, de hecho, sucedi. Ya en 1966, en un artculo sobre ciberntica y el cerebro
humano,WalterRosenblithdelMITconfesabaque[l]ascomparacionesdetalladasdelaorganizacinde
los sistemas computacionales y la de los cerebros resulta igualmente frustrante e inconclusa (On
Cybernetics and the Human Brain. The American Scholar, 274. Citado por Dreyfus, 1992: 162). Dreyfus
concluyecontundentemente:

NopuedensacarseargumentosacercadelaposibilidaddelaIAapartirdelaevidencia
empricaactualacercadelcerebro.Dehecho,ladiferenciaentrelanaturalezaaltamente
interactiva del cerebro y el carcter no interactivo de la organizacin de la mquina
sugiere que, en tanto sean relevantes los argumentos tomados de la biologa, la
evidencia est en contra de la posibilidad de utilizar computadoras digitales para
producirinteligencia(idem).

17Lasasuncionesdequelamenteesunasuertedesistemaqueprocesainformacin,lomismoqueunartificiorepresentacionaly,
en cierta medida, una computadora, son an hoy en da ampliamente aceptadas. Cf. el prefacio de los editores al Blackwell
CompaniontoCognitiveScience.Bechtel&Graham(eds.),1999.

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

(2.2)LaAsuncinPsicolgica

La pregunta que habra que traer a colacin es si efectivamente el modelo ciberntico puede
justificarelusodelahiptesisdelacomputadoradigitalenpsicologa.Lapsicologareinvindicaparas
laprerrogativaexplicativadeunnivelparticulardefuncionamientodelainteligenciahumana,que,sin
negar las explicaciones fsicoqumicas del cerebro, puede dar cuenta de ciertos procesos mentales. La
mente,segnestesupuesto,llevaacabotareascomputacionalescomocomparar,clasificar,revisarlistas
dedatos,etc.,yseraelresultadodeestosprocesosloquellamamosinteligencia.

Laasuncindequelasteoraspsicolgicasadquiriranineludiblementeelaspectodeprogramas
computacionales,yahabasidovaticinadaporSimon.YSimonnosequedsentadoesperandoqueesto
sucediera,sinoquelmismoacometilatareadedisearunaseriedeprogramasdecomputacinque
consistan en simular los pasos conscientes e inconscientes pretendidamente seguidos por una persona
cuandorealizacompetenciascognitivas.Losentusiastasdelahiptesispsicolgicaasumanquecuando
los seres humanos se comportan inteligentemente, se someten al seguimiento de una serie de reglas
heursticas similares a aquellas que le permiten a una computadora digital funcionar. Para Ulrich
Neisser,elautordeunaCognitivePsychology,latareadelpsiclogoquedeseacomprenderlacognicin
humana es anloga con la de quien intenta descubrir cmo una computadora ha sido programada
(1967: 6). Por ello, la tarea del psiclogo cognitivo en la era de la ciberntica sera el descubrir el
programadelamentehumana.

Laasuncinpsicolgicasehavalidodeunametfora,peroquehasidoasumidacomounhecho
constatado, que casi se ha convertido en una verdad de perogrullo para quienes vivimos en la era
ciberntica:lamentehumanaseraunmecanismoqueprocesainformacin.Empero,tantolaformade
procesamiento como el significado de informacin son aqu trminos bastante ambiguos. En primer
lugar,aunquefueraciertoquehay algo ascomo procesoscerebrales, deellono se sigueelquestos
consistanenestarprogramados,esdecir,quesiganunaseriedeoperacionesdiscretasdeterminadasde
antemano.Sinohayoperacionesdiscretas,todoelproyectodelasimulacincognitivasevieneabajo.En
este caso, Dreyfus seala una falacia: aquella que consiste en saltar del hecho de que el cerebro
transforma de alguna forma sus entradas [inputs] a la conclusin de que la mente realiza alguna
secuencia de operaciones discretas (1992: 166). Pero ni siquiera es claro qu significa informacin en
estecontextocognitivo.ClaudeShannon,elingenieroymatemticoqueesrecordadocomoelpadrede
lateoradelainformacin,yahaba advertidoquetodoslosaspectossemnticosde la informacinno
formabanpartedelproblemaestrictamenteingenierildelacomunicacin(cf.1948).Estoquieredecirque
desde el punto de vista tcnico de la ingeniera, informacin no significa informacin con sentido o
informacin significativa. En concordancia con Warren Weaver, incluso dos mensajes, uno de los
cualesestcargadoconmuchosignificado,yotroqueseaunpurosinsentido,puedenserexactamente
equivalentes desde el presente punto de vista en lo tocante a la informacin. Esto es, sin duda, lo que
quiere decir Shannon cuando afirma que los aspectos semnticos de la comunicacin son irrelevantes
paralosaspectosingenieriles(citadoporDreyfus,1992:165).

Lo que ha acontecido ac, segn Dreyfus, es una transformacin ilegtima de la teora


matemticadelacomunicacinenunateoradelsignificado,alaqueseaadelasuposicindequela
experienciapuedeseranalizadaenalternativasatmicasyaisladas(cf.idem).Elhechodeque,enefecto,
cualquier actividad fsica puede ser en principio formalizada lgica y algortmicamente y, en

127
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

128
NOVIEMBRE
2 0 11

consecuencia,manipuladaenunaseriedeoperacionesdiscretasenunacomputadoradigital,nojustifica
elqueseasumaquelamentesigueesasoperaciones.ParaDreyfus,talcosaestanabsurdacomocreer
quelosplanetasestnresolviendonecesariamenteecuacionesdiferencialescuandopermanecenensus
rbitasalrededordelsol,oquelaregladeclculo(unacomputadoraanalgica)siguelosmismospasos
cuando calcula una raz cuadrada que los que sigue la computadora digital cuando utiliza el sistema
binarioparacalcularelmismoguarismo(1992:167).Todoestosignificaque,sibientodoslosprocesos
psicoqumicos pueden ser formalizados y calculados discretamente, ello en absoluto implica que haya
procesosdiscretossubyacentesatodaslasactividadesinvolucradasenlascompetenciascognitivas.

(2.3)LaAsuncinEpistemolgica

Aunque pareciera que ya debera ser claro que el modelo de la computadora digital (con la
suposicindelseguimientoheursticodeoperacionesdiscretas)noproveeningunaclarividenciaespecial
paradarcuentadelfuncionamientodelainteligenciahumana,sinoquesetratadeunenfoquemsbien
torpeydiscreto(eneldoblesentidodeestetrmino),anquedabaelsubterfugiodelaformalizacin.De
ste, se sustenta bsicamente la asuncin epistemolgica, segn la cual el comportamiento humano
podraser,contodo,formalizableysimuladoenunprogramadecomputacin.Enestelugar,tambin
podemos traer a colacin, con Dreyfus, el ejemplo de los planetas: No estn resolviendo ecuaciones
diferenciales mientras le dan la vuelta al sol. No estn siguiendo ninguna serie de reglas; pero su
comportamiento es, no obstante, legal, y para comprender su comportamiento, echamos mano de un
formalismo en este caso, de ecuaciones diferenciales que expresa su comportamiento como
movimiento en concordancia con una regla (1992: 189). La asuncin epistemolgica sostiene, as,
bsicamente dos tesis: (i) Que todo comportamiento no arbitrario puede ser formalizado, y (ii) que el
formalismopuedeserutilizadoparareproducirelcomportamientoencuestin(cf.Dreyfus,1992:190).
Dreyfus se desembaraza de estas dos tesis sosteniendo, a contrapelo, que la pretensin de la
formalizacin total involucra una generalizacin injustificada del xito de la fsica. Por lo dems, una
teoradelacompetencianodebeconfundirseconunateoradelaaccin.

Ensuclsicoartculodehacemsdemediosiglo,ComputerMachineryandIntelligence,en
quepretendadarrespuestaalapreguntaCanmachinesthink?,AlanTuringdefinilacomputadoracomo
un mecanismo que debe seguir reglas fijas (1950: 436), con lo cual quedaba limitada a un apego
ajustadoaciertosdatoscarentesdeambigedadyareglasestrictasqueseaplicaraninequvocamente
sobreesosdatos.SesuponaqueunamquinadeTuring,encuyofuncionamientoseexpresalaesencia
de la computadora digital, podra llevar a cabo cualquier tarea realizable por un ser humano. As lo
confesabaMinsky:Nohayraznparasuponerquelasmquinastenganlimitacionesdelasquecarecen
lossereshumanos(1967:vii).MinskyconsiderabaelartculodeTuringcomounagrancontribucina
suspropiasambicionesporhaberdespejadodudasneurlgicasyhaberrefutadoobjecionesperegrinas.
Una de estas objeciones tena que ver, de hecho, con la imposibilidad de formalizar todo el
comportamientohumano,yTuringlaenfrenthaciendounadistincinentrelasleyesdelaconductay
lasleyesdelcomportamiento.

El argumento de la informalidad del comportamiento, tal como lo denomin Turing, duda de


quelaeventualidaddelcomportamientohumanoseaelresultadodelacatamientodereglasestrictas.Pero
Turing repara que las reglas de la conducta, como los preceptos, no son reglas del comportamiento:
todas aquellasleyesdela naturalezaaplicablesuniversalmentealcomportamientohumano,como,por
ejemplo,silopellizcas,gritar.EnconcordanciaconTuring,noslocreemosqueesverdadqueelser

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

regulado por leyes del comportamiento implica ser algn tipo de mquina sino contrariamente, que
ser tal mquina implica el ser regulado por tales leyes (1950: 452). Dreyfus cree que, en este punto,
Turing presumiblemente generalizael argumento deWittgenstein dequeesimposible proveerreglas
normativasqueprescribanporadelantadoelusocorrectodeuntrminoentodaslassituaciones(1992:
192). El argumento de Turing, en suma, funcionara ms o menos de esta forma: si bien no podemos
formularlasreglasnormativasparalacorrectaaplicacindeunpredicadoparticular,estonodemuestra
definitivamente que no podamos formular las reglas que describan cmo, de hecho, un individuo
particular aplicaunpredicadosemejante(cf. Dreyfus, idem).O,puesto deotraforma: AunqueTuring
estdispuestoaadmitirquepodraresultarimposibleproveerunaseriedereglasquedescribanloque
una persona debera hacer en todas las circunstancias no hay razn para dudar de que se podra en
principio descubrir una serie de reglas que describan lo que esa persona hara (1992: 193). Pero no
parece haber tampoco ninguna razn que nos obligue a creer que, incluso si existiesen las leyes en
cuestin,estaspodranformalizarseenunacomputadoradigital.

Elargumentociertamentequieresustentarseenlaambigedaddelamismaexpresinleyesdel
comportamiento que podra referirse, por un lado, a las acciones humanas significativas o a los
movimientos fsicos del organismo humano. Dado que los cuerpos humanos pertenecen al mundo
descritoporlafsica,deberasuponerseque,entantoobjetosfsicos,obedecenciertoacomportamiento
regularque,encuantotal,podraserformalizabletalcomolatrayectoriadecualquierproyectilocomo
lacada delos objetos. Sin embargo,la idea deTuring yMinskyde la inteligencia delas mquinasno
afirmaquestasresuelvenecuacionesfsicas,sinoqueprocesandatosquerepresentanhechossobreel
mundomedianteelrecursoaoperacioneslgicas.LaIA,enestatempranafasecomoGOFAI,postulala
existencia de una mente que manipula datos que representan el mundo y no pretende resolver las
ecuacionesfsicasquedescribenlosobjetosfsicos.Dehecho,utilizarlasleyesdelafsicaparacalcular
detalladamenteelmovimiento delos cuerpospodraser fsicamenteimposible.Segnel principiodel
lmitedeBremermann,ningnsistemaprocesadordedatos,artificial oviviente,puedeprocesarms
de21047bitsporsecundoporcadagramodesumasa(1962:93).Estoquieredecirque,dadoquehay
107 segundos en un ao, que la edad de la tierra es ms o menos 109 aos, y que su masa est
constituida por menos de 6 1027 gramos, incluso una computadora del tamao del planeta tierra no
podraprocesarmsde1093bitsduranteuntiempoigualalaedaddelatierra.SiBremermannestenlo
cierto, las dificultades en los campos del reconocimiento de patrones y en la prueba de teoremas no
sernresueltasporelmeroaumentodelavelocidaddelprocesamientodedatosporpartedelasfuturas
supercomputadoras (1962: 94). Pero an as, los investigadores en el campo de la IA, de Turing a
Minsky,parecenrefugiarseenestaconfusinentrelasleyesfsicasylasreglasdelprocesamientodela
informacinparaconvencerseasmismosdequehayraznensuponerqueelcomportamientohumano
puedeserformalizado,yqueelpesodelapruebarecaesobreaquellosquecreenquehayprocesosque
nopuedenserdescritosenunlenguajeformal(Dreyfus,1992:197).

(2.4)LaAsuncinOntolgica

En concordancia con la asuncin ontolgica, se supone que todo lo esencial para el


comportamiento inteligente puede ser comprendido en trminos de una serie de elementos
independientes y determinados (Dreyfus, 1992: 206). Habra, as, una actividad sinttica de la mente
que,apartirdelreconocimientodeesosrasgosindependientes,formaralatotalidaddelsignificado.El
sentido sera el resultado de la suma de estos elementos factuales objetivos y de sus funciones.
Programarunamquinaconsentidoprincipiaconlaasignacinasurganodealmacenajedetodoslos

129
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

objetosdelmundoydetodaslasfuncionesyrelacionesdeesosobjetos.18Porque,qumspuedehaber
qu objetos, funciones, procesos y relaciones entre esos objetos y esas funciones? Con todo, cabra
preguntar qu pasara si hubiese otras determinaciones, no presentes ni objetivas, que fuesen lo
determinanteenlosaspectosmsimportantesdelsentido?Qupasarasimsbienloqueledasentidoal
mundo es lo ausente, lo que no est nunca presente como tal en las cosas, sino slo lo latente y lo
sugerido, es decir, lo que no se anuncia? Y qu pasara si el sentido fuese ms posibilidad que
actualidad,sifuesealgomsqueloobjetivoyactual?

En la refutacinde estaasuncin ontolgica cuya indubitabilidad derivadedosmilaosde


metafsica occidental junto con una mala interpretacin del xito de la fsica Dreyfus comienza a
mostrar su semblante ms filosfico, porque no es cierto que a nivel fenomenolgico, es decir, que al
niveldenuestraexperienciavital,lascosassepresentencomoobjetosocomoentesdeterminados:

Hastaunsillanoescomprensibleentrminosdecualquierseriedehechosode
elementos del conocimiento. Reconocer una cosa como una silla, por ejemplo,
significacomprendersurelacinconotrascosasyconlossereshumanos,locual
implicauncontextohumanototaldeactividad,endondelaformadelcuerpo,la
institucindelamuebleraylainevitabilidaddelafatiga,constituyensolamente
unapequeapartedeeseentramado(Dreyfus,1992:210).

Lo que hay en el pensamiento objetivante y calculador, y en la suposicin heurstica del


seguimientodereglasdiscretasenqueconfiabanlosinvestigadorespionerosenIA,noesmsqueloque
el joven Heidegger haba llamado desmundanizacin (Entweltlichung), privacin de vida (Entlebung),
deshistorizacin(Entgeschichtlichung)ydesignificacin(Entdeutung)(cf.GA56/57).Elmundohumano
tienesentido,yelsentidoesprecisamenteloquenohasidoposibleprogramaracausadelasasunciones
filosficasexpuestasanteriormente.Peroelmundomundea(esweltet);fraseacuadaenunejerciciode
imaginacin que Heidegger, en su primera leccin universitaria en Friburgo en 1919, lanz a sus
estudiantesparaquecomprobasenporsmismoselprocesodeprivacindevida(Entlebung)aquese
somete toda experiencia originaria en la objetivacin teortica. Se trata de la experiencia cotidiana de
Heideggercomoprofesordellegaralaulayverlactedradesdelaqueimpartirsuslecciones:

[E]ntro al aula y veo la ctedra Qu veo? Superficies marrones que se


cortanenngulorecto?No,veootracosa.Veoacasounacaja,msexactamente,
unacajapequeacolocadaencimadeotramsgrande?Deningnmodo.Yoveo
lactedradesdelaquedebohablar,ustedesvenlactedradesdelacualseles
habla,enlaqueyohehabladoya.Enlavivenciapuranosedaningnnexode
fundamentacin, como suele decirse. Esto es, no es que yo vea primero
superficiesmarronesqueseentrecortan,yqueluegosemepresentancomocaja,
despus comopupitre,ymstardecomopupitre acadmico,como ctedra,de
tal manera que yo pegara en la caja las propiedades de la ctedra como si se
trataradeunaetiqueta.Todoestoesunainterpretacinmalaytergiversada,un
cambio de direccin en la pura mirada al interior de la vivencia. Yo veo la

130
NOVIEMBRE
2 0 11

18EnconcordanciaconTuring,unacomputadoradigitalconsisteentrespartes:(i)Store.(ii)Executiveunit.(iii)Control.(1950:
437). La unidad de almacenamiento (store), guarda informacin, mientras que la unidad ejecutiva (executive unit) realiza las
operaciones individuales involucradas en elclculo. Por ltimo, la unidad de control (control), se ocupa de quelas instrucciones
seancumplidasalpiedelaletrayenelordenadecuado.Cf.Turing,1950:437439.

Jethro Mass | El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte)

ctedra de golpe, por as decirlo; no la veo aislada, yo veo el pupitre como si


fuerademasiado alto param. Yoveounlibrosobreelpupitre, comoalgo que
inmediatamentememolesta(unlibro,ynounnmerodehojasestratificadasy
salpicadasdemanchasnegras)(GA56/57:71).

Enlavivenciadeverlactedrasemedaalgodesdeunentornoinmediato.Este
mundoquenoscircundanoconstadecosasconundeterminadocontenidode
significacin, de objetos a los que adems se aada el que hayan de significar
estoylootro,sinoquelosignificativoesloprimario,semedainmediatamente,
sinningnrodeointelectualquepaseporlacaptacindeunacosa.Alviviren
un mundo circundante, me encuentro siempre rodeado de significados por
doquier,todoesmundano,mundea[esweltet](GA56/57:7273).

No se trata, desde luego, de volvernos msticos y de buscar en consecuencia una exhalacin


nebulosa de turbios sentimientos del mundo [Weltgefhlen] que, adems, se presentan tan
pomposamente y actan detrs de la luz (GA 61: 101), tal como ya lo advirti Heidegger en sus
leccionesfenomenolgicassobreAristteles.Noeselcasodeunasingularidadinmediata,delovivido
purotalque,siloafirmamos,terminamospordisolverlo.19Noeselnosaber,inconcebibleeinefable,del
quehablaJeanHippolitecuandoexplicaaHegel(cf.1996:1333).Contrariamente,noesdeotromundo
del que hablamos. El mundo de los objetos determinados, cuyas funciones son siempre pasibles de
formalizacin lgica ese s que es otro mundo. Pero no es el mundo humano, tal y como se nos da
primariamenteenlaexperienciadelsentido.

En la segunda parte de este estudio, veremos la influencia de estas ideas fenomenolgicas en


algunosinvestigadoresdelaIAquehanqueridodesarrollarprogramasheideggerianos.

Bibliografa

Anderson, David et al. (2008) An Introduction to Management Science. Quantitative Approaches to Decision
Making.Ohio:ThomsonSouthWestern.
Bechtel, William & George George (eds.): A Blackwell Companion to Cognitive Science. New York:
Blackwell,1999.
Bremermann, HansJoachim (1962) Optimization Through Evolution and Recombination. En: Self
OrganizingSystems.Ed.M.C.Yovittsetal.Washington,D.C.:SpartanBooks,93106.
Bunge,Mario(2005)IntuicinyRazn.BuenosAires:EditorialSudamericana.
Dreyfus,Hubert(1965)AlchemyandArtificialIntelligence.RANDPapers.P3244
_____.(1992)WhatComputersStillCantDo.Cambridge,MA:TheMITPress.
_____. (2007) Why Heideggerian AI Failed and how Fixing it would Require making it more
Heideggerian.PhilosophicalPsychology.Vol.20No.2,247268.
Goertzel,Ben& CassioPennachin(eds.) (2007) ArtificialGeneralIntelligence.BerlinHeidelbergNew
York:Springer.
Haugeland,John(1996)ArtificialIntelligence.TheVeryIdea.Cambridge,MA/London:TheMITPress.
Elestodelacertezasensibleeinmediataes,paraHegel,lamayordelastrivialidades:Comoununiversalenunciamostambinlo
sensible (1994: 65). En ese acto de la enunciacin, se disuelve su pretendida consistencia singular. Es la inevitabilidad de la
mediacinquecomienzaconellenguage,queeslomsverdadero(idem),laquenosprohibeteneraccesoalpuroserinmediato
delacertezasensible(cf.Hegel,1994:63ss).
19

131
NOVIEMBRE
2 0 11

El mito de lo mental: la influencia de la fenomenologa en el proyecto de investigacin de la Inteligencia Artificial (Primera parte) | Jethro Mass

132

Hegel,G.W.F.(1994)FenomenologadelEspritu.Trad.W.Roces.Mxico:FondodeCulturaEconmica.
Heidegger, Martin (GA 56/57) Zur Bestimmung der Philosophie. [KNS 1919]. Gesamtausgabe Bde. 56/57.
Ed.B.Heimbchel.FrankfurtamMain:VittorioKlostermann.1987.[Versincastellanadeunade
lastreslecciones:LaIdeadelaFilosofayelProblemadelaConcepcindelMundo.Trad.J.A.Escudero.
Barcelona:Herder.2005].
_____. (GA 61) Phnomenologische Interpretationen zu Aristoteles. Einfhrung in die phnomenologische
Forschung. [WS 19211922]. Gesamtausgabe Bd. 61. Ed. W. Brcker & K. BrckerOltmanns.
FrankfurtamMain:VittorioKlostermann.[1985]21994.
Hendler,James(2008)AvoidingAnotherAIWinter.IEEEIntelligentSystems.Vol.23,No.2,pp.14.
Hobbes,Thomas(2005)Leviathan(PartsIandII).Ed.A.P.Martinich.Ontario:BroadviewPress.
Hyppolite,Jean(1996)LgicayExistencia.Trad.L.Medrano.Barcelona:Herder.
Lighthill, James (1973) Artificial Intelligence: A General Survey. Artificial Intelligence: A Paper
Symposium.ScienceResearchCouncil.
Mass, Jethro (2009) De la Vida Histrica: Auge y Aporas del Historicismo Decimonnico.
Konvergencias. Filosofa y Culturas en Dilogo. Vol. VII, No. 21, 208250. URL:
<http://www.konvergencias.net/jmasis252.pdf>.
McCarthy, John (1958) Artificial Intelligence Project: Programs with Common Sense. AI Memo. No. 17.
Cambridge,MA:MITArtificialIntelligenceLaboratory.
Minsky,Marvin(1967)Computation:FiniteandInfiniteMachines.NewJersey:PrenticeHall.
_____.(ed.)(1969)SemanticInformationProcessing.Cambridge,MA:TheMITPress.
Minsky, Marvin & Seymour Papert (1970) Proposal to ARPA for Research on Artificial Intelligence at MIT
(19701971).AIMemo.No.185.Cambridge,MA:MITArtificialIntelligenceLaboratory.
_____.(1971)ProposaltoARPAforResearchonArtificialIntelligenceatMIT(19711972).AIMemo.No.245.
Cambridge,MA:MITArtificialIntelligenceLaboratory.
_____. (1972) Artificial Intelligence. Progress Report. AI Memo. No. 252. Cambridge, MA: MIT Artificial
IntelligenceLaboratory.
Neisser,Ulrich(1967)CognitivePsychology.NewYork:AppletonCenturyCrofts.
Papert,Seymour(1968)TheArtificialIntelligenceofHubertL.Dreyfus.ABudgetofFallacies.AIMemo.No.
154.Cambridge,MA:MITArtificialIntelligenceLaboratory.
Shannon,Claude(1948)AMathematicalTheoryofCommunication.BellSytemTechnicalJournal.Vol.27,
379423.
Simon, Herbert & Allen Newell (1958) Heuristic Problem Solving: The Next Advance in Operations
Research.OperationsResearch.Vol.6,No.1,110.
_____.(1962)ComputerSimulationofHumanThinkingandProblemSolving.MonographsoftheSociety
forResearchinChildrenDevelopment.Vol.27,No.2,137150.
Stein,Erwinet.al.(2006)Calculemus!NewResearchResultsandFunctionalModelsRegardingLeibniz
Four Functional Calculating Machine and the Binary Calculating Machine. Foundations of Civil
andEnvironmentalEngineering.No.7,319332.
Strawson, Peter (1997) Anlisis y Metafsica.Una Introduccin a la Filosofa. Trad. N. Guasch. Barcelona
BuenosAiresMxico:Paids.
Turing,Alan(1950)ComputingMachineryandIntelligence.Mind.Vol.LIX,No.236,433460.
Vargas Guilln, Germn (2004) Psicologa y Fenomenologa Trascendentales en el Proyecto de la
InteligenciaArtificial.RevistadeFilosofadelaUniversidaddeCostaRica.Vol.XLII,No.106107,105
118.
Wheeler,Michael(2005)ReconstructingtheCognitiveWorld:TheNextStep.Cambridge:TheMITPress.

NOVIEMBRE
2 0 11