15
Granados Gurrola Jesús Eduardo Trabajo final para la clase de problemas de filosofía de la ciencia Las investigaciones dentro del área de inteligencia artificial han sido de gran interés para varios de los proyectos científicos que han aparecido a lo largo de los años. Entre los proyectos interesados hay varios de ellos de carácter transhumanista. En algunos de ellos por ejemplo, se piensa que es posible sustituir la inteligencia humana por la IA. Parte de las investigaciones en IA deben su existencia a los resultados logrados con base en la analogía computadoracerebro. Cabe destacar dos puntos que me parece es relevante señalar, el primero es que tal parece que en lo que respecta a la inteligencia se están tomando posturas de carácter reduccionista sobre la inteligencia, pues en principio de lo que se trata es de reducir los procesos mentales humanos a procesos algorítmicos. El otro punto es el siguiente y del que realmente va a partir el presente texto, parece ser que la noción de inteligencia artificial es difusa, esto es porque el mismo concepto de “inteligencia” parece serlo. Este trabajo no piensa ser una objeción a la inteligencia artificial, pero tampoco una defensa de la misma, el propósito del presente texto es tratar de clarificar qué es o qué se puede entender por “inteligencia artificial” a través del análisis de sus orígenes y de los conceptos relacionados y de esta manera poder dar una perspectiva de lo que podría ser el rol de la IA en el proyecto transhumanista. Comenzaré por ello con una breve introducción en la que se expondrán algunos de los conceptos más importantes, así como el origen de las investigaciones en inteligencia artificial y sus antecedentes. Después de esto hablaré de manera general de algunas de las objeciones a la IA fuerte. Esto me servirá para exponer brevemente cuál es a mi parecer el papel correcto de la IA en los proyectos transhumanistas y sobre el por qué resulta atractiva la IA para estos. 1. ¿Qué es la IA?

Granados Gurrola Jesús EduardoIA

Embed Size (px)

DESCRIPTION

Una versión sobre un trabajo sobre IA

