Вы находитесь на странице: 1из 20

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

El mito de lo mental: el proyecto de investigacin de la inteligencia artificial y la transformacin hermenutica de la fenomenologa (Primera parte)
Jethro Mass
Julius Maximilians Universitt Wrzburg

Resumen Abstract En sus dos partes, este estudio pretende reconstruir con cierto detalle el fiasco del proyecto de investigacin de la Inteligencia Artificial y las consecuencias de la crtica devastadora de ese proyecto llevada a cabo por Hubert Dreyfus en su magnum opus What Computers Cant Do (1972, 1979, 1992). Parte de estas consecuencias, es la emergencia de un grupo de investigadores en este campo especializado que se han llamado a s mismos heideggerianos. Esta autodefinicin ser criticada en la segunda parte de este estudio. En esta primera parte, se consideran (i) los sueos estrafalarios y las falsas expectativas de los investigadores en IA, y (ii) la propia crtica dreyfusiana a partir de supuestos de naturaleza fenomenolgica. 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 magnum opus What Computers Still Cant Do (1972, 1979, 1992). Part of these consequences is the emergence within this specialized field of a group of scholars who have called themselves Heideggerian. This definition shall be dealt with and criticized in the second part of this study. In this first part, we go on to analize (i) the bizarre dreams and false expectations of AI researchers, and (ii) Dreyfus own criticism and its definitive thrust of phenomenological nature.

Palabras Clave: Inteligencia artificial, teora de la subjetividad, filosofa de la mente, transformacin hermenutica de la fenomenologa, Martin Heidegger. 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)

El mito de lo mental: el proyecto de investigacin de la inteligencia artificial y la transformacin hermenutica de la fenomenologa (Primera parte)
Jethro Mass
Julius Maximilians Universitt Wrzburg

Los matemticos quieren tratar los asuntos de la percepcin matemticamente y, con ello, se ridiculizan a s mismos. [] La mente lo hace todo tcita, naturalmente, y sin reglas tcnicas. PASCAL, Penses

1. Antecedentes: Sueos Estrafalarios y Falsas Expectativas

Comencemos con unas lapidarias sentencias de Hubert Dreyfus que se encuentran a la altura del cierre de la introduccin de su obra seminal, What Computers Still Cant Do. A Critique of Artificial Reason (1992):1 Si estamos en el umbral de crear Inteligencia Artificial, estamos a punto de ser testigos del triunfo de una concepcin muy especial de la razn. En efecto, si la razn puede ser programada en una computadora, esto confirmar una concepcin del ser humano como objeto, detrs de la cual han andado a tientas los pensadores occidentales en los ltimos dos mil aos, pero que slo ahora tienen las herramientas para expresar e implementar. La encarnacin de esta intuicin, cambiar drsticamente nuestra comprensin de nosotros mismos. Si, por otra parte, resultase que la Inteligencia Artificial es imposible, entonces nos veremos en la obligacin de distinguir entre la razn humana y la artificial, 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, o bien abandonar la explicacin mecnica de la naturaleza humana que se ha ido desarrollando gradualmente en los ltimos dos mil aos (1992: 78 79).2 Se trata, a no dudarlo, de sentencias tajantes y todo parecera indicarlo de una encrucijada decisoria, puesto que el fracaso o xito del proyecto de investigacin de la Inteligencia Artificial (IA en lo sucesivo) pareciera dejarnos sopesar concluyente y definitivamente la concepcin de la razn forjada en Occidente que se nutre en sus rasgos fundamentales de la suposicin (y absolutizacin) de la objetividad. Adems, se trata aqu, ni ms ni menos, que de nuestra propia concepcin respecto de nosotros mismos y de nuestro encuentro con las cosas. En suma, se trata de la interpretacin de qu sea lo humano. 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, puesto que el problema de la Inteligencia Artificial es de naturaleza ontolgica. 2 La traduccin de las citas que provengan de textos en lengua extranjera, son exclusiva responsabilidad del autor. Se traducirn todos los textos citados en el cuerpo principal del texto. Las citas que se coloquen en el aparato de notas aclaratorias al pie de la pgina, sin embargo, se dejarn intactas en la lengua original.
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

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 nuestra propia valoracin de este triunfo de la tradicin filosfica y cientfica; o bien por el contrario, en caso de que nos hallemos ante resultados anmalos respecto de nuestras grandes expectativas, lo que nos espera es llamar a cuentas a una concepcin de las cosas y de nosotros mismos que, en el fondo, resulta insuficiente para explicar, precisamente, qu somos. Parece que, si Dreyfus est en lo cierto, nos encontramos en el umbral de comprobar los alcances genuinos y los lmites del pensamiento objetivante, es decir, se trata de dimensionar, de colocar en un terrreno acotado, a la objetividad. Y por objetividad hemos de entender la concepcin teortica que se propone estudiar, precisamente, objetos y que no concibe diferencias a menos que slo lo sean de grado entre el ser humano y el ser de los objetos, 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 posibilidad de esta tematizacin, es el asunto que ac puede ser confirmado, o que puede ulteriormente disolverse en la nada. 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), no slo quedar demostrado que no puede llevarse a cabo un estudio objetivante del ser humano, sino que la misma nocin de objeto aparecer como un trasunto abstracto e inoriginario incluso cuando se aplica a las mismas cosas. La coseidad (Dinglichkeit), de tal forma, quedar cuestionada en un doble sentido y, con ello, desactivada en su eficacia explicativa. En este sentido, es la Geganstndlichkeit de los Objekte, es decir, el carcter de cosa de los objetos, lo que en segundo lugar viene a cuestin. Se trata, 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, levant inmediatamente una serie de reacciones que, cuando menos, pueden ser caracterizadas de virulentas. Pero todo esto es comprensible, porque Dreyfus lanz una bomba en el mismo campo de juego de los filsofos analticos y atac su ms preciosa idea: la de comprobar, por medios tecnolgicos, la adecuacin del anlisis filosfico y, junto con ello, la primaca de la abstraccin logicista. En fin, no slo se trataba de filosofar hablando y discutiendo, sino sobre todo de realizar la abstraccin consecuente en un aparato tecnolgico. 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 LOGO y un reputado cientfico computacional y matemtico, puede ser considerado como el primero de todos los crticos de Dreyfus. En 1968, se aboc afanosamente a la redaccin de un extenso memorando, de ms de setenta pginas de extensin, acerca del primer escrito que dedic Dreyfus a los avances de la IA intitulado, The Artificial Intelligence of Hubert L. Dreyfus. A Budget of Fallacies (cf. 1968). Segn recuerda Dreyfus, su propio reporte para la Corporacin RAND acerca del estado de la investigacin, Alchemy and 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 referencia a la alquimia, Dreyfus constat lo que le pareca ser un patrn en el desarrollo de la IA: xito temprano acompaado, seguida e ineludiblemente, de signos inequvocos de estancamiento y degeneracin (cf. 1965: 9 17). Alchemy and Artificial Intelligence esboza los temas que sern desarrollados en la obra ms conocida de Dreyfus, pero lo que dio pie a una ms bien sauda recepcin quiz fue la

116
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)

sugerencia de que la forma en la que una mquina procesa informacin (machine information processing) difiere esencialmente de aquella que atae a los agentes humanos (cf. 1965: 18 46), y de que ciertas concepciones falsas de lo mental por parte de los investigadores de la IA (como la petitio principii segn la cual los seres humanos, de hecho, procesan informacin) enmascaraban en vez de hacerle frente la seriedad de las dificultades teorticas que iban saliendo al paso de la investigacin (cf. 1965: 46 64). 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 clasifica como imposibles programas que cualquier principiante podra desarrollar (1968: 0 2).3 Adems, 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: 0 7), y su procedimiento denunciativo est viciado por la falta de integridad: Gran parte del anlisis penetrante 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: 0 7). Papert se siente incluso facultado para reflexionar acerca del lugar de las humanidades en la academia: Es una cobarda el responder [a las demandas de un pensamiento humanista] llenando los departamentos de humanidades con fenomenlogos quienes nos aseguran que la computadora ha sido desnudada por sus estados numricos finitos, y esto sin asediar ulteriormente las reas de actividades que los fenomenlogos califican de estrictamente humanas (1968: 0 2).4 En suma, de lo que carecera Dreyfus, segn Papert, no es slo de las competencias tcnicas que lo capacitaran para ser un crtico serio y fructfero de la IA, sino sobre todo de integridad acadmica; juicio con pretensiones de rotundidad que le permite a Papert canturrear edificantemente sobre los fines 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;5 esto, puesto que la combinacin de una imagen exageradamente romntica de s mismo con una imagen exageradamente simplificada de la compudora, hace que el nefito [en este caso, Dreyfus] se aterre ante la sugerencia de que un robot podra tomar un dictado tan bien como su secretaria (1968: 0 6). Ahora bien, son reacciones de este talante, por lo dems, las que tuvieron el efecto inmediato de incidir en que la honestidad intelectual de Dreyfus fuese cuestionada y que su trabajo profesional en la universidad se viera amenazado. Todo lo cual es comprensible, puesto que las opiniones de Dreyfus fueron, por lo dems, el principal detonante del llamado invierno de la IA (Artificial Intelligence winter):

3 Citamos el memorando de Papert segn la paginacin original, que se estructura segn el guarismo de cada una de las secciones, seguido del nmero de pgina. 4 Segn Papert, his [de Dreyfus] arguments must be read as literary conceits with deep humanist content (1968: 0 2). 5 En este contexto, Papert denuncia los apegos de Dreyfus a la falacia super humana (superhuman fallacy): Inability to imagine the kind of formalism that could describe certain aspects of human behavior leads us to say that this behavior cannot in principle be encompassed by formal theories, 1968: 0 6.

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

el perodo de tiempo en que se redujo notablemente el presupuesto para investigacin en IA despus de la subsecuente frustracin ante la manifiesta falta de resultados del proyecto;6 perodo de tiempo, cabe aadir, que abarca desde los aos setenta y que llega hasta nuestros das. La IA se ha convertido en una serie de sub reas muy especializadas pertenecientes principalmente a la robtica, pero el proyecto basado en la hiptesis fuerte de la IA ha sido abandonado.7 Cules fueron las expectativas que no llegaron a buen trmino? Nos haremos una buena idea de ellas si nos remitimos a las estrafalarias aserciones hechas por Herbert Simon y Allen Newell, ambos cientficos pioneros del proyecto, en 1958: No tengo intenciones de sorprenderlos o conmocionarlos Pero la forma ms simple en la que puedo resumirlo es diciendo que ya hay en el mundo mquinas que piensan, 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 pueden manejar las mquinas sea coextensivo con el rango de problemas de los que se encarga la mente humana (Simon & Newell, 1958: 8). Que sepamos, an hoy, es decir, cinco dcadas despus de las declaraciones de Simon y Newell, no contamos con mquinas que realmente piensen, ni que sean capaces de aprender o de crear (a menos que entretengamos ideas muy bsicas de pensar, aprender y crear, o que concibamos, con Hobbes, que pensar no es ms que calcular).8 Las declaraciones pblicas de Simon y Newell parecen, desde nuestro punto de vista actual, simplemente falsas y exageradas. Ahora bien, si este era supuestamente el 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) como la disciplina teortica que permitira simular los procesos de la resolucin de problemas del nivel humano en computadoras digitales,9 Simon y Newell hacen cuatro predicciones puntuales respecto de lo que sera esperable de las mquinas inteligentes en el futuro: 1. Que en diez aos, una computadora digital ser el campen mundial de ajedrez, a

118
NOVIEMBRE 2 0 11

El invierno de la IA ha tenido varias etapas, entre las cuales pueden destacarse las siguientes: 1966: la aceptacin definitiva del fracaso del proyecto de la traduccin mecnica. 1970: el abandono del conexionismo (el modelamiento de los fenmenos mentales a partir de procesos emergentes de redes interconectadas de unidades ms simples). 1971 1975: 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 importancia de invertir en proyectos de IA en Inglaterra. 1973 1974: la suspensin del presupuesto para la investigacin en IA por parte de DARPA. 1988: la cancelacin de ms presupuesto por parte de la Strategic Computer Iniciative. 1993: el decamiento de las altas esperanzas depositadas en los expert systems. 1993 en adelante: la creciente mala reputacin de la IA como ciencia. Sobre el estado actual del invierno de la IA, cf. Hendler, 2008. 7 Strong AI hypothesis es la expresin acuada con el fin de referir la expectativa fundante del proyecto: la de que, eventualmente, la accin inteligente general (general intelligent action) podra ser simulada en una mquina digital. Cf. al respecto, Goertzel & Pennachin (eds.) 2007. 8 De acuerdo con con la afamada asercin de Leviathan (1651), razonar (o pensar) es calcular: Out of which we may define (that is to say determine) that which is meant by this word reason when we reckon it amongst the faculties of the mind. For REASON, in this sense, is nothing but reckoning (that is, adding and substracting) of the consequences of general names agreed upon for the marking and signifying of our thoughts; I say marking them, when we reckon by ourselves; and signifying, when we demonstrate or approve our reckoning to other men (2005: 34). Es, precisamente, Leibniz a quien se le atribuye la exhortacin calculemus!, dirigida contra quienes dudasen de las bondades de su mquina de clculo de cuatro funciones (al respecto, cf. Stein et al.: 2006). 9 [W]e have now the elements of a theory of heuristic (as contrasted with algorithmic) problem solving; and we can use this theory both to understand human heuristic processes and to simulate such processes with digital computers (Simon & Newell, 1958: 6).
6

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