Citation preview

  • GranadosGurrolaJessEduardo

    Trabajofinalparalaclasedeproblemasdefilosofadelaciencia

    Las investigaciones dentro del rea de inteligencia artificial han sido de gran inters para

    varios de los proyectos cientficos que han aparecido a lo largo de los aos. Entre los

    proyectos interesados hay varios de ellos de carcter transhumanista. En algunos de ellos

    por ejemplo, se piensa que es posible sustituir la inteligencia humana por la IA. Parte de las

    investigaciones en IA deben su existencia a los resultados logrados con base en la analoga

    computadoracerebro. Cabe destacar dos puntos que me parece es relevante sealar, el

    primero es que tal parece que en lo que respecta a la inteligencia se estn tomando posturas

    de carcter reduccionista sobre la inteligencia, pues en principio de lo que se trata es de

    reducir los procesos mentales humanos a procesos algortmicos. El otro punto es el

    siguiente y del que realmente va a partir el presente texto, parece ser que la nocin de

    inteligencia artificial es difusa, esto es porque el mismo concepto de inteligencia parece

    serlo.

    Este trabajo no piensa ser una objecin a la inteligencia artificial, pero tampoco una defensa

    de la misma, el propsito del presente texto es tratar de clarificar qu es o qu se puede

    entender por inteligencia artificial a travs del anlisis de sus orgenes y de los conceptos

    relacionados y de esta manera poder dar una perspectiva de lo que podra ser el rol de la IA

    en el proyecto transhumanista. Comenzar por ello con una breve introduccin en la que se

    expondrn algunos de los conceptos ms importantes, as como el origen de las

    investigaciones en inteligencia artificial y sus antecedentes. Despus de esto hablar de

    manera general de algunas de las objeciones a la IA fuerte. Esto me servir para exponer

    brevemente cul es a mi parecer el papel correcto de la IA en los proyectos transhumanistas

    ysobreelporquresultaatractivalaIAparaestos.

    1. QueslaIA?

  • Ante de comenzar quisiera dar algunas de las distintas definiciones de lo que se entiende

    por IA. Se considera que es todo aquel esfuerzo por lograr que las mquinas piensen. Una

    segunda definicin nos dice que es la automatizacin de las capacidades cognitivas e

    intelectuales que tiene el cerebro. La ltima definicin sostiene que la IA es el estudio de

    las facultades mentales mediante el uso de modelos computacionales . Existen muchas otras 1

    definiciones pero lo que salta a la vista de estas es la pretensin de emular los procesos

    mentales humanos a travs de mquinas, por lo que en principio el parmetro de

    inteligencia es el de la inteligencia humana. Sin embargo, me es conveniente sealar que

    podramos tener entidades inteligentes que no compartan similitudes con los seres

    humanos,pueslanocinbsicasereducealaresolucindeproblemas.

    1.1.Algunasasuncionesgenerales

    La inteligencia artificial se puede clasificar de varias formas, todas ellas tendiendo a hacer

    comparaciones con la inteligencia humana, o mejor dicho con el pensamiento. La

    clasificacin ms estndar se hace con base en sus objetivos por lo que divide entre IA

    dbil e IA fuerte. Se conoce como IA dbil a aquellas posturas que se centran en la creacin

    de mquinas y programas que puedan resolver problemas muy especficos, pero en

    trminos ms apegados a la filosofa se puede decir que la hiptesis detrs de la IA dbil es

    que si bien se puede lograr que una mquina cumpla con los requerimientos para ser

    considerada como un ente inteligente, pero no as como para que se le considere como

    pensante, que se entiende por pensante aquello que tenga una mente capaz de realizar todos

    los procesos cognitivos que le son propios a ella, como la conciencia, y el aprendizaje . En 2

    contraste a la IA dbil est la inteligencia artificial fuerte que sostiene que los procesos

    mentales humanos pueden ser emulados mediante programas. Quienes defienden que la IA

    fuerte es posible sostienen que es posible emular los procesos mentales mediante los

    algoritmos adecuados. En esta lnea se cruza el concepto de la singularidad tecnolgica, que

    1 Russell, Stuart J. and Norvig, Peter. Artificial Intelligence: A Modern Approach. New Jersey: Prentice-Hall, 1995, p.45. 2 Searle, John. Is The Brains Mind A Computer Program?. Scientific American January 1990.

  • es el punto en que la tecnologa nos habra llevado ms all de nuestros lmites biolgicos,

    un punto tal que si un humano con capacidades similares a las actuales se encontrar ah no

    podra reconocer o entender nada de ello, pues la tecnologa sera demasiado avanzada

    como para ello. Una de las formas en las que se podra alcanzar dicho momento histrico

    sera mediante el progresivo avance de los ordenadores en capacidad de almacenamiento y

    procesamiento de informacin, a tal punto en que llegar un punto en que la IA nos

    superar,esdecirestamoshablandodeunasuperinteligenciaartificial .3

    Hay algo ms que me llama la atencin, y es que la mayora de las definiciones antes

    mencionadas se pueden reducir en trminos de manejo de informacin, as que de alguna u

    otra forma la visin general tanto de lo que es el pensamiento humano como lo que sera un

    pensamiento artificial se podra ver en trminos de manejo de informacin . 4

    Independientemente de nuestra postura en filosofa de la mente, parece intuitivo aceptar que

    la inteligencia depende de los mecanismos mediante los cuales se obtiene la informacin.

    Por otro lado tambin independiente de las posturas en filosofa de la mente parece intuitivo

    aceptar que la manera en la que pensamos depende en mucho de la estructura biolgica de

    nuestros organismos. As como la forma en la que el pensamiento maneja informacin

    depende del modo en el que se obtiene dicha informacin y de la estructura de los

    organismos pensantes, en el caso de un ordenador depende, haciendo analoga, de la

    estructura del hardware y de cmo maneja dicha informacin a travs del software. Desde

    el punto de vista de la teora de la informacin, Informacin es un conjunto de datos

    ordenados, un dato es la representacin simblica de las propiedades cualitativas, lo

    mnimo para que pueda haber informacin es una estructura de datos, algo es

    informativamente significante cuando existe cuando menos una estructura de metadatos, es

    decir una estructura de datos sobre datos . Ahora cualquier sistema que haga manejo de 5

    informacin est pendiente a las leyes de la fsica, ms concretamente a la ley de entropa

    de tal modo que los datos en una estructura se van dispersando conforme al tiempo de tal

    3 Chalmers, David. . 4 Dreyfus, Hubert. What Computers Cant Do. Massachusetts: MIT Press, 1989, p.197. 5 Dretske, Fred. Knowledge and Flew Of Information. New York: MIT Press, 1981, p. vii.

  • modo que no representan informacin alguna . Creo que por lo dicho en este prrafo 6

    podramos pensar la nocin de inteligencia como la resolucin de problemas mediante el

    manejo de informacin, pero esto nos permite asumir lo siguiente: dado que varias

    entidades inteligentes pueden compartir una misma informacin para la resolucin de un

    determinado problema constituyendo un colectivo, es perfectamente posible entonces

    hablardeinteligenciacolectiva.

    1.2.Puedenlasmquinaspensar?LoscomienzosdelaIAyeltestdeTuring.

    Creo yo que una parte importante para entender los puntos que continan este trabajo es

    revisar los comienzos de la disciplina, as como pretensiones originales de quienes

    empezaron a trabajar en ella, tambin por lo mismo es preciso hablar de algunos

    antecedentes a la inteligencia artificial para entender el porqu de estas asunciones. Antes

    de que se empezara a hablar siquiera de inteligencia artificial distintos autores haban

    hablado de poder reducir el pensamiento a leyes, esa fue parte de la pretensin de Leibniz,

    quien pensaba que a travs de un sistema basado en la lgica se podran resolver disputas

    jurdicas, que posteriormente aunque no en su totalidad como quera Leibniz esta idea fue

    retomada por matemticos como Boole y Frege y si bien no bajo las pretensiones de

    Leibniz esto permiti el desarrollo de la lgica matemtica. Con base en ella David Hilbert

    se plante el proyecto de poder crear un sistema formal completo y consistente de tal forma

    que mediante un algoritmo, siempre que una proposicin fuese bien planteada en el sistema,

    se podra saber si dicha proposicin era falsa o verdadera. Aunque si bien la lgica

    matemtica surgi para cuestiones de demostrabilidad matemtica, esto no es posible

    siempre debido a la demostracin de que hay proposiciones indecidibles en matemticas, en

    trminos simples para ciertas oraciones de las matemticas no es posible dar una respuesta.

    En base a la lgica matemtica, ms concretamente mediante un lenguaje de primer orden

    basado en la teora de conjuntos, Alan Turing construy el aparato formal detrs de los

    ordenadores contemporneos usado en primera instancia para desencriptar los cdigos nazis

    6 Ibd. p. viii.

  • durante la segunda guerra mundial . Sin embargo, el propsito y utilidad de las mquinas de 7

    Turing va ms all de la encriptacin y desencriptacin de cdigos, pues lo que hace una

    mquina de Turing es transformar la nocin intuitiva de algoritmo en una nocin formal, de

    hecho la pretensin original de Turing era resolver el Entscheidungsproblem que es el reto

    de encontrar un procedimiento general, `computable ', que decidiera si una frmula del 8

    clculodeprimerordenesunteoremaonodentrodelmismo.

    El xito de las mquinas de Turing y de los primeros computadores despert curiosidad

    sobre cul era la capacidad de los mismos por lo que se pens que podran realizar otras

    tareas relacionadas con el intelecto humano. As fue como en 1950, Turing escribi un

    artculo que se considera el parteaguas para la inteligencia artificial en el que se encuentra

    lo que se conoce como el test de Turing y que se considera como el criterio para establecer

    cuandounamquinapuedeserconsideradainteligente,eltesteselsiguiente:

    Suppose that we have a person, a machine, and an interrogator. The interrogator is

    in a room separated from the other person and the machine. The object of the game is

    for the interrogator to determine which of the other two is the person, and which is

    the machine. The interrogator knows the other person and the machine by the labels

    X and Ybut, at least at the beginning of the game, does not know which of the

    other person and the machine is Xand at the end of the game says either X is the

    person and Y is the machine or X is the machine and Y is the person. The

    interrogator is allowed to put questions to the person and the machine of the

    following kind: Will X please tell me whether X plays chess? Whichever of the

    machine and the other person is X must answer questions that are addressed to X.

    The object of the machine is to try to cause the interrogator to mistakenly conclude

    that the machine is the other person the object of the other person is to try to help the

    interrogatortocorrectlyidentifythemachine. 9

    7 Aliseda, Atocha. 8 Una nocin intuitiva de computabilidad: Es una clase de resolucin de problemas que se puede dar como instrucciones bien definidas para un lenguaje particular, tal que esa solucin tiene un resultado particular o unvoco. 9 Staford, turin

  • El test de Turing ha sido usado por algunos tericos de la inteligencia artificial como

    criterio para establecer cuando se est tratando con una mquina inteligente, pero

    nuevamente notamos el criterio de comparacin humana que queda implcito en el test. Al

    respecto se puede comentar que quien sostenga que el test puede ser un criterio de

    inteligencia se compromete con que la mquina es inteligente del modo en que lo son los

    sereshumanos.

    2. LoslmitesdelaIAfuerteenlaactualidad

    Gran parte de los esfuerzos e investigacin dentro de la investigacin en inteligencia

    artificial se han concentrado en la posibilidad y realizacin de las tesis sostenidas por

    quienes piensan que la IA fuerte es posible. Sin embargo, en la medida en que la base de

    dichas investigaciones es imitar las capacidades cognitivas humanas hay distintas

    objeciones que se pueden hacer tanto a nivel de las tesis base como al de las pretensiones de

    realizacin de los proyectos. Por otro lado, independientemente de las objeciones que se

    puedan presentar a la IA fuerte existen lmites reales, los cuales han limitado su desarrollo

    hastalosnivelespretendidos.

    2.1.IAyComputabilidad:Lacomputabilidadysuslmites

    Una de las objeciones principales que se le hacen a la inteligencia artificial viene por parte

    del formalismo detrs de las computadoras estndar, que en principio son un ejemplo

    modesto de una mquina de Turing. La objecin viene de la siguiente manera: nosotros

    tenemos mtodos fuera de la formalidad que nos permiten dar cuenta de algunos

    problemas,perounacomputadorano.

    Uno de estos problemas son los problemas de la parada y el problema de la autoparada que

    tienen que ver con los programas de Turing que en trminos informales podramos decir

    son las instrucciones que sigue una mquina de Turing y que encuentran su ejemplo en los

  • programas de computadora como comnmente los conocemos. El problema de la

    autoparada nos dice que dada una 0, 1, 2, . . . tal que 0, 1, 2, . . . es una lista de

    los programas de Turing no hay un procedimiento ecaz que decida, para cualquier e, si el

    programa e se para en su proprio input e. El problema de la parada es el problema de

    encontrar un procedimiento ecaz que decida, para cualquier e y n, si el programa e se

    para en input n. Dado que la respuesta al problema de la parada es negativa de un caso

    particular,porcontrapuestatampocoesresolubleelproblemadelaparada .10

    Sin embargo, esto es principalmente un problema para quienes asumen una versin fuerte

    de la tesis ChurchTuring. La tesis ChurchTuring es un criterio que ayuda a relacionar

    nuestras nociones no formales de computabilidad con una nocin puramente formal como

    lo son las mquinas de Turing y sus equivalentes, pues la tesis sostiene que un todo

    problema que pueda ser resuelto mediante un procedimiento mecnico idealizado por un ser

    humano puede ser resuelto por una mquina de Turing. Los defensores de una versin

    fuerte de la tesis, entre ellos quienes trabajan en la creacin e investigacin de la IA fuerte,

    reducen la tesis a que todo lo computable es Turingcomputable , sin embargo esto puede 11

    llegar a sugerir tesis ms fuertes an como por ejemplo que nosotros mismos somos

    mquinas de Turing, pues la manera en que nosotros computamos es la misma manera en la

    que lo hacen las computadoras. Como objecin a esta posible implicacin de la tesis fuerte

    se ofrece el hecho de la demostrabilidad de los teoremas de Incompletud de la aritmtica,

    pues en principio parece ser que si los procesos mentales pudieran ser reducidos a la

    formalidad de una mquina de Turing, no habra posibilidad de demostrar un teorema de

    esa forma por tanto, dado que de hecho el teorema es demostrable, los procesos mentales

    no pueden ser reducidos a la formalidad de una mquina de Turing . Por otro lado, si bien 12

    una mquina de Turing no puede resolver el problema de la parada, en la actualidad existen

    10 Berlai 11 Idem 12 Searle, John. El misterio de la conciencia. Trduccin de Antoni Domnech Fillegas. Barcelona: Paidos, 2000. pp. 91-92.

  • mquinas tanto en la mera formalidad como en fsico que pueden resolver estos problemas,

    esdecirhypercomputadoras,ejemplosdeellosonlasredesneuronalesartificiales .13

    2.2.LafalladeltestdeTuring:ElargumentodelacajachinadeSearle.

    Un argumento famoso en contra de la Inteligencia artificial fuerte es el presentado por John

    Searle, pero para entender con mayor detalle el argumento considero preciso hablar de

    cmo funcionan los programas de computadora. Un programa informtico funciona de

    manera anloga a como lo hace un sistema formal dado un lenguaje, para cada conjunto de

    ristras de smbolos que pertenecen al lenguaje, dado un conjunto de ristras de smbolos del

    lenguaje que yo meta al ordenador, este mediante una lista de reglas nos va a arrojar otros

    smbolos (Se puede hacer notar que un programa informtico es de hecho un programa de

    Turing). Esto nos permite hacer ms claro el argumento de Searle, tomemos una habilidad

    intelectual especfica en concreto la habilidad de dominar un idioma, si se puede demostrar

    en este caso particular que siguiendo la forma en que se ejecuta un programa informtico no

    involucra ningn proceso mental de inteligencia entonces, es falso que los procesos

    mentalespuedanserreducidosaunprograma.

    Escojamos un lenguaje, en este caso el lfico de Tolkien, un libro de reglas para la

    manipulacin de los smbolos lficos escrito en un lenguaje distinto al anterior y que no

    apele a ningn criterio semntico para ello, adems tomemos tambin a una persona para la

    que el primer lenguaje le es desconocido, pero no as el segundo. A esta persona se le pone

    en un cuarto en el que est el libro y una canasta que dentro tiene papeles con smbolos

    lficos en ellos. Afuera del cuarto hay personas que saben lfico y que le dan a la persona

    en el interior tarjetas con smbolos nuestro amigo dentro del cuarto apoyndose en el libro

    que se le dio les enva de regreso alguno de los papeles dentro de la cesta. Sin darse cuenta

    las reglas del libro le permite dar respuestas que son indistinguibles de las que dara una

    persona que entiende de hecho el lfico. Ntese que de hecho este experimento es de hecho

    13

  • una versin del Test de Turing, el cual de hecho para este caso en particular es pasado de

    manera exitosa por quien est dentro del cuarto, pero ste ignora totalmente el lenguaje en

    los papeles, ya que debido a que opera en base a reglas que no apelan a la semntica de

    dicho lenguaje, no le es posible saber el significado de las palabras que hay en ellos. Dado

    que nuestro conejillo de indias ha pasado el test, ha podido pasar como alguien que de

    hecho entiende el lfico. Pero dado que el sujeto en cuestin no comprende el lfico por la

    simple ejecucin de lo que a final de cuentas sera un programa, es imposible que cualquier

    otro ordenador comprenda el lfico, ejecutan el mismo programa de manipulacin de

    smbolos. Podemos notar que en vez de una persona podemos usar una computadora (o

    cualquier otra mquina que funcione con base en el formalismo de las mquinas de Turing),

    pues bsicamente no ha hecho nada que no haga una computadora a la hora de ejecutar un

    programa de Turing, y dado que el sujeto a pesar de ser un ser con intelecto no hizo uso de

    l ni de otras habilidades cognitivas, podemos concluir que los procesos mentales no

    puedenserprogramas .14

    Hay que hacer un par de anotaciones aqu, en primera este argumento slo funciona en

    contra de quien piense que el test de Turing y pruebas anlogas son buenos criterios para

    establecer que hay inteligencia. Mi segunda nota que es que si el defensor de la IA fuerte

    acepta como nocin intuitiva de inteligencia la resolucin de problemas mediante el manejo

    deinformacin,noesclaroqueestanocinestimplcitaenlapruebadeltestdeTuring.

    2.3.Lasfallasdelaanalogacomputadoracerebro.

    Otro tipo de objeciones y lmites para la inteligencia artificial vienen dados de la siguiente

    forma, si aceptamos que la inteligencia depende de los mecanismos mediante los cuales se

    obtiene la informacin y que la manera en la que pensamos depende en mucho de la

    estructura que contenga dicha inteligencia. Si se lo quiere ver en trminos computacionales

    esto significa que para que corra un determinado software (la mente), son necesarios

    14 Searle, John. Is The Brains Mind A Computer Program?. Scientific American January 1990.

  • ciertos requerimientos de hardware (Hardware). Para algunos de los detractores de la IA

    fuerte es preciso notar cuales han sido las condiciones en las que la inteligencia humana se

    desarroll y en las que se sigue desarrollando . De modo que de no poder cumplirse estas 15

    condiciones, no se puede cumplir la experiencia fenomenolgica de lo que es la inteligencia

    humana.PorlotantoelproyectodelaInteligenciaArtificialfuertenoesrealizable .16

    Esto me recuerda mucho al argumento de Thomas Nagel enCmo es ser un murcilago? 17

    y del que he hecho una reconstruccin y que he modificado para fines de esta discusin de

    lamaneraquesigue:

    1)Parapodertenerelconceptodelaexperienciadeserunserhumanoesnecesariosaberlamaneraenlaquese

    sientelaexperienciadeserhumano.

    2)Laexperienciafenomnicadeunserhumanodependedesuaparatosensorial.

    3)Lasmquinasnotienenelaparatosensorialdeunserhumano.

    6)Conclusin:Nopuedotenerelconceptodelaexperienciadeserunmurcilago.

    Me parece que entonces es mucho ms preciso decir al respecto de esta clase de objeciones

    que nicamente pueden correr si el terico de la Inteligencia Artificial acepta la analoga

    computadora cerebro, o si su objetivo es emular la inteligencia humana. Pero creo que se

    pueden establecer parmetros diferentes para decir lo que puede ser la inteligencia artificial

    basndonos en la nocin de inteligencia que se parece aceptar. Pero an queda la pregunta

    de Turing en el aire Pueden las mquinas pensar? Como dije con anterioridad, este trabajo

    no piensa ser una defensa de la IA, pero creo que la respuesta podra ser afirmativa

    pensando nuevamente dicha pregunta y cambiando los objetivos primordiales de la

    investigacin. Si al pensar la pregunta Puede una mquina ser tan o ms inteligente que

    un ser humano? la pensamos como Puede una mquina resolver mediante el manejo y

    procesamiento de informacin los mismos problemas que un ser humano o un

    15 Dreyfus 193 16 Idem 17 Nagel

  • superconjunto propio de ellos? creo que podramos contestar dicha pregunta, al menos 18

    una vez que logremos crear mquinas con cierto nivel de autonoma de nosotros. No

    obstante, lo ms probable en mi opinin es que en el momento en que estas preguntas

    puedan ser contestadas lo que ya no podamos contestar es, por analoga a los argumentos

    antes citados, Cmo es pensar cmo una mquina?. Ms adelante volver sobre este

    ltimopuntoenlapartefinaldeestetrabajocuandohablemosdelasingularidad.

    3. Conclusinycomentariosfinales

    A lo largo de este texto se ha tratado de esclarecer el concepto de Inteligencia Artificial, y

    tambin se ha hecho revisin de las distintas objeciones que se le ha puesto a la IA fuerte, y

    de una u otra manera se han dado propuestas de cmo puede ser entendida la Inteligencia

    Artificial. Resta ahora decir por qu nos resulta tan atractivo hablar de Inteligencia

    Artificial y esclarecer cul es su papel en proyectos transhumanos, y por lo mismo vamos a

    hablar de la singularidad tecnolgica y cul podra ser el rol de los seres humanos y el de la

    InteligenciaArtificialunavezllegadoesemomento.

    3.1.ElatractivodelaInteligenciaArtificial

    Hay que preguntarnos sobre cules han sido las motivaciones de hacer Inteligencia

    Artificial. Parece obvia la respuesta, la principal motivacin para la investigacin en

    inteligencia artificial es la resolucin de problemas, pero esta respuesta, si se me permite

    decirlo, exige que se reformule la pregunta cules han sido las motivaciones de hacer

    Inteligencia Artificial dado su xito en la resolucin de problemas? La motivacin principal

    es quiz el saber hasta dnde se encuentran los alcances de esta capacidad por resolver

    problemas. Aqu es donde entra el punto de pensar en la pregunta Cmo es pensar cmo

    una mquina? por ahora no para darle respuesta, pues cmo dije lo ms probable es que no

    18 Esta es una definicin de la teora de conjuntos que se establece como una relacin inversa a la de contencin propia o ser subconjunto propio de, as que decimos que: Dados dos conjuntos A y B cualesquiera, AB (A es superconjunto de B) sii BA (B es subconjunto de A) y AB.

  • tengamos la respuesta a tal pregunta, sino ms bien para ver a qu preguntas nos lleva.

    Dado que no parece el tiempo an para hacer dicha interrogante, cambiemos el tiempo

    verbal de la pregunta Cmo sera pensar cmo una mquina? Esta pregunta nos plantea

    que podra haber dos tipos de pensamiento completamente distintos, el de los seres

    humanos y el pensamiento artificial. Hagamos una pausa, supongamos que existe un

    conjunto (A) determinado de problemas que pueden resolver los humanos, pero ese

    conjunto est contenido dentro del conjunto de problemas (B) que puede resolver una IA

    especfica (B puede ser mayor o igual a A). La siguiente pregunta resulta casi evidente

    CuldelosdospuederesolverconmayoreficienciaelconjuntoA?

    Si lo pensamos bien, la pregunta Cmo sera pensar cmo una mquina? nos lleva a una

    pregunta genuina sobre la inteligencia de humanos y mquinas que puede bien ser vista

    como una reformulacin de la pregunta sobre la viabilidad de la IA fuerte, pues si

    repasamos la nocin bsica de inteligencia que hemos manejado en este texto, dicha

    pregunta es una de las formas en las que se puede plantear la pregunta Pueden las

    mquinas llegar a ser ms inteligentes que los humanos?, y con lo dicho anteriormente el

    criterio para responder dicha pregunta se reduce la eficiencia de ambas inteligencias

    respectoaundeterminadoconjuntodeproblemas.

    Durante nuestra historia de creacin tecnolgica, sobre todo en la revolucin industrial,

    vimos como con el paso del tiempo las mquinas que bamos creando nos fueron

    sustituyendo en distintas labores, antes del desarrollo de la IA y de que pensramos en la

    posibilidad de que las mquinas pensaran, quedaba un terreno en el que no podamos ser

    reemplazados por ellas, este era el terreno intelectual, sea lo que sea que eso significara. La

    llegada de la IA hizo tambalear nuestro supuesto de que haba al menos un territorio seguro

    en el que las mquinas no podran reemplazarnos. La carta salvadora era pensar en que el

    pensamiento slo poda ser como el pensamiento human, Pero si es posible pensar en que

    tal cosa no es el caso, no hay fundamento para creer que incluso en la tarea de pensar no

    seamos sustituibles. Esto de lo que estoy hablando no es otra cosa que la vergenza

  • prometeica de la que habla Gnther Anders , y que ha estado al margen de las preguntas 19

    hechashastaenestaseccindelpresentetexto.

    Algo que me llama la atencin por ejemplo, es la forma en la que Searle comienza su texto

    IsTheBrainsMindAComputerProgram?:

    Puede pensar una mquina? Puede una mquina tener pensamientos conscientes

    en el mismo y preciso sentido en que los tenemos usted y yo? Si entendemos por

    mquina un sistema material capaz de desempear ciertas funciones (y qu otra

    cosa podra si no significar?), resulta que los humanos somos mquinas de una clase

    biolgica especial y como los humanos piensan, por lo tanto es cierto que hay

    mquinascapacesdepensar.

    Si nos detenemos a pensarnos como mquinas ante la posible superioridad de las mismas,

    entonces es posible pensar un momento en el que la humanidad llegue a ser obsoleta. Creo

    que una gran objecin a IA fuerte hubiera sido mostrar que no hay parmetros para pensar

    que es posible la comparacin hombre mquina, pero el hecho de que los haya y el hecho

    latente de que quiz llegue el da en que las mquinas nos superarn, slo apunta a que

    como mquinas menos perfectas y obsoletas un da seremos reemplazados por las

    inteligencias artificiales. Se puede decir que este es un panorama en que la singularidad

    tecnolgica se vuelve un transhumanismo en el sentido de que la humanidad ha quedado

    atrs, pero puede que si bien la humanidad sea remplazada, no suceda lo mismo con el ser

    humano como especie biolgica, al menos no del todo, pues dado que nos podemos pensar

    como mquinas, podemos concebirnos como entidades que mediante ciertos procesos

    pueden mejorar sus capacidades. La esperanza del ser humano como especie est en la

    posibilidad de una inteligencia hbrida, o en otras palabras, el homo sapiens slo puede

    continuarcomouncyborg.

    3.2. Singularidad y transhumanismo: El papel de los seres humanos y de la

    InteligenciaArtificialdespusdelasingularidadtecnolgica.

    19 Anders

  • La nica manera en la que a mi parecer la especie humana puede subsistir en el momento

    despus de la singularidad tecnolgica es a travs de la inteligencia hbrida, la cual se puede

    lograr mediante inteligencia colectiva pues como mencion con anterioridad, dado que un

    conjunto de entidades inteligentes puede compartir una misma informacin para la

    resolucin de un determinado problema constituyendo un colectivo, se puede hablar

    entonces de inteligencia colectiva. Si entre los miembros de la misma hay una parte humana

    y otra artificial, tenemos ya un caso de inteligencia hbrida. Esta unin ha demostrado que

    puede tener xito, pues un ejemplo en el que mquinas artificiales y mquinas humanas han

    creadointeligenciacolectivaesdehechointernet.

    El problema es que no hay nada que nos indique que de aparecer mquinas

    superinteligentes podramos conectarnos con ellas. Por ridculo que suene, estas entidades

    inteligentes hipotticas podran tener informacin respecto a su superioridad y simplemente

    reemplazar las partes humanas de una inteligencia colectiva con partes puramente

    artificiales, esto debido a que no parece que seamos necesarios para la existencia de dicha

    inteligencia colectiva, y a que para cualquier problema a resolver nuestra inteligencia

    resultamenoseficientequelaIA.

    As, todo parece apuntar a que en el auge de la singularidad llegar al punto en el que de

    hecho la humanidad como especie simplemente sea una parte prescindible del mundo. Hoy

    en da se desarrolla IA para propsitos militares, lo que conllevar muertes de seres

    humanos, si la IA se desarrolla mucho ms all de eso no parece haber un por qu seramos

    valiosos para las mismas como para que no prescindieran de nosotros como de hecho ya lo

    hacen las IA dbiles mediante el control humano. Citando a Chalmers creo que debemos

    hacernos las siguientes preguntas y reflexionar ante las respuestas dadas en la conclusin

    desutextoconrespectoalasingularidadtecnolgica:

    Will there be a singularity? I think that it is certainly not out of the question, and

    that the main obstacles are likely to be obstacles of motivation rather than obstacles

    ofcapacity.

  • How should we negotiate the singularity? Very carefully, by building appropriate

    valuesintomachines,andbybuildingthefirstAIandAI+systemsinvirtualworlds.

    How can we integrate into a postsingularity world? By gradual uploading followed

    by enhancement if we are still around then, and by reconstructive uploading followed

    byenhancementifwearenot. 20

    Para terminar, quiero responder la siguiente pregunta podremos responder en el momento

    post singularidad a la pregunta Cmo es pensar cmo una mquina no humana?? Creo

    que lo ms probable es que quiz no, pues ello requerira ser de hecho mquinas no

    humanas cuando menos en lo que a la parte del aparato que produce el pensamiento, y creo

    que no hay algo tal que nos diga si en ese caso an podramos hablar de seres humanos y no

    simplementedecyborgs.

    4. Bibliografa

    Agradecimientos

    20 Chalmers, David