menos que las reglas la excluyesen de la competicin. 2. Que en diez aos, una computadora digital descubrir y probab un nuevo e importante teorema matemtico. Que en diez aos, una computadora digital compondr msica que ser aceptada por los crticos como de valor esttico considerable. 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 caractersticas de los programas de las computadoras (Simon & Newell, 1958: 7 8).

3.

4.

Solamente la cuarta profeca lleg a cumplirse, y se lleg a instalar culturalmente en el sentido comn. Pero, cules son las razones que yacen detrs de estas expectativas y profecas tan ilusorias? Por qu se esperaba tanto del proyecto de investigacin de la IA? No slo se trataba de un optimismo 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 de estas asunciones indiscutidas a partir de una lectura de dos artculos clsicos sobre el tema de Simon & Newell: Heuristic Problem Solving: The Next Advance in Operations Research (1958) y Computer Simulation of Human Thinking and Problem Solving (1962). La propuesta programtica de la heursica (heuristics) fue escrita conjuntamente con Newell, 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 mentado galardn, y las ciencias polticas (disciplinas que l mismo llama suaves soft fields si se las 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 vendra a jugar un papel progresivo y decisivo la heurstica, no deja de ser empresarial y ulteriormente industrial. Simon inserta histricamente su propio proyecto en conjuncin con los intentos mecanicistas decimonnicos de Charles Babbage (1791 1871), a quien se atribuye el haber sin lugar a dudas comprendido e inventado la computadora digital (1958: 3). Simon tambin seala la idea de Gaspard de Prony (1755 1839) de una produccin masiva de las tablas matemticas, la cual sugiri a Babbage que la 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 ante la invencin de un mecanismo matemtico que podra resolver problemas humanos, porque estos criterios industriales y administrativos conducen a Simon a concluir que un problema bien estructurado (well structured) a contrapelo de uno mal estructurado (ill structured), debera satisfacer los siguientes criterios: 1. Puede ser descriptible en trminos de variables numricas, de cantidades vectoriales y a nivel de escala.
10 11

119
NOVIEMBRE 2 0 11

Estas asunciones son presentadas y discutidas detalladamente en Dreyfus 1992, 153 227. Algunas reflexiones sobre racionalidad econmica y planeamiento social, se encuentran en Simon, 1996.

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 funcin objetiva bien definida (por ejemplo, la mximizacin de la ganancia o la minimizacin de los costes). 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 stepping stone, las tcnicas de Monte Carlo, etc. (1958: 4 5).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 conclusin es esperable: [H]ay muchos problemas prcticos sera ms adecuado decir que la mayora 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 asunto de una corazonada que del clculo (a matter of hunch than of calculation, cf. idem). Es en este contexto (en los sueos de la administracin empresarial y de los procesos industriales de la total calculabilidad), en que la heurstica hace su aparicin como el mtodo que, en principio, permitira deshacer el embrujo de todas estas inexactitudes que no permiten reducir el comportamiento humano bajo la cuantificacin y la calculabilidad total. La heurstica vendra a ser la mecnica del juicio prctico (una suerte de mecnica para lo social) y, de tal forma, quedaran resueltos los problemas metodolgicos que se cifraron desde el siglo XIX en las vicisitudes de las ciencias humanas por alcanzar un estatuto cabal de cientificidad. Estaramos, as, a las puertas de encontrar, en esta mismsima conferencia de Simon y Newell, la solucin a los problemas que turbaron en antao a Wilhelm Dilthey (pero esto, desde luego, sin reconocer la distincin diltheyana entre las ciencias naturales y las del espritu).13 Pero, en qu consiste exactamente el mtodo de la heurstica anunciado tan pomposamente por Simon y Newell? Bsicamente, en una teora de la resolucin de problemas que puede utilizarse para dar
El algoritmo simplex, desarrollado por el matemtico estadounidense George Dantzig (1914 2005), consiste en una serie de soluciones numricas para la programacin lineal. El simplex es un politoto de N + 1 vrtices en N dimensiones: un segmento de lnea sobre una lnea, un tringulo sobre un plano, un tetraedro en un espacio de tres dimensiones y as sucesivamente. Por otra parte, el stepping stone (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 camino fsico formado por una sucesin de piedras en un ro que serviran para cruzarlo. Finalmente, los mtodos de Monte Carlo, 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 resultados alcanzados. Al respecto, cf. Anderson et al., 2008; principalmente el captulo 17 y ss. 13 He tratado extensamente las aporas decimonnicas del historicismo y las contradicciones de Dilthey, el fundador programtico de las ciencias del espritu (Geisteswisseschaften), en otro trabajo. 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 medio de computadoras digitales. La intuicin, el tacto comprensivo [insight] y el aprendizaje no son ms posesiones exclusivas de los seres humanos: cualquier computadora de gran velocidad puede ser programada tambin para exhibir estas capacidades (Simon & Newell, 1958: 6). El programa heurstico, que es el resultado de las investigaciones llevadas a cabo durante los aos cincuenta y sesenta por Simon, Newell y J. C. Shaw para la Corporacin RAND, otorgara a una computadora la habilidad de descubrir pruebas para los teoremas matemticos; no de verificar pruebas, debe notarse, puesto que un simple algoritmo puede disearse para eso, sino de llevar a cabo las actividades creativas e intuitivas propias de un cientfico que busca la prueba de un teorema (Simon & Newell, 1958: 7). Ulteriormente, es decir, 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 aplicada a la comprensin de la mente humana. Con la ayuda de los programas heursticos, ayudaremos al ser humano a obedecer el mandamiento antiguo: Concete a ti mismo. Y conocindose, podr aprender a utilizar los avances del conocimiento para beneficiar, en vez de destruir, a la especie humana (Simon & Newell, 1958: 8). Como se desprende de lo antedicho, los investigadores pioneros de la IA no trabajaban simplemente para conseguir resultados parciales o meramente ingenieriles. Se trataba, ni ms ni menos, que de simular la inteligencia humana y todos sus atributos, incluso de reproducir artificialmente la mente y, por ello, no es que haya ac un entrometimiento de la metafsica en la ingeniera (como haba sugerido Papert, cf. 1968), sino que, como dice bien Germn Vargas, el proyecto es de suyo 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 conclusin claramente cientificista (y comercial) de Simon y Newell habla a favor de esta interpretacin: Cuando las mquinas tengan mentes, podremos crear copias de estas mentes de la forma tan barata como hoy en da se imprimen libros (1958: 9). Segn nuestra forma de interpretar la historia de la IA, strong AI es una caracterizacin tarda del proyecto que asume que el designio original por programar la subjetividad protooperante tuvo que confesarse fallido. Pero es que no se trataba de cualquier gazapo que fuera superable mediante el mejoramiento de las teoras respecto de los mecanismos, sino que con slo echar un vistazo a la concepcin que se entretena de la mente, es dable pensar que se trataba si se me permite decirlo con Garca Mrquez de una crnica de una muerte anunciada. En Computer Simulation of Human Thinking and Problem Solving (1962), Simon y Newell presentaron un sistema metdico que llamaron GPS: General Problem Solver. En este escrito programtico, comenzaron anunciando lo que les pareca una obviedad y que solamente un ludita se atrevera a disputar: Ya no es necesario argumentar que las computadoras pueden utilizarse para simular el pensamiento humano o para explicar en trminos generales cmo dicha simulacin puede llevarse a cabo. Ms de una docena de programas computacionales, que han sido escritos y probados, llevan a cabo algo de las tareas interesantes de la resolucin de problemas y de la manipulacin simblica que los seres humanos pueden realizar, y lo hacen en una forma que simula, al menos en los aspectos ms generales, el modo en que los seres humanos cumplen con estas tareas. Los programas de las computadoras juegan

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, memorizan slabas sin sentido, forman conceptos y aprenden a leer (1962: 137). En concordancia con sus creadores, el GPS es un sistema de mtodos que resulta bastante til en muchas situaciones en que una persona enfrenta problemas para los cuales no posee mtodos especiales de resolucin (1962: 138). De tal forma, cuando una persona tiene que enfrentar un problema, sigue estrictamente una sucesin reglamentaria inconsciente, un mecanismo que est funcionando cada 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 denominar pensamiento. La asuncin bsica que supone la viabilidad del GPS es de raigambre filosfica: habra, en principio, una estructura subagencial de cmo piensan los seres humanos constituida principalmente por un sistema lgico de reglas. Pero esta es puede decrselo sin ambages la concepcin analtica de la filosofa. El filsofo oxoniense Peter Strawson, uno de los pensadores analticos ms eminentes del siglo 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 estructura conceptual general de la que nuestra prctica diaria muestra que tenemos un dominio tcito e inconsciente (1997: 50). Los investigadores de la IA estaban trabajando como filsofos analticos, pero ahora no slo discutiendo y dilucidando teoras, sino poniendo en marcha un proyecto de investigacin 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 subagencial del pensamiento y del obrar comprensivo humano. Ahora bien, lo tcito y lo inconsciente es aquello que, mediante la asignacin de ciertos algoritmos a una mquina, podra simular los procesos heursticos de que estara supuestamente constituida la mente humana. Esto tambin est supuesto en el GPS y, si bien Simon y Newell lo afirman en relacin con la ingeniera computacional, repiten la misma concepcin strawsoniana de la existencia de una estructura reglamentada del pensamiento: En tanto teora de la resolucin humana de los problemas, el GPS sostiene que los estudiantes universitarios resuelven problemas llevando a cabo esa suerte de anlisis organizado en trminos de medios y de fines. No sostiene que este proceso se lleve a cabo de manera consciente, pues es fcil mostrar que muchos pasos en el proceso de la resolucin de problemas no alcanzan a llegar a lo consciente [do not reach conscious awareness]. Tampoco sostiene la teora que el proceso parecer particularmente ordenado para un observador que no conozca el programa en detalle o el mismo solucionador de 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 substancialmente los mismos (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 expresin verbal to cope with significa bsicamente arreglrselas, habrselas conductual, corporal y comprensivamente (esto es,

122
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)

prctica esta asuncin, puesto que si la suposicin se probase cierta aunque fuese a un nivel de escala reducido, es decir, si realmente fuese cierto que los seres humanos utilizan procesos heursticos para la resolucin inteligente de las tareas problemticas y que estos pueden ser programados tecnolgicamente, entonces la investigacin sucesiva podr felicitarse eventualmente de la esperanza, ahora asegurada para la posteridad, de alcanzar resultados cada vez ms alentadores y exitosos. Esta era, al menos, la misma esperanza de aquellos estudiantes pertenecientes al Laboratorio de IA del MIT, que se acercaron al curso sobre Heidegger que Dreyfus imparta en el primer lustro de los aos sesenta, para sealarle las falencias de la filosofa: Ustedes los filsofos han estado reflexionando 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 filsofos han fallado (2007: 247). No obstante, la respuesta de Dreyfus es categrica: Pero en 1963, cuando fui invitado a evaluar el trabajo de Allen Newell y de Herbert Simon sobre los sistemas fsico simblicos, me encontr con la sorpresa de que, lejos de 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 razonar es calcular, de las representaciones mentales de Descartes, de la idea de Leibniz de una caracterstica universal (un entramado de rasgos primitivos en que todo el conocimiento poda ser expresado), de la concepcin de Kant de que los conceptos son reglas, de la formalizacin de Frege de tales reglas, y del postulado de Wittgenstein de tomos lgicos en el Tractatus. Por decirlo de forma resumida: sin darse cuenta de ello, los investigadores de la IA estaban trabajando afanosamente en convertir la filosofa racionalista en un programa de investigacin. Pero comenc a sospechar que la ideas formuladas desde instancias existencialistas, especialmente de Heidegger y de Merleau Ponty, 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: 247 248). Es cayendo en la cuenta del tiempo en que Dreyfus hace sus primeras y acertadas denuncias, hace ya casi cuarenta aos, que su apuesta se nos muestra como un total atrevimiento. No debera haber esperado unas cuantas dcadas con el fin de vislumbrar el desarrollo de mquinas tanto ms potentes y desarrolladas? No es, precisamente, en la rapidez vertiginosa con que se desarrolla la tecnologa que, las ms de las veces, nuestras propias predicciones se nos muestran de poqusimo alcance? La estocada certera, incluso intempestiva, de Dreyfus radica en haberse dado cuenta de que lo que no marchaba con el proyecto, y la razn por la cual los orondos investigadores haban condenado su empresa al fracaso (para siempre, podra decirse incluso sin exagerar), era una determinada concepcin filosfica abstracta,
de forma encarnada y prcticamente situada) en medio de un contexto determinado en el que se est envuelto de manera ejecutiva y prxica. En cuanto terminus technicus, afrontamiento significa, por tanto, el despliegue prctico del agente humano en su vivencia en el mundo, al lado de la comprensin que de suyo acompaa este afrontamiento.

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

plagada de supuestos logicistas y metodizantes; era tambin una concepcin analtica, que parta de 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 dcadas atrs, haban sido desmantelados hasta los aicos por la fenomenologa: una forma de practicar la filosofa que, muy tardamente y no sin dificultades comprensivas bsicas, pudo paulatinamente hacer 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 fenomenolgico hermenutico), sino que seguramente a l tambin se debe el que el Laboratorio de IA del MIT se haya convertido reconocidamente heideggeriano en orientacin. 2. El Fiasco Sealado 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 predicciones se exornaba. En efecto, Marvin Minsky, el codirector del laboratorio de IA del MIT de 1959 a 1974, 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, quien acuo la expresin Artificial Intelligence en 1956, escribi al respecto un reporte para el MIT intitulado curiosamente: Programs with Common Sense, y vislumbraba la posibilidad de construir un programa (llamado Advice Taker) que manipulara proposiciones instrumentales comunes en un lenguaje formal adecuado (cf. 1958). Empero, el primer obstculo para simular de forma tecnolgica la mente, no fue sino, precisamente, el sentido comn, aunque se tratase del ms comn de los sentidos. Aunque, tal como advirtiera Voltaire, el sentido comn no es nada comn, los investigadores de la IA estaban convencidos de que cualquier dificultad debera resolverse descubriendo las artimaas funcionales de un complejsimo mecanismo natural. Pero con esto hacan caso omiso de aquel decir de Goethe, de que la inteligencia y el sentido comn se abren paso con pocos artificios. Cuando en una entrevista en la revista Wired, se le pregunt a Minsky por qu un nombre 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 retrotrae al fracaso resolutivo del problema del marco (frame problem). El problema del marco atae a la relevancia contextual en una situacin dada y, en cuanto tal, tiene que ver con la atencin fenomenolgica. A una mquina se le programan proposiciones de objetos y
15 El lugar de la fenomenologa en los Departamentos de Filosofa de las principales universidades estadounidenses e inglesas, 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). Este texto que citamos, Intuicin y Razn de Bunge es, por cierto, una excelente muestra de lo que no es la intuicin en sentido fenomenolgico. 16 Why AI is Brain Dead. Entrevista con Marvin Minsky. Wired. Issue 11, 08 Agosto de 2003.

124
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)

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) en este contexto significa: haciendo retrorreferencia a su almacenamiento recursivo de conceptos y representando simblicamente el mundo exterior, una mquina se encuentra violentamente, en primera instancia, con el problema de la relevancia del contexto. El mundo exterior, representado desde los recursos simblicos asignados al programa computacional, no parece hallar parangn con el mundo humano, donde los cambios plsticos del entorno son constantes y variables, 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 problema del marco, ha sido definido por Michael Wheeler en Reconstructing the Cognitive World (2005) de la siguiente forma: Dando por supuesto que el mundo es dinmico y cambiante, cmo puede un 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 ignore aquellos que no importan? Y cmo puede un sistema semejante reparar y (si es necesario) revisar, a partir de todas las creencias que posee, slo aquellas creencias que son relevantes en un contexto particular de accin? (2005: 179). El mundo, segn Wheeler, es dinmico y cambiante, y si no se trata de un mundo mgico como parece sugerirlo nuestro conocimiento actual de la biologa, la fsica y la qumica debe haber una cierta lgica y una cierta reglamentacin nmica que d cuenta satisfactoriamente del sentido del mundo humano. Ante este problema temprano, pero que termin dando al traste con todo el proyecto, la solucin de Minsky fue sugerir que se utilizaran descripciones de situaciones vitales tpicas, entre las que 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 blanco en el programa, podra ser cabalmente incomprensible si no se justifican los diversos contextos 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 pizarra acrlica que est en el aula, o cuando decimos, verbigracia, que la pared es blanca. Pero incluso con esta salvedad, al solo reconocimiento de un marco de relevancia contextual le sera menester el agregarle otra serie de marcos menores para la sola desambiguacin de la terminologa y de sus matices, 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 hechos relevantes y, por ende, el problema del almacenamiento del conocimiento del sentido comn y de la actualizacin de la informacin no era solamente un problema; era un signo inequvoco de que algo andaba seriamente mal con todo el enfoque (2007: 248). Esta fase del proyecto de investigacin, en que por primera vez asoma el nefando semblante el problema del conocimiento del sentido comn y en que se propone el esquema de los marcos contextuales, ha sido denominado por John Haugeland Good old fashioned AI (o GOFAI, por las siglas en 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 potencial de almacenamiento y de memoria.

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

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), epistemolgica y (2.4) ontolgica, que privaban de su realizacin el vaticinio exagerado con que Minsky abra su libro Computation: Finite and Inifite Machines: en una generacin pocas reas del intelecto permanecern fuera del rango de la mquina. El problema de crear IA estar substancialmente resuelto (1967: 2). (2.1) La Asuncin Biolgica La asuncin biolgica adquiere la forma de una teora del procesamiento de la informacin (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 funcionalista del cerebro no ha pasado a formar parte del museo de las asunciones filosficas fallidas y ampliamente descartadas, sino que incluso goza del estatuto de ser una de las ideas claves del proyecto de la ciencia cognitiva.17 Es bajo este supuesto, desde luego, que algo as como un programa heurstico de la resolucin de problemas cobra pleno sentido. El cerebro humano sera, as, un artefacto simblico manipulativo de propsito general (general purpose symbol manipulating device) que operara tal cual lo hace una computadora digital, es decir, acatando los dictmenes metdicos de una reglamentacin discreta. Si se 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 cognitivos de los seres humanos. Lo curioso, naturalmente, es que los investigadores no propusieran una pesquisa teortica ex hypothesi respecto de este modelo digital aplicado a la inteligencia humana con el fin 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 procesara informacin de otra forma (o, dicho ms radicalmente, que no procesara nada de nada), para que esta asuncin de raigambre informtica (ntese que no biolgica) se hiciera pedazos. Y eso fue lo que, de hecho, sucedi. Ya en 1966, en un artculo sobre ciberntica y el cerebro humano, Walter Rosenblith del MIT confesaba que [l]as comparaciones detalladas de la organizacin de 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 concluye contundentemente: No pueden sacarse argumentos acerca de la posibilidad de la IA a partir de la evidencia emprica actual acerca del cerebro. De hecho, la diferencia entre la naturaleza altamente 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 producir inteligencia (idem).

126
NOVIEMBRE 2 0 11 17 Las asunciones de que la mente es una suerte de sistema que procesa informacin, lo mismo que un artificio representacional y, en cierta medida, una computadora, son an hoy en da ampliamente aceptadas. Cf. el prefacio de los editores al Blackwell Companion to Cognitive Science. 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) La Asuncin Psicolgica La pregunta que habra que traer a colacin es si efectivamente el modelo ciberntico puede justificar el uso de la hiptesis de la computadora digital en psicologa. La psicologa reinvindica para s la prerrogativa explicativa de un nivel particular de funcionamiento de la inteligencia humana, que, sin negar las explicaciones fsico qumicas del cerebro, puede dar cuenta de ciertos procesos mentales. La mente, segn este supuesto, lleva a cabo tareas computacionales como comparar, clasificar, revisar listas de datos, etc., y sera el resultado de estos procesos lo que llamamos inteligencia. La asuncin de que las teoras psicolgicas adquiriran ineludiblemente el aspecto de programas computacionales, ya haba sido vaticinada por Simon. Y Simon no se qued sentado esperando que esto sucediera, sino que l mismo acometi la tarea de disear una serie de programas de computacin que consistan en simular los pasos conscientes e inconscientes pretendidamente seguidos por una persona cuando realiza competencias cognitivas. Los entusiastas de la hiptesis psicolgica asuman que cuando 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, el autor de una Cognitive Psychology, la tarea del psiclogo que desea comprender la cognicin 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 programa de la mente humana. La asuncin psicolgica se ha valido de una metfora, pero que ha sido asumida como un hecho constatado, que casi se ha convertido en una verdad de perogrullo para quienes vivimos en la era ciberntica: la mente humana sera un mecanismo que procesa informacin. Empero, tanto la forma de procesamiento como el significado de informacin son aqu trminos bastante ambiguos. En primer lugar, aunque fuera cierto que hay algo as como procesos cerebrales, de ello no se sigue el que stos consistan en estar programados, es decir, que sigan una serie de operaciones discretas determinadas de antemano. Si no hay operaciones discretas, todo el proyecto de la simulacin cognitiva se viene abajo. 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 este contexto cognitivo. Claude Shannon, el ingeniero y matemtico que es recordado como el padre de la teora de la informacin, ya haba advertido que todos los aspectos semnticos de la informacin no formaban parte del problema estrictamente ingenieril de la comunicacin (cf. 1948). Esto quiere decir que 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 cuales est cargado con mucho significado, y otro que sea un puro sinsentido, pueden ser exactamente 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 para los aspectos ingenieriles (citado por Dreyfus, 1992: 165). Lo que ha acontecido ac, segn Dreyfus, es una transformacin ilegtima de la teora matemtica de la comunicacin en una teora del significado, a la que se aade la suposicin de que la experiencia puede ser analizada en alternativas atmicas y aisladas (cf. idem). El hecho de que, en efecto, 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

consecuencia, manipulada en una serie de operaciones discretas en una computadora digital, no justifica el que se asuma que la mente sigue esas operaciones. Para Dreyfus, tal cosa es tan absurda como creer que los planetas estn resolviendo necesariamente ecuaciones diferenciales cuando permanecen en sus rbitas alrededor del sol, o que la regla de clculo (una computadora analgica) sigue los mismos pasos cuando calcula una raz cuadrada que los que sigue la computadora digital cuando utiliza el sistema binario para calcular el mismo guarismo (1992: 167). Todo esto significa que, si bien todos los procesos psicoqumicos pueden ser formalizados y calculados discretamente, ello en absoluto implica que haya procesos discretos subyacentes a todas las actividades involucradas en las competencias cognitivas. (2.3) La Asuncin Epistemolgica Aunque pareciera que ya debera ser claro que el modelo de la computadora digital (con la suposicin del seguimiento heurstico de operaciones discretas) no provee ninguna clarividencia especial para dar cuenta del funcionamiento de la inteligencia humana, sino que se trata de un enfoque ms bien torpe y discreto (en el doble sentido de este trmino), an quedaba el subterfugio de la formalizacin. De ste, se sustenta bsicamente la asuncin epistemolgica, segn la cual el comportamiento humano podra ser, con todo, formalizable y simulado en un programa de computacin. En este lugar, 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 formalismo puede ser utilizado para reproducir el comportamiento en cuestin (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 teora de la competencia no debe confundirse con una teora de la accin. En su clsico artculo de hace ms de medio siglo, Computer Machinery and Intelligence, en que pretenda dar respuesta a la pregunta Can machines think?, Alan Turing defini la computadora como un mecanismo que debe seguir reglas fijas (1950: 436), con lo cual quedaba limitada a un apego ajustado a ciertos datos carentes de ambigedad y a reglas estrictas que se aplicaran inequvocamente sobre esos datos. Se supona que una mquina de Turing, en cuyo funcionamiento se expresa la esencia de la computadora digital, podra llevar a cabo cualquier tarea realizable por un ser humano. As lo confesaba Minsky: No hay razn para suponer que las mquinas tengan limitaciones de las que carecen los seres humanos (1967: vii). Minsky consideraba el artculo de Turing como una gran contribucin a sus propias ambiciones por haber despejado dudas neurlgicas y haber refutado objeciones peregrinas. Una de estas objeciones tena que ver, de hecho, con la imposibilidad de formalizar todo el comportamiento humano, y Turing la enfrent haciendo una distincin entre las leyes de la conducta y las leyes del comportamiento. El argumento de la informalidad del comportamiento, tal como lo denomin Turing, duda de que la eventualidad del comportamiento humano sea el resultado del acatamiento de reglas estrictas. Pero Turing repara que las reglas de la conducta, como los preceptos, no son reglas del comportamiento: todas aquellas leyes de la naturaleza aplicables universalmente al comportamiento humano, como, por ejemplo, si lo pellizcas, gritar. En concordancia con Turing, no slo creemos que es verdad que el ser

128
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)

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 generaliza el argumento de Wittgenstein de que es imposible proveer reglas normativas que prescriban por adelantado el uso correcto de un trmino en todas las situaciones (1992: 192). El argumento de Turing, en suma, funcionara ms o menos de esta forma: si bien no podemos formular las reglas normativas para la correcta aplicacin de un predicado particular, esto no demuestra definitivamente que no podamos formular las reglas que describan cmo, de hecho, un individuo particular aplica un predicado semejante (cf. Dreyfus, idem). O, puesto de otra forma: Aunque Turing est dispuesto a admitir que podra resultar imposible proveer una serie de reglas que describan lo que 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, estas podran formalizarse en una computadora digital. El argumento ciertamente quiere sustentarse en la ambigedad de la misma expresin leyes del 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 descrito por la fsica, debera suponerse que, en tanto objetos fsicos, obedecen cierto a comportamiento regular que, en cuanto tal, podra ser formalizable tal como la trayectoria de cualquier proyectil o como la cada de los objetos. Sin embargo, la idea de Turing y Minsky de la inteligencia de las mquinas no afirma que stas resuelven ecuaciones fsicas, sino que procesan datos que representan hechos sobre el mundo mediante el recurso a operaciones lgicas. La IA, en esta temprana fase como GOFAI, postula la existencia de una mente que manipula datos que representan el mundo y no pretende resolver las ecuaciones fsicas que describen los objetos fsicos. De hecho, utilizar las leyes de la fsica para calcular detalladamente el movimiento de los cuerpos podra ser fsicamente imposible. Segn el principio del lmite de Bremermann, ningn sistema procesador de datos, artificial o viviente, puede procesar ms de 2 1047 bits por secundo por cada gramo de su masa (1962: 93). Esto quiere decir que, dado que hay 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 podra procesar ms de 1093 bits durante un tiempo igual a la edad de la tierra. Si Bremermann est en lo cierto, las dificultades en los campos del reconocimiento de patrones y en la prueba de teoremas no sern resueltas por el mero aumento de la velocidad del procesamiento de datos por parte de las futuras supercomputadoras (1962: 94). Pero an as, los investigadores en el campo de la IA, de Turing a Minsky, parecen refugiarse en esta confusin entre las leyes fsicas y las reglas del procesamiento de la informacin para convencerse a s mismos de que hay razn en suponer que el comportamiento humano puede ser formalizado, y que el peso de la prueba recae sobre aquellos que creen que hay procesos que no pueden ser descritos en un lenguaje formal (Dreyfus, 1992: 197). (2.4) La Asuncin Ontolgica 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, a partir del reconocimiento de esos rasgos independientes, formara la totalidad del significado. El sentido sera el resultado de la suma de estos elementos factuales objetivos y de sus funciones. Programar una mquina con sentido principia con la asignacin a su rgano de almacenaje de todos los

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

objetos del mundo y de todas las funciones y relaciones de esos objetos.18 Porque, qu ms puede haber 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 determinante en los aspectos ms importantes del sentido? Qu pasara si ms bien lo que le da sentido al 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, si fuese algo ms que lo objetivo y actual? En la refutacin de esta asuncin ontolgica cuya indubitabilidad deriva de dos mil aos de 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 nivel de nuestra experiencia vital, las cosas se presenten como objetos o como entes determinados: Hasta un silla no es comprensible en trminos de cualquier serie de hechos o de elementos del conocimiento. Reconocer una cosa como una silla, por ejemplo, significa comprender su relacin con otras cosas y con los seres humanos, lo cual implica un contexto humano total de actividad, en donde la forma del cuerpo, la institucin de la mueblera y la inevitabilidad de la fatiga, constituyen solamente una pequea parte de ese entramado (Dreyfus, 1992: 210). Lo que hay en el pensamiento objetivante y calculador, y en la suposicin heurstica del seguimiento de reglas discretas en que confiaban los investigadores pioneros en IA, no es ms que lo que el joven Heidegger haba llamado desmundanizacin (Ent weltlichung), privacin de vida (Ent lebung), deshistorizacin (Ent geschichtlichung) y designificacin (Ent deutung) (cf. GA 56/57). El mundo humano tiene sentido, y el sentido es precisamente lo que no ha sido posible programar a causa de las asunciones filosficas expuestas anteriormente. Pero el mundo mundea (es weltet); frase acuada en un ejercicio de imaginacin que Heidegger, en su primera leccin universitaria en Friburgo en 1919, lanz a sus estudiantes para que comprobasen por s mismos el proceso de privacin de vida (Ent lebung) a que se somete toda experiencia originaria en la objetivacin teortica. Se trata de la experiencia cotidiana de Heidegger como profesor de llegar al aula y ver la ctedra desde la que impartir sus lecciones: [E]ntro al aula y veo la ctedra Qu veo? Superficies marrones que se cortan en ngulo recto? No, veo otra cosa. Veo acaso una caja, ms exactamente, una caja pequea colocada encima de otra ms grande? De ningn modo. Yo veo la ctedra desde la que debo hablar, ustedes ven la ctedra desde la cual se les habla, en la que yo he hablado ya. En la vivencia pura no se da ningn nexo de fundamentacin, como suele decirse. Esto es, no es que yo vea primero superficies marrones que se entrecortan, y que luego se me presentan como caja, despus como pupitre, y ms tarde como pupitre acadmico, como ctedra, de tal manera que yo pegara en la caja las propiedades de la ctedra como si se tratara de una etiqueta. Todo esto es una interpretacin mala y tergiversada, un cambio de direccin en la pura mirada al interior de la vivencia. Yo veo la

130
NOVIEMBRE 2 0 11

18 En concordancia con Turing, una computadora digital consiste en tres partes: (i) Store. (ii) Executive unit. (iii) Control. (1950: 437). La unidad de almacenamiento (store), guarda informacin, mientras que la unidad ejecutiva (executive unit) realiza las operaciones individuales involucradas en el clculo. Por ltimo, la unidad de control (control), se ocupa de que las instrucciones sean cumplidas al pie de la letra y en el orden adecuado. Cf. Turing, 1950: 437 439.

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 fuera demasiado alto para m. Yo veo un libro sobre el pupitre, como algo que inmediatamente me molesta (un libro, y no un nmero de hojas estratificadas y salpicadas de manchas negras) (GA 56/57: 71). En la vivencia de ver la ctedra se me da algo desde un entorno inmediato. Este mundo que nos circunda no consta de cosas con un determinado contenido de significacin, de objetos a los que adems se aada el que hayan de significar esto y lo otro, sino que lo significativo es lo primario, se me da inmediatamente, sin ningn rodeo intelectual que pase por la captacin de una cosa. Al vivir en un mundo circundante, me encuentro siempre rodeado de significados por doquier, todo es mundano, mundea [es weltet] (GA 56/57: 72 73). 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 lecciones fenomenolgicas sobre Aristteles. No es el caso de una singularidad inmediata, de lo vivido puro tal que, si lo afirmamos, terminamos por disolverlo.19 No es el no saber, inconcebible e inefable, del que habla Jean Hippolite cuando explica a Hegel (cf. 1996: 13 33). Contrariamente, no es de otro mundo 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 primariamente en la experiencia del sentido. En la segunda parte de este estudio, veremos la influencia de estas ideas fenomenolgicas en algunos investigadores de la IA que han querido desarrollar programas heideggerianos. Bibliografa Anderson, David et al. (2008) An Introduction to Management Science. Quantitative Approaches to Decision Making. Ohio: Thomson South Western. Bechtel, William & George George (eds.): A Blackwell Companion to Cognitive Science. New York: Blackwell, 1999. Bremermann, Hans Joachim (1962) Optimization Through Evolution and Recombination. En: Self Organizing Systems. Ed. M.C. Yovitts et al.Washington, D.C.: Spartan Books, 93106. Bunge, Mario (2005) Intuicin y Razn. Buenos Aires: Editorial Sudamericana. Dreyfus, Hubert (1965) Alchemy and Artificial Intelligence. RAND Papers. P 3244 _____. (1992) What Computers Still Cant Do. Cambridge, MA: The MIT Press. _____. (2007) Why Heideggerian AI Failed and how Fixing it would Require making it more Heideggerian. Philosophical Psychology. Vol. 20 No. 2, 247 268. Goertzel, Ben & Cassio Pennachin (eds.) (2007) Artificial General Intelligence. Berlin Heidelberg New York: Springer. Haugeland, John (1996) Artificial Intelligence. The Very Idea. Cambridge, MA/London: The MIT Press.
El esto de la certeza sensible e inmediata es, para Hegel, la mayor de las trivialidades: Como un universal enunciamos tambin lo sensible (1994: 65). En ese acto de la enunciacin, se disuelve su pretendida consistencia singular. Es la inevitabilidad de la mediacin que comienza con el lenguage, que es lo ms verdadero (idem), la que nos prohibe tener acceso al puro ser inmediato de la certeza sensible (cf. Hegel, 1994: 63 ss).
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
NOVIEMBRE 2 0 11

Hegel, G. W. F. (1994) Fenomenologa del Espritu. Trad. W. Roces. Mxico: Fondo de Cultura Econmica. Heidegger, Martin (GA 56/57) Zur Bestimmung der Philosophie. [KNS 1919]. Gesamtausgabe Bde. 56/57. Ed. B. Heimbchel. Frankfurt am Main: Vittorio Klostermann. 1987. [Versin castellana de una de las tres lecciones: La Idea de la Filosofa y el Problema de la Concepcin del Mundo. Trad. J. A. Escudero. Barcelona: Herder. 2005]. _____. (GA 61) Phnomenologische Interpretationen zu Aristoteles. Einfhrung in die phnomenologische Forschung. [WS 1921 1922]. Gesamtausgabe Bd. 61. Ed. W. Brcker & K. Brcker Oltmanns. Frankfurt am Main: Vittorio Klostermann. [1985] 21994. Hendler, James (2008) Avoiding Another AI Winter. IEEE Intelligent Systems. Vol. 23, No. 2, pp. 1 4. Hobbes, Thomas (2005) Leviathan (Parts I and II). Ed. A. P. Martinich. Ontario: Broadview Press. Hyppolite, Jean (1996) Lgica y Existencia. Trad. L. Medrano. Barcelona: Herder. Lighthill, James (1973) Artificial Intelligence: A General Survey. Artificial Intelligence: A Paper Symposium. Science Research Council. Mass, Jethro (2009) De la Vida Histrica: Auge y Aporas del Historicismo Decimonnico. Konvergencias. Filosofa y Culturas en Dilogo. Vol. VII, No. 21, 208 250. URL: <http://www.konvergencias.net/jmasis252.pdf>. McCarthy, John (1958) Artificial Intelligence Project: Programs with Common Sense. AI Memo. No. 17. Cambridge, MA: MIT Artificial Intelligence Laboratory. Minsky, Marvin (1967) Computation: Finite and Infinite Machines. New Jersey: Prentice Hall. _____. (ed.) (1969) Semantic Information Processing. Cambridge, MA: The MIT Press. Minsky, Marvin & Seymour Papert (1970) Proposal to ARPA for Research on Artificial Intelligence at MIT (1970 1971). AI Memo. No. 185. Cambridge, MA: MIT Artificial Intelligence Laboratory. _____. (1971) Proposal to ARPA for Research on Artificial Intelligence at MIT (1971 1972). AI Memo. No. 245. Cambridge, MA: MIT Artificial Intelligence Laboratory. _____. (1972) Artificial Intelligence. Progress Report. AI Memo. No. 252. Cambridge, MA: MIT Artificial Intelligence Laboratory. Neisser, Ulrich (1967) Cognitive Psychology. New York: Appleton Century Crofts. Papert, Seymour (1968) The Artificial Intelligence of Hubert L. Dreyfus. A Budget of Fallacies. AI Memo. No. 154. Cambridge, MA: MIT Artificial Intelligence Laboratory. Shannon, Claude (1948) A Mathematical Theory of Communication. Bell Sytem Technical Journal. Vol. 27, 379 423. Simon, Herbert & Allen Newell (1958) Heuristic Problem Solving: The Next Advance in Operations Research. Operations Research. Vol. 6, No. 1, 1 10. _____. (1962) Computer Simulation of Human Thinking and Problem Solving. Monographs of the Society for Research in Children Development. Vol. 27, No. 2, 137 150. Stein, Erwin et. al. (2006) Calculemus! New Research Results and Functional Models Regarding Leibniz Four Functional Calculating Machine and the Binary Calculating Machine. Foundations of Civil and Environmental Engineering. No. 7, 319 332. Strawson, Peter (1997) Anlisis y Metafsica.Una Introduccin a la Filosofa. Trad. N. Guasch. Barcelona Buenos Aires Mxico: Paids. Turing, Alan (1950) Computing Machinery and Intelligence. Mind. Vol. LIX, No. 236, 433 460. Vargas Guilln, Germn (2004) Psicologa y Fenomenologa Trascendentales en el Proyecto de la Inteligencia Artificial. Revista de Filosofa de la Universidad de Costa Rica. Vol. XLII, No. 106 107, 105 118. Wheeler, Michael (2005) Reconstructing the Cognitive World: The Next Step. Cambridge: The MIT Press.