Introduccin

La lgica no parece ser una ciencia en el sentido en que lo son la biologa, la fsica o la astronoma. Si se le quiere aplicar ese trmino hay que aclarar que se trata de otro tipo de ciencia. La lgica se encuentra presente en todas las ciencias, sin estructuras lgicas una ciencia no es tal. Por lo que tomaremos en serio la observacin de Quine, en cuanto que la lgica es el comn denominador de todas las ciencias. En el presente trabajo veremos como se aplica la lgica a la robtica y a la nanotecnologa.

Objetivos Generales

Dar a conocer el papel de la Lgica en la robtica y la nanotecnologia. Defender que el inicio de la robtica y la nanotecnologia es la lgica

Objetivos especficos Argumentar que la nanotecnologa es meta-tcnica en su etapa ms desarrollada y sus fundamentos se ajustan a las interpretaciones filosficas de los maestros de lgica matemtica en sus inicios.

Dar resea que sin la lgica matemtica no se podra haber creado la robtica, ni tampoco hubiera existido la revolucin digital, de la que nacen la robtica y la nanotecnologia.

Para entender que relacin tiene la lgica con la robtica o la nanotecnologa veremos primero un poco de historia de la lgica y como esta dio apertura a la tecnologa.

La Revolucin Digital

Esta revolucin inicio con la invencin de la computadora digital y el acceso universal a redes de alta velocidad. Turing une a la lgica y a la computacin antes que cualquier computadora fuera inventada. Weiner funda la ciencia de la ciberntica. En la escuela moderna de la computacin estn presentes lgicos que han permitido avances importantes: Hoare presenta un sistema axiomtico de los sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de programas a partir de especificaciones.

Alan Turing

Matemtico y lgico que fue pionero en la teora de la computacin contribuyo en importantes anlisis biolgicos de los procesos computacionales. Las especificaciones para la computadora abstracta que el ideo llamada la maquina de Turing, resulto ser una de sus mas importantes contribuciones a la teora de la computacin. Turing adems probo que es posible construir una maquina universal que con una programacin adecuada podr hacer el trabajo de cualquier maquina diseada para resolver problemas especficos. Ala Turing invento la maquina que lleva su nombre, Maquina de Turing, en un intento por determinar si toda la matemtica poda ser reducida a algn tipo simple de computacin. Su objetivo fue desarrollar la maquina mas simple posible capaz de realizar computacin. La maquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de realizar cualquier operacin matemtica. Turn abrig la ilusin de que su maquina tenia una capacidad tal que, potencialmente, podra ser capaz de realizar cualquier cosa realizable por el cerebro humano, incluyendo la capacidad de poseer conciencia de si mismo. Pese a ser considerados formalmente equivalentes, destinos modelos de computacin presentan estructuras y comportamientos internos diferentes.

Noebert Weiner

El cientfico Norteamericano Norbert Weiner (1894-1964) en 1947 publica su libro mas famoso: Ciberntica, o control y comunicacin en el animal o la maquina; en donde se utiliza por primera vez la palabra Ciberntica. Existen muchas definiciones de ciberntica, griego Kybernetes, piloto, Norbert Weiner dio vida a la palabra mediante una definicin muy simple: ciencia que estudia la traduccin de los procesos biolgicos a procesos de maquina. En un inicio, la ciberntica estaba muy ligada a ciencias como neurologa, biologa, robtica e inteligencia artificial.

Alfred Tarski

Matemtico y lgico polaco nacido en 1902, quien realizo importantes estudios de algebra en general, teora de mediciones, lgica matemtica, teora de conjuntos y metamatemticas.

La siguiente revolucin lgica ser la asimilacin de las matemticas y la computacin dentro de la lgica. Se har nfasis en que las computadoras exploten la informacin inteligentemente, pasando de las bases de datos a las bases de conocimientos.

Qu es Lgica Digital?

Es un rea de la matemtica aplicada al campo de la electrnica. Es la base de los Sistemas Digitales y ello implica tambin, la base de la Estructura de Computadores. As mismo, los circuitos que trabajan con electrnica digital son aquellos capaces de obtener decisiones lgicas como salida a partir de unas ciertas condiciones de entrada. En consecuencia, se puede decir que en algunos casos parecen que son inteligentes, aunque esto no es cierto, ya que no tienen capacidad para pensar por si mismos, sino que estn programados por la persona que los dise.

Historia La historia de la lgica para la computacin se inicia con la Revolucin digital, esta revolucin se inici con la invencin de la computadora digital y el acceso universal a redes de alta velocidad. Alan Turing fue quien uni a la lgica y la computacin antes que cualquier computadora fuera inventada. Weiner funda la ciencia de la ciberntica. En la escuela moderna de la computacin estn presentes lgicos que han permitido avances importantes: Hoare presenta un sistema axiomtico de los sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de programas a partir de especificaciones.

LA ROBOTICA

Algunas ideas sobre lgica borrosa.

La lgica borrosa se funda en el concepto "todo es cuestin de grado", lo cual permite manejar informacin vaga o de difcil especificacin. Es entonces definida como un sistema matemtico que modela funciones no lineales, que convierte unas entradas en salidas acordes con los planteamientos lgicos que usa el razonamiento aproximado. En cierto nivel, la lgica difusa puede ser vista como un lenguaje que permite trasladar sentencias sofisticadas en lenguaje natural, a un lenguaje matemtico formal. La mayora de los fenmenos que encontramos cada da son imprecisos, es decir, tienen implcito un cierto grado de difusidad en la descripcin de su naturaleza.

Esta imprecisin puede estar asociada con su forma, posicin, momento, color, textura, o incluso en la semntica que describe lo que son. En muchos casos el mismo concepto puede tener diferentes grados de imprecisin en diferente contexto o tiempo. Este tipo de imprecisin o difusidad asociado continuamente a los fenmenos es comn en todos los campos de estudio: sociologa, fsica, biologa

El razonamiento aproximado. Uno de los objetivos de la lgica borrosa es proporcionar las bases del razonamiento La teora del aproximado, razonamiento que utiliza premisas imprecisas como instrumento para formular el conocimiento. aproximado permite representar tambin cuantificadores lingsticos situados entre el "para todo" y el "existe" clsicos. Esto facilita representar enunciados como "la mayora de los alemanes son rubios" o "bastantes electores han votado en blanco". Los cuantificadores aproximados se usan para representar conocimientos de sentido comn. Relacin de la lgica clsica con la lgica borrosa. En la lgica clsica una proposicin slo admite dos valores; verdadero o falso, por ello se dice que la lgica usual es bivalente binaria. Existen otras lgicas que admiten adems un tercer valor posible (lgica trivaluada) e incluso mltiples valores de verdad (lgica multivaluada). La lgica borrosa se puede inscribir en el contexto de la lgica multivaluada. As pues, la lgica difusa es un tipo de lgica que reconoce ms que simples valores verdaderos y falsos. Con ella, las proposiciones pueden se representadas con grados de veracidad o falsedad. Por ejemplo, la sentencia "hoy es un da soleado" puede ser: 100% verdad si no hay ninguna nube 80% de verdad si hay pocas nubes 50% verdad si existe neblina 0% verdad si llueve todo el da.

La lgica binaria puede ser vista como un caso especial de la teora del razonamiento aproximado en el cual los conjuntos base tienen dos elementos {T, F} y los grados de pertenencia se restringen a 1 0. La lgica probabilstica puede ser vista tambin como una extensin de sta, en tanto que, aunque se restringen los conjuntos base de valores a dos; T y F, se permite que los grados de pertenencia sean nmeros en el intervalo unidad. As, la lgica borrosa extiende la lgica binaria permitiendo su formalizacin en trminos de la teora del razonamiento aproximado. En conclusin, aunque superficialmente puede parecer que la teora del razonamiento aproximado y la lgica clsica se diferencian enormemente, la lgica clsica puede ser vista como un caso especial de la primera.

Conceptos bsicos de la lgica borrosa. Conjuntos borrosos. Recordemos que en un conjunto clsico (crisp) se asigna el valor 0 1 a cada elemento para indicar la pertenencia a dicho conjunto. Esta funcin puede generalizarse de forma que los valores asignados a los elementos del conjunto caigan en un rango particular, y con ello indiquen el "grado de pertenencia" de los elementos al conjunto en cuestin. Esta funcin se llama "funcin de pertenencia" y el conjunto definido por ella "conjunto borroso". La funcin de pertenencia A por la que se define el conjunto borroso A tiene la siguiente forma: A: X [0, 1] Es decir, mientras que en un conjunto clsico los elementos pertenecen o no pertenecen totalmente a l, en los conjuntos borrosos hay grados de pertenencia (en referencia a un universo local). Las formas de las funciones de pertenencia ms tpicas son trapezoide, lineal y curva. Veamos un ejemplo de conjuntos difusos en el universo de la edad. Tmese un individuo x cuya edad sea de 25 aos. Dicho individuo pertenece al conjunto difuso "joven" y al conjunto difuso "maduro". Se podra decir, por ejemplo que posee un grado de pertenencia

0,6 para el conjunto difuso "joven" y un grado 0,4 para el conjunto "maduro" (tambin poseera un grado de pertenencia 0 para "viejo"). De esto se puede deducir que un elemento puede pertenecer a varios conjuntos difusos a la vez (aunque con distinto grado). Nuestro individuo x es ms joven que maduro, pero no se puede decir, tratndose de conjuntos difusos, que x es joven o que x es maduro de manera rotunda. Operaciones con conjunto borrosos. Siguiendo con los conceptos bsicos que nos ocupan A ser un subconjunto borroso de B cuando A(x) B(x) para todo x del conjunto total X Originalmente, la teora de conjuntos borrosos se formul en base a un conjunto de operadores tambin vlidos para conjuntos clsicos: Negacin: ?A(x) 1 - A(x) Unin: AUB(x) = mx {A(x), B(x)} Interseccin: AB(x) = mn. {A(x), B(x)} Pero para completar el tipo de razonamiento anlogo al que se realiza con lgica clsica es necesario definir el concepto de implicacin. Una implicacin borrosa I es, en general una funcin de la forma: I : [0, 1] x [0, 1] [0, 1] Para cualesquiera dos valores ciertos de a y b de dos proposiciones borrosas p y q se define el valor cierto I(a,b) de la proposicin "si p entonces q" (es una extensin de la implicacin clsica p q en al dominio {0, 1} al dominio [0, 1]). Por ltimo, cualquier funcin que asocie puntos x, y, z. del conjunto (crisp) X al Y puede generalizarse de forma que asocie subconjuntos borrosos de X en Y, es el denominado "Principio de Extensin". Aplicaciones de la lgica borrosa. Aunque la intencin original del profesor Zadeh al introducir la Teora del razonamiento aproximado, era crear un formalismo para manipular la imprecisin y vaguedad del razonamiento humano expresado lingsticamente, caus sorpresa que el xito de la lgica borrosa llegase al campo del control automtico de procesos. Hasta ahora, han sido infinidad de productos los lanzados al mercado usando tecnologa borrosa, muchos de ellos utilizando la etiqueta "fuzzy" como smbolo de calidad y prestaciones avanzadas.

La lgica difusa ha sido probada para ser particularmente til en sistemas expertos y otras aplicaciones de Inteligencia Artificial. Es tambin utilizada en algunos correctores de voz, para sugerir una lista de probables palabras a reemplazar en una mal dicha. El control borroso ha sido aplicado con xito en muy diversas ramas tecnolgicas, por ejemplo: - la metalurgia, - controles de maniobra de aviones, ascensores, - sistemas de control de acondicionadores de aire, - sistemas de foco automtico en cmaras fotogrficas, - la domtica, - mejora de la eficiencia del uso de combustible en motores, etc. El xito de estas aplicaciones de control radica, como ya hemos dicho, en la simplicidad, tanto conceptual como de desarrollo de los procesos de control borrosos. Como principal inconveniente cabe destacar la dificultad de elegir una correcta funcin de pertenencia para conjuntos difusos. El hecho de que cualquier funcin de pertenencia est mal especificada, hara fallar, muy probablemente, todo el sistema. La lgica borrosa tambin ha demostrado ser una herramienta especialmente til en un campo como el de la robtica, caracterizado por la presencia de incertidumbre en el conocimiento que se tiene del entorno. Cualquier intento para controlar un sistema dinmico necesita utilizar algn conocimiento o modelo del sistema a controlar. En el caso de la robtica el sistema est formado por el propio robot y el entorno en que ste opera. Una de las aplicaciones ms extendida de las tcnicas borrosas es el diseo de comportamientos. Son comportamientos tareas como: - evitar obstculos fijos - seguir un contorno - evitar obstculos mviles - cruzar puertas - seguir una trayectoria - empujar o cargar un objeto, etc. El control borroso se presenta entonces como una alternativa muy interesante en el campo de la robtica, caracterizado por:

- la imposibilidad de disponer de un modelo matemtico fiable de un entorno real, cuando ste alcanza ciertos niveles mnimos de complejidad. - la incertidumbre e imprecisin de los datos proporcionados por los sensores. - la necesidad de operar en tiempo real. Antes de ver algn ejemplo sobre cmo implementar la lgica difusa en robtica, veamos cmo funciona realmente el razonamiento y los controladores borrosos en situaciones reales. Funcionamiento de la lgica borrosa. En nuestro entorno y en nuestra vida cotidiana aceptamos la imprecisin como una consecuencia natural de "la forma de las cosas en el mundo". La dicotoma entre el rigor y la precisin del modelado matemtico en todos los campos, y la intrnseca incertidumbre del mundo real no es, generalmente, aceptada por los cientficos, filsofos y analistas. La lgica difusa simplemente acerca estos eventos a funciones numricas y permite escoger un resultado en lugar de hacer un anlisis del conocimiento emprico. Con todo este razonamiento, se puede asegurar que la lgica difusa se adapta mejor al mundo real en el que vivimos, e incluso puede comprender y funcionar con nuestras expresiones del tipo "hace mucho calor" "el ritmo del corazn est un poco acelerado". La clave de esta adaptacin se basa en comprender los cuantificadores de nuestro lenguaje, por ejemplo "mucho" o "muy poco". El funcionamiento de la lgica borrosa se basa en reglas heursticas de la forma SI ENTONCES , Donde antecedente y consecuente son conjuntos difusos (puros, o resultado de operar con ellos). Por ejemplo: SI hace muchsimo calor ENTONCES disminuyo drsticamente la temperatura. SI voy a llegar un poco tarde ENTONCES aumento levemente la velocidad. Los mtodos de inferencia para esta base de reglas deben ser simples, veloces y eficaces. Los resultados de estos mtodos son un rea final, fruto de un conjunto de reas solapadas entre s, cada una resultado de una regla de inferencia.

Para escoger una salida concreta a partir de tanta premisa difusa, lo usual es tomar el centro de gravedad del rea total resultante. Los datos de entrada suelen ser recogidos por sensores y el motor de inferencia se basa en chips difusos. La robtica. El trmino robtica procede de la palabra robot, es por tanto, la ciencia (o rama de la ciencia) que se ocupa del estudio, desarrollo y aplicaciones de los robots. Otra definicin podra ser; el diseo, fabricacin y utilizacin de mquinas automticas programables con el fin de realizar tareas repetitivas de ensamble de automviles, aparatos, etc. Bsicamente, la robtica se ocupa de todo lo concerniente a los robots, lo cual incluye el control de motores, mecanismos automticos, sensores, sistemas de cmputos En el aspecto terico se anan las aportaciones de la automtica, la informtica y la inteligencia artificial. Por el lado prctico o tecnolgico hay aspectos de construccin (mecnica, electrnica), y de gestin (control, programacin). Por tanto la robtica presenta un marcado carcter interdisciplinario. Esta disciplina tiene sus propios problemas, sus fundamentos y sus leyes. Segn Asimov, los tres principios o leyes de la robtica son: 1. Un robot no puede lastimar ni permitir que sea lastimado ningn ser humano. 2. El robot debe obedecer a todas las rdenes de los humanos, excepto las que contradigan la primera ley. 3. El robot debe autoprotegerse, salvo que para hacerlo entre en conflicto con la primera o la segunda ley. Los robots son dispositivos compuestos de sensores que reciben datos de entrada y que pueden estar conectados a una computadora, la cual ordena al robot que efecte una determinada accin. Puede ser que los propios robots dispongan de microprocesadores que reciban la informacin de los sensores y ordenen al robot la ejecucin de las acciones. Ejemplos concretos de funcionamiento de robots. Veremos a continuacin dos aplicaciones de la robtica en las que se implementan claramente los controles borrosos mencionados anteriormente. En primer lugar veremos un modelo de movimiento de un robot en espacios interiores y seguidamente hablaremos de robots destinados a jugar un partido de ftbol en la denominada RoboCup.

Localizacin topolgica basada en la visin para robots mviles. La localizacin de un robot en su entorno es uno de los problemas clsicos de la robtica mvil. Es el punto de partida de otros problemas como son la interaccin con el entorno, y sobre todo, la navegacin. Por localizacin se entienden las tcnicas que se encargan de solucionar el problema de determinar la posicin de un robot en su entorno, utilizando sus propios sensores. En entornos interiores existen una gran cantidad de tareas que un robot puede realizar: llevar correo de un despacho a otro, tele asistencia, tareas de seguridad, etc. Pero para realizarlas, un robot debe conocer su posicin para trazar la ruta desde su posicin a su destino. Lo que se pretende es detectar la posicin de un robot mvil en un entorno de oficinas para que pueda navegar por los pasillos de un despacho a otro. Usa como principal sensor las imgenes de una cmara, y utiliza tambin un sensor de infrarrojos. La informacin que obtiene de la imagen de la cmara son elementos comunes del entorno, como puertas, luces del techo y elementos que estn a ambos lados del robot. A las posibles posiciones y orientaciones en las que el robot se puede encontrar se les llama "estados". Los estados son definidos sobre el entorno de la oficina formado por pasillos y habitaciones. No tienen ninguna relacin mtrica, pues esta navegacin se basa en una visin del espacio puramente topolgica, en la que las diferentes posiciones se determinan mediante una divisin del entorno en distintos nodos. El proceso es el siguiente; primero se identifican los nodos como partes del mapa, una vez obtenidos, se obtienen los estados en los que el robot se puede encontrar. Las acciones que el robot puede tomar en cada posicin son simples: avanzar hasta el siguiente nodo, girar hacia la izquierda o girar hacia la derecha. Por ejemplo, si un robot est orientado hacia el fondo del pasillo y a ambos lados tiene pared, y decide realizar la accin de avanzar, el robot avanzar hacia delante hasta que en alguno de los lados deje de encontrar pared. En ese momento, mediante un proceso basado en el funcionamiento visto antes de los sistemas de control borroso, el robot decidir entre las acciones que enumerbamos antes.

Otro escenario totalmente distinto es la competicin de RoboCup, en la que equipos autnomos compiten entre s en un juego similar al ftbol. Esta competicin naci como una iniciativa para fomentar la ciencia y la tecnologa. El objetivo es construir un conjunto de robots que jueguen un partido de ftbol (real o simulado) de manera autnoma e inteligente, proponiendo una plataforma comn de experimentacin. La mayora de los equipos presentados tienen el comportamiento de sus jugadores diluido en el cdigo de los programas que ejecutan y usan estructuras tpicas como semforos o handlers para manejar a sus jugadores y tomar decisiones. Pero se puede aadir al diseo del equipo otro tipo de herramienta, la lgica difusa, y veremos a continuacin cmo puede utilizarse. Para cada jugador se ha creado una memoria local que integra la informacin subjetiva que tiene sobre su entorno y su estado interno. Sobre esta memoria un controlador borroso determina en cada instante la activacin de los comportamientos primitivos que, a su vez, generan el comportamiento observable de cada jugador. Se han implementado siete roles hasta completar los distintos jugadores de un equipo real: portero, central, lateral, medio, interior, media punta y delantero. Cada uno, en su memoria local individual integra toda la informacin relevante para su actuacin en forma de variables. Se incluyen las posiciones de otros jugadores y la pelota si es que caen dentro de su cono de visin. Se almacena la posicin propia, su orientacin en el campo y variables internas como la stamina que determina la energa disponible por el jugador para sus movimientos (cuanto menos sea esta energa sus desplazamientos sern ms lentos y sus chutes ms flojos). Si nos centramos en el controlador borroso, que es lo que nos ocupa, la memoria local se plasma en tres variables: la distancia de la pelota (DistBola) a la posicin de referencia de cada jugador (DistRef), y la distancia al jugador del equipo contrario ms cercano (DistContrario). Estas variables borrosas son la entrada al controlador y dan cuerpo a los antecedentes de las reglas utilizadas por l. Las variables de salida del controlador marcan la motivacin para cada uno de los comportamientos primitivos (como por ejemplo, chutar a gol, despejar, buscar un pase, etc.). La motivacin es gradual, dependiendo del grado con el que se activen los antecedentes de las reglas, sin embargo la salida global del controlador se utiliza de modo discreto. Slo se activa un

comportamiento primitivo despus de cada llamada al controlador, aqul cuya motivacin sea mayor. De esta manera hay una correspondencia directa entre las decisiones del controlador borroso y la accin que realiza el jugador. El bucle control que realiza cada jugador consiste en: 1. leer la informacin suministrada por el servidor y actualizar la memoria 2. calcular las variables de entrada 3. evaluar las reglas obteniendo unos valores para las variables de salida que se transforman en acciones 4. invocar al comportamiento primitivo seleccionado 5. enviar las acciones decididas al servidor. Para ver ms detenidamente cmo funciona un robot de estas caractersticas nos detendremos en dos ejemplos: el portero y el delantero. "El portero" El portero es un punto crtico del equipo, ya que es el ltimo jugador entre la pelota y la portera. Por lo que hay que disear sus reglas de comportamiento con un cuidado especial, llegando hasta el punto de disearle comportamientos primitivos especiales para l, como Salir y Despejar. Este jugador podra regirse por el siguiente conjunto de reglas: - SI DistRef es Lejos IrPosicin es Alto y Salir es Bajo - SI DistBola es Cerca y DistContrario es Cerca Despejar es Alto e IrPosicin es Bajo - SI DistBola es Cerca y DistContrario es Lejos Salir es Alto e IrPosicin es Bajo - SI DistBola es Cerca y DistContrario es Muy lejos Salir es MuyAlto Probando experimentalmente estas ellas se llega a que; el portero sale a por la pelota si est cerca, pero si su situacin en el campo es demasiado lejana de su portera, la ignora y vuelve a su posicin. "El delantero" A este jugador se le modifican los parmetros de la funcin DistRef para que no se aleje mucho de su posicin en el campo y as evitar que gaste stamina en zonas cuyas opciones de tiro son escasas. Teniendo en cuenta esto, las reglas que podan formularse para el delantero seran: - SI DistBola es MuyCerca ChutarGol es Alto - SI DistBola es Cerca ChutarGol es Alto

- SI DistRef es Lejos IrPosicin es Alto Con todos estos razonamientos se puede desarrollar un equipo capaz de jugar razonablemente bien en el simulador de RoboCup. Esto implica que la lgica difusa se ha mostrado muy conveniente en este campo porque permite mejorar, adaptar y modificar el equipo con relativa facilidad.

LA NANOTECNOLOGIA Una de las disciplinas matemticas ms activas, en la actualidad, es la mal llamada "Lgica borrosa o difusa", aquella que utiliza expresiones que no son ni totalmente ciertas ni completamente falsas, como las que utilizamos en nuestra comunicacin cotidiana. Cuando realizamos enunciados tales como "Juan es un hombre alto" o "Pedro es calvo", que todos entendemos con claridad, utilizamos conceptos cuya definicin, si se pretende que sea entendida por una computadora, acarrea una serie de problemas inherentes al hecho de que tanto "alto" como "calvo" son conceptos relativos. Siempre se es alto o calvo con relacin a algo que no se puede expresar mediante una definicin clara; por ejemplo, si suponemos que son altos los que superan 1,80 m de altura, podemos concluir, de manera errnea, que un hombre de 1,79 m es bajo. La Lgica borrosa o difusa es la Lgica aplicada a conceptos que pueden ostentar un valor cualquiera de veracidad dentro de un conjunto continuo de valores que oscilan entre dos extremos. Conviene recalcar que lo que es "borroso", impreciso o vago no es la lgica en s, sino el objeto que estudia: expresa la falta de definicin del concepto a que se aplica. As, hay muchos autores que prefieren utilizar expresiones como "lgica de los enunciados vagos", como traduccin de la expresin inglesa fuzzy logic. La lgica difusa fue investigada, por vez primera, por el ingeniero estadounidense Lotfi Zadeh en la dcada de 1960, cuando se dio cuenta de que, en los sistemas complejos, el intento de precisin en la descripcin de una tarea automtica conllevaba un aumento muy significativo de la informacin que se requera en los enunciados, y que stos no tenan por qu redundar en una mejor realizacin de la tarea. A modo de ejemplo, es muy difcil describir con precisin matemtica cmo se aparca correctamente un vehculo; si se hiciera, un eventual dispositivo automtico de aparcamiento lograra colocar siempre el vehculo a la misma distancia de los vehculos anterior y posterior, y a la misma distancia de la

acera. Sin embargo, resulta mucho ms sencillo describir intuitivamente el proceso, utilizando expresiones poco rigurosas, del tipo: "cuando sobresalga un poco la parte de atrs del coche con relacin a la parte de atrs del coche anterior, gira completamente el volante y da marcha atrs". El resultado de aparcar de este modo es bueno, pero posee cierto margen de error inherente, aunque perfectamente asumible e irrelevante. Los investigadores en sistemas de ingeniera artificial creen, con buen criterio, que, si se quieren construir sistemas automticos que interaccionen de forma natural con el hombre, stos deberan ser capaces de entender el modo de relaciones lgicas que se establecen con conceptos indefinidos, dado que el hombre los emplea con naturalidad. Y se estn dedicando a elaborar programas informticos capaces de simular, con bastante fortuna, estas condiciones. Por ejemplo, hace ya tiempo que funcionan lavadoras capaces de autorregular la cantidad de jabn que requiere un lavado, dependiendo del grado de suciedad que tenga la ropa; cuentan con un chip que responde, de manera lgica, a las condiciones del proceso: si el agua esta sucia, aade jabn, y si est muy sucia, aade ms jabn. Otros juguetes tecnolgicos que funcionan de la misma manera son unas mquinas de cocer arroz, capaces de elaborar diversas variedades de arroz de forma automtica, regulando la cantidad de agua y la temperatura, en cada caso, para obtener un grano cocido suelto. paratos de aire acondicionado, mecanismos de atraque automtico de naves espaciales, sistemas automticos de regulacin de la cantidad de anestesia que se suministra a los pacientes en un quirfano -aunque bajo supervisin mdica, por supuesto-, sistemas que regulan la aceleracin y el frenado de los trenes de metro segn el nmero de pasajeros que viajen o sistemas de concesin -o denegacin- automtica de crditos segn el perfil econmico del solicitante son otras de las muchsimas aplicaciones de la lgica difusa, que ya estn funcionando en el campo de los llamados sistemas expertos. Todos estos sistemas utilizan informacin, esencialmente, imprecisa con el fin de lograr sus cometidos. La lgica difusa est teniendo, por lo tanto, bastante xito en su utilizacin sobre los sistemas de control, aplicacin que ya podra considerarse como rutinaria. Sin embargo, los investigadores buscan nuevos campos de aplicacin de esta tcnica. Hasta el momento, la lgica difusa se est utilizando ms como un conjunto de recetas dispersas de resultado emprico probado, que como aplicacin de una teora bien desarrollada. Por ello, los matemticos investigan la formalizacin matemtica de la lgica difusa, con el propsito de encontrar muchos ms

campos de aplicacin en el conjunto de las actividades humanas. Se investiga en reas como el reconocimiento de patrones visuales o la identificacin de segmentos de ADN, por mencionar dos ejemplos Uno de los aspectos ms llamativos de toda esta tecnologa reside en que, para programar un chip capaz de realizar ciertas tareas con variables que no tienen una definicin precisa, no es preciso definir las condiciones de funcionamiento en el entorno de un formalismo matemtico excesivamente riguroso; basta con establecer ciertas reglas de actuacin que pueden ser muy vagas; un ejemplo, para el caso ya mencionado de la lavadora, sera el de aadir ms jabn en caso de que el agua est muy sucia. Esta mayor facilidad para describir tareas complejas, sin ayuda de la descripcin matemtica, plantea ciertas cuestiones, que no debemos pasar por alto, sujetas a viva polmica. Uno de los hechos ms destacables de la ciencia del ltimo medio siglo ha sido la constatacin de que los sistemas fsicos reales son, en su mayor parte, complejos: las leyes fsicas lineales, como la conocida Ley de Ohm (voltaje = intensidad x resistencia), por poner un ejemplo, slo se cumplen para unos valores de las variables muy especficos, y fuera de estos regmenes de trabajo son no lineales (para el caso anterior, el voltaje depende de funciones poli nmicas muy complicadas, de la intensidad y la resistencia). Es decir, que se necesita mucha gimnasia matemtica para describir fielmente el mundo fsico. Y porqu no echar mano de la lgica difusa? Podemos conformarnos con una descripcin aproximada de la realidad, es decir, elaborar una ciencia difusa? Puede ser posible elaborar una ciencia basada en conceptos que son parcialmente ciertos y parcialmente falsos o, por el contrario, y como se ha supuesto desde los tiempos del Positivismo, la ciencia, basada en las inexorables leyes que se expresan mediante expresiones matemticas, constituye la representacin de la realidad ms cercana a la verdad que conocemos? Quienes opinan que es posible trabajar en entornos de ciencia difusa difusa creen firmemente que no existe tal cosa como una realidad, es decir, encuentran como igualmente equivalente cualquier tipo de representacin que se adopte. Entre ellos, podemos encontrar a toda la plana mayor de los gurs del pensamiento actual, como Nicholas Negroponte, Paul Virilio, Bart Kosko, Eduardo Kac, Roy Ascott y muchos otros. No ponen lmites en imaginar que, con ayuda de la tecnologa, el hombre pronto ver superadas sus ataduras corporales; hay quien, incluso, pretende que es posible la transferencia de toda la informacin alojada en un cerebro a un chip apropiado, logrando con

ello, nada menos, que la inmortalidad. Son entusiastas defensores de la realidad virtual como una forma igualmente vlida de realidad, algunos van ms all y se atreven a hablar de la "realidad vegetal, espiritual, vinculada a la tecnologa de las plantas psicoactivas" (Roy Ascott). A veces adoptan formatos de pseudosecta, como los llamados extrpicos, quienes pretenden utilizar la Ingeniera gentica, la Nanotecnologa, los avances en ciruga protsica y la realidad virtual para vencer el principio termodinmico de aumento de la entropa. No obstante, se debe reconocer que, con su libertad total de pensamiento, estos autores y sus seguidores estn profundizando en temas de gran calado fsico, como el concepto de realidad, y filosfico, como qu es el ser humano y cules son sus modos de percepcin, aprendizaje, etc. La nanotecnologa La nanotecnologa es la comprensin y control de la materia en dimensiones entre 1 a 100 nanmetros (billonsimas de un metro) donde fenmenos nicos de propiedades Cunticas permiten nuevas aplicaciones en la construccin de artefactos y maquinarias (Motores, robots, servomecanismos, computadores) tan diminutos que sus partes o Elementos son molculas o tomos u otras partculas elementales a escala atmica (no en Millones de millones de tomos como son las partes de la maquinaria a escala normal, sino De uno, dos o tres tomos individualmente); de tal manera o partculas atmicas controlados

Que su comportamiento se explica y controla por las leyes de la mecnica cuntica y no de la Fsica clsica de las dimensiones intermedias. De aqu viene su nombre: nano o pequeo; Valga decir, nanotecnologa o tecnologa de lo pequeo; como su medida: nanmetros (Millardsimas de metro). Por lo tanto, envuelve la generacin de imgenes (escanners,

Tomgrafos, ecosongrafos...), la toma de medidas (contadores geigers, computadores Cunticos), el modelaje y la manipulacin de la materia en tal escala (ciclotrones, nanorobots, nanomotores...); con resultados imposibles de lograr por medio de las Tecnologas tradicionales, y enfrentar as problemas cuyas soluciones no parecan al alcance De la capacidad de la tcnica y la tecnologa anterior. Aunque existen muy diversas y mltiples propuestas de artefactos y mquinas nanotecnolgicas en vas de construccin, en 40 centros de investigacin en nanotecnologa alrededor del mundo, particularmente en pases desarrollados, que se aplicarn en dominios tales como: la computacin, la informtica, la medicina, la biologa, el medio ambiente, la construccin, la ingeniera gentica, la manufactura molecular... vamos a concentrar nuestro anlisis en el ms general de todos ellos, el de la computacin, conocido como computacin cuntica; pues, como toda nanotecnologa, la computacin cuntica opera con partculas elementales y lo que se argumente acerca de ellas como nanotecnologa, en tal contexto, es vlido para todas las dems disciplinas de carcter nanotecnolgico. La computacin cuntica es el resultado de la evolucin de la tecnologa para construir computadores que, al reducirlos en tamao continuamente, alcanzan dimensiones tales que ya se miden en nanmetros, realizando computaciones que controlan individualmente tomos y otras partculas elementales. Esta evolucin podr medirse en el nmero de electrones necesarios para almacenar un bit o dgito binario (0 1, tambin on

u off) base de la computacin y de la informacin, as: Ao Electrones 1950 1012 1970 108 1990 104 2010 1 Y se alcanza la nanotenologa o tecnologa a escala cuntica. El ganador del Premio Nobel de Fsica (1965), Richard Feynman, fue el primero en hacer referencia a las posibilidades de la nanociencia y la nanotecnologa en una clebre Conferencia que dio en el Instituto Tecnolgico de California, el 29 de diciembre de 1959, titulado En el fondo hay espacio de sobra (Theres plenty of room at the bottom); y acertadamente predijo que para la primera dcada del siglo XXI apareceran los primeros computadores cunticos; es decir, en el presente. La computacin cuntica consiste, de manera general, en controlar la evolucin de los estados cunticos por los que pasan un conjunto de partculas elementales sujetas a tal control. El estado inicial de las partculas que pueden tomar uno de dos posibles estados (aunque tambin tienen la particularidad de poder estar en ambos a la vez, en superposicin de estados) para formar un sistema binario, puede ser evaluado como los datos de entrada al computador cuntico y su estado final como la salida. El proceso de evolucin del estado inicial al final es la computacin realizada. De esta manera memoria y procesador son uno mismo en un computador cuntico. La evolucin se llama unitaria porque debe realizarse

como un proceso elemental nico, como unidad sola, sin ninguna interferencia externa al sistema. La computacin cuntica radicalmente de la tiene caractersticas que la diferencian

Computacin clsica o tradicional, como consecuencia de obedecer a las leyes de la mecnica cuntica, tales como (adems de la evolucin unitaria) el operar con amplitudes de probabilidades, la interferencia cuntica, el paralelismo cuntico y el enramado cuntico. Estas caractersticas pueden resumirse diciendo que un computador cuntico es un sistema fsico que acepta estados de entradas (inputs states) que representan una superposicin coherente de muchos posibles argumentos (inputs). La palabra coherente significa que el sistema aunque aislado del ambiente se acopla con l en grado tal que la evolucin unitaria procede: la de coherencia es el grado en que tal acoplamiento es aceptable. Y es la causa de que el mundo de nuestra vida diaria, del sentido comn, sea aparentemente clsico, determinista y no aleatorio como el de la verdadera naturaleza cuntica. La computacin cuntica ofrece un enorme paralelismo y la amplitud del espacio computacional est exponencialmente relacionada con el tamao del sistema (por ejemplo: un computador cuntico de 3 bits, por superposicin es el equivalente a 23 = 8 clsicos Operando en paralelo; si se llegaran a construir computadores cunticos con la capacidad en gigabits, como los clsicos de hoy, entonces el potencial de computacin se incrementara en cantidades inimaginables); pero, adems, el enramado cuntico permite codificar

informacin en partes de un sistema fsico mutuamente correlacionada... aunque pudieran estar separadas entre s ilimitadamente. Sin embargo, es elemental (pero fundamentalmente importante) el hecho que la evolucin cuntica es ultra sensible a interacciones con el medio ambiente; la enorme fragilidad de los estados cunticos usados para procesar informacin hace que su construccin sea en extremo difcil y supone superar varias barreras tcnicas, entre las que sobresale la reversibilidad de sus componentes para que el proceso de evolucin sea unitaria. Es decir, que pueda ser aislada del ambiente que le rodea. Una operacin es reversible si se pueden reconstruir sus entradas (inputs) de sus salidas (outputs). Richard Feynman, en 1985, mostr como un computador cuntico poda partir del diseo de un circuito booleano (la lgica de la computacin, pues la computacin es lgica ms control) que realizara la computacin deseada en que cada conmutador o gate booleano del circuito realiza una operacin unitaria en uno o ms bits cunticos para lo que usaba unos gates reversibles diseados por Fredkin y Toffoli [4] y [7]; de aqu Feynman pasaba a construir un operador de evolucin o hamiltoniano, que es el verdadero computador cuntico, partiendo de tal circuito. Era evidente, como lo mostraron quienes mejoraron el diseo de Feymann a partir de su trabajo de los aos ochenta, que no se puede construir un computador cuntico de los circuitos clsicos. Sabemos que toda la lgica puede hacerse con

slo las combinaciones del NOT con el AND o el OR; y hasta con una sola clase operador o gate como el juntor NO Y (o NAND en ingls) pero slo el NO es reversible; de los dems no se pueden construir las entradas de la salida, pues borran informacin en el proceso, disipando calor en el medio ambiente y la evolucin unitaria de un circuito que se disee tomndolos como modelos, colapsa. Mucho del trabajo en el diseo de computacin cuntica, en nuestros das, consiste en tratar de impedir que computacin y ambiente interacten (o se controle, hasta cierto grado su interrelacin y se mantenga la coherencia de la evolucin cuntica). Hasta ahora, esto se ha logrado slo con la reversibilidad (esto es que el proceso vaya en un doble sentido y la computacin pueda invertirse y se ha logrado el diseo y construccin de gates reversibles). De tal manera que, recapitulando, programar un computador cuntico consiste en simular, con un operador de evolucin cuntica o hamiltoniano, el comportamiento de un circuito booleano o mquinas computacin deseada. de Turing clsicos, que realizan la

Puesto que tanto los circuitos booleanos como las mquinas de Turing clsicos son irreversibles y de tales no es posible simular la evolucin cuntica que obedece leyes fsicas reversibles, el primer paso consiste en convertir los circuitos o mquina irreversibles en reversibles; el segundo, a partir de all, construir el hamiltoniano. Existen procedimientos generales para efectuar el primer paso. Es decir, para

convertir un circuito o mquina irreversibles en reversibles; pero no existe un procedimiento formal y sistemtico que no sea otro que el ingenio particular del programador para el segundo: crear de los sistemas reversibles un hamiltoniano. Sin embargo, desde hace un par de aos, los centros de investigacin que se dedican a la nanotecnologa han construido computadores cunticos de dos y tres bits (llamados quatum bits o qbits) con tecnologas diferentes; pero, en junio del 2009, la Escuela de Ingeniera de la Universidad de Yale report la construccin de un computador cuntico de dos bits usando ingeniera de estado slido en una base de aluminio que se asemeja mucho a las tcnicas actuales de produccin de computadores clsicos, pero con las caractersticas del computador cuntico de superposicin de estados, enramado, evolucin unitaria. Es decir, anunciando el umbral de la industria de la nanotecnologa. Y, segn piensan los expertos, problemas de computacin de complejidad tal que no son ni siquiera concebible en los computadores actuales encontrarn su solucin en la computacin cuntica. La meta-tcnica La meta-tcnica, segn la descubre y desarrolla el doctor Ernesto Mayz Vallenilla en su original obra Fundamentos de la meta-tcnica [1], es la ruptura revolucionaria o discontinuidad de cnones inteligibilizadores con sintaxis de logos distintos a los de la tcnica evolucionada histricamente hasta el siglo XX; identificada por la trans-racionalidadi

que abandona un logos de carcter ptico-lumnico de lo sensorio antropomrfico, antropocntrico y geocntrico de raigambre humana, propio de la tcnica anterior, y mediante la cual una serie de nuevos productos y artefactos no slo extienden el potencial sensorial del hombre sino que incursionan en otros dominios epistemolgicos no directamente accesibles al conocimiento humano por medios naturales (diferente en grado al menos en unos casos, pero la mayora diferentes en clase); sensibles a mensajes de molculas en el aire o a ondas sonoras o de calor imperceptibles a los humanos... desarrollados por la evolucin natural en el aparato sensorial de algunos animales pero no en los mamferos primates del grupo homnido, y ms all en algunos artefactos resultantes de la tcnica y la evolucin cultural que ningn producto de la evolucin biolgica ostenta, como son los instrumentos y dispositivos sensores de espectros de luz, del sonido, del gusto o el tacto en menor grado, y que operan en escala microscpica y ms profunda de radiaciones y energa. Representados como ejemplos paradigmticos en escneres, tomgrafos, ecosongrafos, sensores Geiger, ciclotrones y aceleradores de partculas, rayos lser, misiles guiados por el calor,... para mencionar algunos; pero que avanza a su clmax a principios del siglo XXI, con la nanotecnologa, como mostraremos en adelante, por medio de la cual se espera no slo construir computadores cunticos sino tambin una serie de robots y servomecanismos que pudieran, a escala de nanmetros, ser capaces de participar

de otra alteridad; por ejemplo, ser enviados en el flujo sanguneo para extirpar un tumor maligno en un sitio especfico del cuerpo humano, autnomamente, sin contacto con la alteridad humana; o teleportar informacin a los confines del universo de manera instantnea, no local, violando el principio de que nada se mueve a mayor velocidad que la de la luz; pero, sobre todo, la ms profunda e inimaginable alteridad: la de contactos entre multi-universos como lo avizora David Deutsch [5]. Como la nanotecnologa, la meta-tcnica es el resultado de la evolucin de la tcnica. Diferencias entre tcnica y meta-tcnica En este punto debemos aclarar qu significa para Mayz ratio y logos. Ambas palabras se refieren a la facultad de razonar. Una tiene origen latino y la otra el griego. En general, es la habilidad de pensar correctamente, formar conceptos, explicar y justificar las cosas e inferir conclusiones correctas de ciertas premisas o postulados: en sntesis, usar eficientemente el conocimiento. Mayz reserva el trmino ratio para la razn tcnica tradicional, pero que est a punto de transmutarse en una nueva razn que denomina logos. La primera, la ratio, esencialmente humana, caracteriza al ser humano; la segunda, el logos, es post-humana, autnoma y autrquica, independiente del ser humano. Hasta el presente, la razn tcnica o ratio technica como la llama Mayz, consubstanciada con la subjetividad del hombre, depende de lo sensorio humano, pues tiene su eje y base en la naturaleza humana y sus limitaciones somato-psquicas, que Mayz caracteriza como antropomrficas, antropocntricas y geocntricas. Valga decir que:

1. La tcnica, en tanto antropomrfica, tiene su eje en las caractersticas somato psquicas naturales del hombre y su potenciacin. 2. En tanto antropocntrica, la tcnica se mide en trminos de eficiencia para lograr las metas que la voluntad de poder del hombre impone sobre la alteridad (lo que acaece). En tal sentido, est concebida para dotar al hombre de un dominio cuyo centro y agente es el propio hombre. En consecuencia, predomina en ella una ratio humana con carcter de exclusividad y privilegio. 3. En tanto geocntrica, el mbito en el que se origina y primero de su aplicacin es la Tierra y sus peculiares caractersticas dentro del cosmos, en la que el hombre natural ha habitado hasta el actual siglo. Puesto que lo sensorio somatopsquico humano es primordialmente visual, la ratio technica est dominada por una sintaxis ordenadora ptico-lumnica como llama a lo visual, unin del ver y la luz, y que se expresa primordialmente en el lenguaje. Un lenguaje pticolumnico. Los Fundamentos de la meta-tcnica de Mayz Vallenilla son un completo, complejo y riguroso recorrido por descubrir en todo el filosofar del pensamiento occidental la influencia y dependencia ordenadora fundamental de todo el conocimiento acumulado por siglos bajo el logos ptico-lumnico segn se expresa en el lenguaje comn, filosfico o cientfico; es decir, de lo visual y la luz como ordenadores del conocimiento humano. Dice Mayz: Asimismo, a partir de semejante hecho [la ereccin de lo ptico-lumnico como fundamento exclusivo

de la razn humana] idntica y complementaria jerarqua se le ha otorgado a la luz as como, derivadamente, a todo el universo de lo luminoso convirtiendo a sus estmulos y manifestaciones en agentes o exponentes de aquella fulgurosa ratio. Testimonios de ello se encuentran reiterados desde diversas perspectivas a lo largo de la historia de la filosofa occidental el binomio de lo ptico-lumnico sea en forma metafrica o real acta como raz o fundamento, primario o primigenio, de lo racional [3]. Es precisamente la ruptura con el logos ptico-lumnico lo que abre paso en el pensar a la meta-tcnica. Frente a esta modalidad de la tcnica tradicional, tal como afirma Mayz, se avizora una modalidad del logos (pensar, discurso, razonamiento, protofundamento, principio ordenador) diferente. Pues el logos que sustenta la tcnica tradicional (con lmites dados por la dotacin somato-psquica humana y caracterizado por una naturaleza antropomrfica, antropocntrica y geocntrica, con preponderancia pticolumnica, eje del sistema sinestsico y de sinergia de la tcnica tradicional) se suplanta, se transmuta en un logos trans-humano que trasciende los lmites ingnitos de lo tradicional, al abandonar los ejes exclusivamente antropomrfico y ptico-lumnicos de ese logos antropocntrico,

geocntrico connatural al hombre. Este paso se da gracias al mismo desarrollo tecnolgico y por ello Mayz denomina a este nuevo logos metatcnico, ya que constituye una nueva racionalidad, que no es i-rracional ni a-rracional sino la expresin de la misma racionalidad humana en conjuncin con los resultados de su hacer, la tcnica. Segn Mayz, esta ruptura

procede en varias fases. antropocntrica y geocntrica

Una

fase

puramente

antropomrfica,

en la que potencia lo sensorio humano como son los casos de los telescopios y microscopios y otros artefactos. Otra en que se ampla su dominio por mimetismo con otros seres vivos, y se elimina lo antropomrfico. Por ejemplo artefactos como el radar o los resonadores magnticos que imitan algn sensorio animal, como la captacin de ondas electromagnticas como lo hacen las amebas o los ultrasonidos como sucede con los delfines y los murcilagos. Que ya no es una tcnica antropomrfica, aunque s geocntrica y antropocntrica. Y finalmente, la fase de la propia meta-tcnica, como es el caso de la nanotecnologa en la que no hay nada que pueda calificarse de antropomrfico ni antropocntrico ni geocntrico: sus dominios son universales y no corresponden a algn sensorio humano y resultan autrquicos y autnomos con relacin a la voluntad humana. El logos de esta ltima fase es en consecuencia trans-racional, con naturaleza distinta a la racionalidad humana. En consecuencia, la meta-tcnica es un nuevo pensar: un pensar transracionali . Dominios de la meta-tcnica Mayz establece tres vertientes [10] de nuevos instrumentos, artefactos y aparatos de carcter meta-tcnico: 1. Instrumento y aparatos que al modo de sentidos artificiales alteran y transmutan lo sensorio humano ingnito; y se nos ocurren como paradigmas de tales los

ecosonogramas que extienden los sentidos con imgenes tridimensionales obtenidas por el empleo de ultrasonidos a travs de cuerpos orgnicos opacos; los visores nocturnos que se valen de luz infrarroja y otro artefactos e instrumentos que emiten y captan emisiones de energa de luz, calor, radiaciones no detectables por lo sensorio humano pero que le dan acceso a una alteridad no antropomrfica, ni antropocntrica ni geocntrica de la tcnica tradicional . 2. Una segunda instrumentos o vertiente meta-tcnica se halla representada por

aparatos que alteran lo congnito o connatural de la estructura psicosomtica del hombre alterando el grado y cdigos para darle acceso a otra alteridad. En esta vertiente computadores estara incluida toda la nanotecnologa como

cunticos, robots moleculares, computadores ADN i Ver Modelo de trans-racionalidad en el contexto de la meta-tcnica y desde la perspectiva del pensamiento complejo de Ennodio Torres en esta misma separata de Principia en homenaje al doctor Ernesto Mayz Vallenilla. ii Esta vertiente ha sido cuestionada como meta-tcnica como lo reporta Vallota [11]. 3. Y la ms reciente y compleja la constituyen instrumentos y aparatos que transustancian ilimitadamente la energa y la materia trans-formando y transmutando el perfil de los entes y del universo en total. Su final designio es convertir progresivamente la alteridad en general en un sistema u holo energtico trans-finito y en constante devenir transmutatorio. Creemos que el mejor ejemplo de tal meta-tcnica lo forman los aceleradores de

partculas, por ejemplo el LHC (Large Hadron Collider en el CERN donde se espera recrear en escala cuntica el Big Bangiii). Mayz dedica gran parte de sus fundamentos de la meta-tcnica a mostrar cmo toda la epistemologa y la ontologa que evoluciona con la tecnociencia hasta la aparicin de los artefactos e instrumentos de la meta-tcnica, tiene una limitacin de la raigambre pticolumnica por su carcter antropomrfico, antropocntrico y geocntrico; y que la metatcnica al darnos acceso a una alteridad impone variaciones tanto en la eventual

objetivacin e inteligibilizacin epistemolgica como en el campo de la ontologa; y necesita de un nuevo logos que se desprenda de principios y sintaxis ptico-lumnica que permita expresar la trans-racionalidad de la alteridad de la supranaturaleza dominio de la metatcnica; aunque como la racionalidad humana ptico-lumnica o ratio technica seguir siendo como tal, necesita de un lenguaje traductor o nootecnia que pase de la transracionalidad meta-tcnica de la alteridad de la supranaturaleza alcanzada con la metatcnica a la racionalidad tcnica de naturaleza humana. No toda la tcnica avanzada es meta-tcnica. Por ejemplo, la computacin tradicional no cuntica no lo es; pues su paradigma central es el Principio de Turing, segn el cual para toda computacin existe una mquina de Turing, y el logos de sta es ptico-lumnico; a saber: los principios de identidad, el tercero excluso, el de no-contradiccin y la funcin de transicin sobre los que se fundamenta [9]; en consecuencia es tcnica. La inteligencia artificial y la realidad virtual, tampoco lo son. La inteligencia artificial y la realidad virtual son

mimesis de la inteligencia y realidad que ejerce y conoce el hombre por sus medios sensorios y son, antropomrfico, en consecuencia, ptico-lumnicas y de logos

antropocntrico y geocntrico [12]. En cambio, los instrumentos y artefactos fundamentados en la mecnica cuntica como la computacin cuntica y la nanotecnologa en general, lo son. En efecto, nada es ms extrao a los sentidos antropomrfico y egocntrico, humanos, menos antropocntrico,

que la mecnica cuntica: que las cosas no existen cuando no las percibimos o medimos; iii El experimento no pudo llevarse a cabo en el ao 2009 pero se espera hacer de nuevo en el presente ao.que la materia se concentre en partculas y se disperse en ondas a la vez para coexistir en este doble comportamiento; que el tiempo pueda moverse hacia atrs o quedarse esttico detenido para siempre en partculas sin masa como los fotones desde el principio del gran estallido con que comenz el Universo unos 13.500 millones de aos atrs; que todas las partculas de una misma especie son idnticas y la energa se transmite en cantidades discretas llamadas cuntos; como, por ejemplo, cuando un electrn pasa de una rbita a otra sin haber estado en estados intermedios y que hay partculas que estn en posiciones distintas simultneamente, instantnea de al mismo tiempo; que hay transmisin

informacin entre partculas de un mismo origen separadas a distancias tan grandes como los extremos de una galaxia; y que en el mundo sub.-atmico rige el principio de

incertidumbre que nos impide conocer la posicin y el momento a la vez de una partcula, es decir de complementariedad, y prevalece como ley estadstica inexorable de los hechos que hacen del mundo cuntico un mundo de probabilidades en el que la tecnologa habitual tradicional no tiene cabida pues todos los estados del sistema estn superpuestos mientras no se midan... Una de las consecuencias de este Principio es que el observador cientfico, en el estudio de los fenmenos observaciones objetivas: su del microcosmos, no puede realizar

participacin altera la realidad. El acto voluntario de su conciencia (escoger entre medir la posicin, el momento...) influye sobre la medicin. Y esto, que la conciencia aprehenda directamente la realidad y por s sola, la modifica; es decir, que al medir creamos la realidad que slo existe potencialmente, no actualmente, como conjetura de una de las interpretaciones de la mecnica cuntica. Y, en los ltimos aos, la posibilidad de que existan universos paralelos al nuestro o multiverso, como los llama David Deutsch [5], dentro de otra interpretacin, que se detectan por interferencias cunticas, y que creamos cada momento con observaciones, mantiene perplejos tanto a cientficos como a filsofos. De manera que el logos, razn, inteligibilizacin o explicacin que nos proporciona esta teora como lenguaje, discurso o pensamiento acerca de tal realidad fsica, por ahora slo refleja lo que hemos alcanzado del conocimiento y no es toda la realidad; y deber ser ajustado en posteriores avances. Esto es as porque hasta el momento lo que la teora nos presenta es totalmente

anti-intuitivo a lo que el mundo de la vida diaria es para nosotros. En particular, las leyes de las probabilidades. Y aunque los fsicos suelen recurrir a transformaciones de imgenes con que pudieran compararse los fenmenos cunticos con los de la vida diaria, estas comparaciones slo sirven para comunicar en lo posible al hombre comn lo que ocurre a nivel sub-atmico. Y hasta algunas veces para presentar experimentos imaginarios. Pero, los expertos entre s, slo pueden entenderse en un logos matemtico sin imgenes. En consecuencia, no conocemos cmo es la realidad en s, slo la deducimos matemticamente. Lo que las teoras nos dicen es algo sobre lo que nosotros sabemos, no cmo son las cosas en s. Por lo tanto, caben interpretaciones o especulaciones cientficas de cmo es la realidad del mundo en que participamos y cmo deberamos interpretar la teora cuntica. Interpretacin meta-tcnica de la nanotecnologa En tal sentido, encontramos un paralelismo aunque diferentes lenguajes, uno filosfico y el otro cientfico, entre lo que dice el filsofo Ernesto Mayz Vallenilla sobre la trans-racionalidad de la alteridad que alcanzamos por medio de la metatcnica y los cientficos que interpretan la mecnica cuntica. Segn Mayz la transracionalidad del logos meta-tcnico, a pesar de su disimilitud con la racionalidad humana, posibilita e inaugura una dimensin y/o proyeccin de la misma (trans-ptica, trans-finita, transhumana) que en lugar de aniquilarla, propicia no slo su enriquecimiento intrnseco, sino paralelamente la

transformacin y trans-mutacin de la alteridad total [11]. Ahora, la formalizacin de la mecnica cuntica por medio de la matemtica de los espacios de Hilbert se hizo con la lgica clsica (racionalidad); es decir, basada en los principios de identidad, tercero excluso y consistencia; pero, la lgica cuntica, que pretende inteligibizar la formalizacin de Hilbert y otras ms, es no-clsica, valga decir, no se sostiene en los anteriores principios o ratio, como los califica Mayz; como por ejemplo, el de la ley distributiva clsica que no es vlida en la lgica cuntica [13] y [15]. 1. Transracionalidad Toda teora cientfica se espera alcance dos objetivos: (a) prediga los resultados de los procesos en su dominio; (b) explique los fenmenos bajo estudio para que aumente nuestra comprensin humana de la naturaleza. La mecnica cuntica es la teora ms exitosa de la fsica actual en cuanto a precisin de clculos y predicciones: no existen conflictos entre los experimentos en la mecnica cuntica y lo que la teora predice. No es as en cuanto a la explicacin que ofrece sobre estos fenmenos, pues no concuerdan de ninguna manera con nuestras intuiciones y sentido comn de la percepcin humana del universo. Algunas interpretaciones buscan acomodar los resultados de la mecnica cuntica con el sentido comn, valga decir, a las dimensiones intermedias de la mecnica de Newton o hamiltoniana; otras intentan aceptar que vivimos en un mundo no-clsico, es decir no

hamiltoniano, y que la visin que hasta ahora hemos tenido del mundo, esto es, de la metafsica y la epistemologa pre-cuntica, son limitadas, circunscritas al dominio de la dimensiones intermedias; valga decir, en las que nos desenvolvemos los seres humanos en el quehacer diario; pero esto es lo mismo que decir, a las limitaciones ptico-lumnicas de raigambre humana, tal como lo expone Mayz en sus Fundamentos... [1]. Pero, Mayz abre una posibilidad dentro de la interpretacin, no limitada de la mecnica cuntica pero que la incluira, y sta es la de la trans-racionalidad de una realidad ms all del alcance de lo sensorio humano; es decir, de la alteridad trans-ptica y trans-lumnica que nos genera la meta-tcnica, pero a la que tendramos slo acceso a travs de un lenguaje traductor que nos permitira su interpretacin y que l llama nootecnia. Dentro de su esquema filosfico, tal nootecnia pudiera ser un formalismo como el que se inicia con los trabajos de John von Neumann en 1932 en lgica cuntica, que es no clsica en cuanto que al derivar de redes no distributivas, no se cumple la tautologa distributiva como en la clsica; y contina hoy en da desarrollndose sin alguna interpretacin generalmente aceptada y persigue unos principios ms fundamentales que los de la fsica para la mecnica cuntica, otro logos como lo llamara Mayz. La interpretacin meta-tcnica de la alteridad que gobierna la mecnica cuntica y, en consecuencia, de la nanotecnologa, incluira un lenguaje traductor o nootcnico con las caractersticas prefiguradas por Mayz en sus fundamentos de la metatcnica; en el caso de

la lgica cuntica, desprendida de sus principios clsicos en su totalidad: una verdadera nueva lgica traductora entre la trans-racionalidad y la racionalidad: es decir entre el mundo no-clsico y el clsico o entre las dimensiones nanomtricas y las mtricas. En consecuencia, en el dominio de la alteridad fsica, la interpretacin meta-tcnica sera una opcin a estudiarse entre las siguientes interpretaciones de la mecnica cuntica dentro de otras ms: La de Copenhague que es pragmtica. La teora sirve para calcular no para explicar y se le debe a Bohr. La teora cuntica tiene como observaciones no realidades. fin relacionar

No intenta decirnos cul es la realidad fsica, slo lo que observamos y nuestra observacin la cambia. La fsica se reduce a tratar lo que pasa en nuestras mentes conscientes. La de Bohn, segn el cual hay dos mundos, el clsico y el cuntico, y todo se fij al principio del universo. Nuestra conciencia tiene slo acceso al clsico. Como esperaba Einstein, hay variables ocultas que una mejor teora revelar. La de Everett. El universo se separa constantemente en nuevos universos para cada observacin. Slo conocemos uno. Y lo que conocemos es una superposicin de muchos mundos, la realidad ltima no es un universo sino un multiverso. La de Heisenberg y Popper: afirma que hay dos realidades, una potencial y otra de actualidades. En la cuntica todas son posibles, en la observada una se hizo actual. La de Wigner extendiendo la anterior que dice que lo que caracteriza a un

dispositivo detector es la experiencia en relacin con la medida. En tal sentido el dispositivo de medida en ltima instancia es la dinmica cerebral de la conciencia. Es decir, nuestras vivencias. Ms otras conocidas por variables ocultas, probabilidades extendidas, modelos transaccionales, modelos lineales... Y la de la meta-tcnica que se expondra as: La mecnica cuntica pertenece al dominio de una alteridad no pticalumnica slo accesible por instrumentos y artefactos meta-tcnicos inventados por el ser humano pero que se han desprendido de la raigambre ptico-lumnica de carcter antropomrfico, antropocntrico y geocntrico de la naturaleza humana, propios de una tcnica anterior, que podramos llamar clsica pues se fundamenta en una fsico-matemtica clsica, previa al desarrollo tecnocientfico del siglo XIX en el caso de la matemtica y de la fsica en el XX. Estos artefactos operan bajo principios meta-tcnicos de la trans-racionalidad que no obedecen a la lgica clsica, sino que slo pueden ser interpretados mediante una nueva lgica no sostenida en tales principios; una lgica no clsica en que estos se han trans-mutados, pero que pueden traducir a nuestro mundo clsico mediante un formalismo, una sintaxis, denominada nootecnia. Esto es que entre la lgica no clsica de la meta-tcnica y la clsica debe existir una correspondencia, proyeccin o nootecnia para que su interpretacin nos permita acceder con nuestro entendimiento a la alteridad trans-racional: es decir, sea el puente entre la trans-racionalidad cuntica y la racionalidad clsica indispensable para continuar con el avance del conocimiento humano.

2. Nootecnia Si el argumento anterior es vlido, podramos encontrar algunos paradigmas en las matemticas actuales que sirvan de modelos a la nootecnia. Puesto que los artefactos metatcnicos se fundamentan y fundamentarn en la mecnicacuntica como la teora noclsica1 ms acabada de la fsica actual, su formalizacin matemtica sera un buen dominio para explorar la nootecnia como lenguaje traductor de la trans-racionalidad meta-tcnica a nuestra racionalidad humana. A manera de una introduccin a la sintaxis matemtica de la nootecnia, consideremos los principios o ratio de la lgica tradicional que es tcnica por sus caractersticas antropomrficas, antropocntricas y geocntricas evidentes en los principios de identidad, tercero excluso y de consistencia o no contradiccin y su equivalente nootcnico de la lgica cuntica que se libera en parte de tal ratio. La ms usada formalizacin y axiomatizacin de la mecnica cuntica se hace en trminos de estructura de espacios lineales, en particular de espacios de Hilbert; esto es: todos los objetos de la fsica cuntica deben ser expresados en trminos de la teora de los espacios de Hilbert: productos escalares, suma lineal, sub-espacios, operadores, medida y as [14]. 1 La Teora de la relatividad es considerada clsica. La lgica cuntica se deriva de los espacios de Hilbert de la mecnica cuntica, entonces todos los primitivos operadores deben ser lgicos, valga decir, proposiciones y

definidos por entidades de espacios de Hilbert. Esto es, que la operacin con proposiciones que afirman o niegan estados observables de objetos fsicos son verdaderas o falsas segn sea la proyeccin del espacio de Hilbert en tales proposiciones. De tal manera, la realidad del sistema fsico asociado a las estructuras especificadas por el espacio de Hilbert, al que no tenemos acceso sino cuando tomamos medidas del sistema, se hace accesible a nuestro entendimiento. En consecuencia, la lgica cuntica es el traductor en trminos de la racionalidad humana, de la trans-racionalidad cuntica. Lo que en trminos meta-tcnicos es un intento de nooctecnia. Qu le faltara? [15]. En primer lugar, por lo que se espera de la trans-racionalidad, los principios de la racionalidad del ratio ptico-lumnico de identidad, tercero-excluso y consistencia o no contradiccin deberan ser transmutados en la transracionalidad, en otros principios no ptico-lumnicos como lo son aquellos; valga decir, en una nueva ratio que Mayz llama logos. Pero las lgicas no clsicas, tales como la modal, probabilstica, difusa, no-monotnicas y muchas otras especiales, slo transmutan uno o dos de estos principios, no todos a la vez; el ms comnmente no transmutado es el del tercero-excluso. En el caso de lgica cuntica, slo el principio de ley distributiva deducido de los anteriores, no es transmutado a la lgica cuntica desarrollada hasta ahora, pues no se sostiene. La razn es que, en su fundamento, la mecnica cuntica es considerada un clculo de probabilidades no-clsico que descansa sobre una lgica proposicional no clsica.

Ms especficamente, en la mecnica cuntica cada proposicin del tipo El valor de la cantidad fsica A cae dentro de un rango B [14] est representada por un operador del espacio de Hilbert H. Esto forma una estructura matemtica de red (latice) no distributiva [14] y [16]. Por lo que un estado cuntico corresponde a la medida probabilstica definida en esta red. En consecuencia, la lgica asociada o derivada de la formalizacin de la mecnica clsica, es decir la lgica cuntica es no clsica o en trminos ms precisos no-boleana [15]. Lo ms importante al respecto que debemos hacer notar es que no hay una interpretacin generalmente aceptada y satisfactoria de tal lgica cuntica; valga decir, un modelo explicativo de la realidad fsica que representa. El caso es que no lo hay tampoco para la mecnica cuntica. En sntesis, nuestra tesis es que: en el dominio de la mecnica cuntica, la lgica cuntica se perfila como nootecnia traductora entre la trans-racionalidad meta-tcnica y la racionalidad tcnica nanotecnologa. y su expresin meta-tcnica ms pura es la

Esperamos que el futuro desarrollo de tal formalismo confirme la tesis propuesta; ya avizorada por el doctor Ernesto Mayz Vallenilla en Fundamentos de la metatcnica. Al respecto, slo bastara aadir que, hasta el presente, apenas hemos abordado la frontera en que termina la tcnica de la computacin clsica y comienza la de la computacin cuntica, nanotecnologa. Y en primer lugar, y posteriormente hacia la

avizoramos un puente de comunicacin formal entre ambas con la lgica cuntica; y con tal

puente de comunicacin, un perfil de nootecnia. Pero, no sabemos si los lenguajes lgico matemticos, con sus teoremas de limitacin, sern los ms apropiados para una nootecnia universal, como aspira Mayz, a fin de que sta abarque toda la epistemologa del logos meta-tcnico, y para todo tipo de meta-tcnica y correspondiente tcnica, en todos los dominios de la tecno-ciencia. Efectivamente, Mayz avizora la sintaxis inteligibilizadora de la transracionalidad sin imgenes ni smbolos para suprimir toda influencia ptico-lumnica como ya discutimos. La matemtica misma debera ser refundada, segn nos lo ha dicho el Dr. Mayz, para que no use necesariamente trminos ptico-lumnicos... originados en los caracteres antropocntricos, evolucin. Y aunque la antropomrficos y geocntricos de su

bsqueda de un lenguaje universal para toda la ciencia que desde Leibniz ha sido el sueo de muchos pensadores dista hoy de ser una posibilidad por el carcter cada vez ms especializado del conocimiento tecno-cientfico, algunos cientficos piensan que la computacin pudiera ser la ciencia integradora de todas las ciencias... dado el carcter universal que como instrumento tiene [8]. Y, an ms, si se la ve de una manera ms profunda, tratando a las leyes de la Naturaleza como programas que se estn ejecutando en el contenido material del universo: es decir, expuesto meta-tericamente, como si las leyes de la Naturaleza fuesen el software que se ejecuta en el hardware de la materia csmica. Un resultado fructfero de una visin computacional de la naturaleza es que nos

revela los motivos profundos del porqu la Naturaleza es inteligible para la mente humana; por qu la ciencia es posible y por qu las matemticas son tan efectivas para la descripcin de la alteridad [8]. De ser as, la investigacin en la computacin cuntica desde una perspectiva lgico-matemtica con visin meta-tcnica, como la concebida por Mayz Vallenilla en la bsqueda fundamental importancia de la nootecnia correspondiente, es de

para la comprensin del desarrollo de la filosofa de la ciencia y la tecnologa en el futuro, como de la epistemologa misma; y, segn Alfredo Vallota, de una nueva meta-fsica [4]. Nuestros trabajos, de tal manera, no pueden ser ms que apenas el inicio de otros proyectos por venir, necesariamente ms complejos y de mayor envergadura. Al respecto, no podemos menos que ser fieles seguidores del pensamiento universal de este distinguido y perspicaz filsofo contemporneo y, con orgullo decirlo, latinoamericano, que es el Dr. Ernesto Mayz Vallenilla, quien ha dedicado su vida, con sus lecciones, sus libros y sus desvelos a favor de una educacin para el hombre tcnico en Amrica Latina consciente de su identidad y sus virtualidades; como sus propias palabras lo anuncian, cuando sobre la Metatcnica nos dice: Ello significa desde ahora tal como se ver en los tiempos por venir una lenta pero inexorable implantacin de nuevas modalidades, horizontes y lmites, en el despliegue de la racionalidad humana y transhumana... y, por supuesto, en la sintaxis de sus proyectos y gestas instituyentes. En algo tan aparentemente simple como esto segn pensamos reposan los grmenes del prximo futuro

Conclusiones. En ocasiones las ciencias que estudian el mundo real son insuficientes para controlar y estudiar comportamientos y expresiones tan habituales como las que llevan implcito algn tipo de cuantificador o matiz meramente subjetivo. Para dar respuesta a este tipo de problemas contamos con una herramienta a la que debemos darle la importancia que merece, como es la lgica difusa. Una vez analizada la estrecha relacin entre los sistemas que controlan el funcionamiento de los robots y la lgica borrosa, podemos decir que esta disciplina, en ocasiones olvidada por el mundo cientfico, es un arma muy apropiada y una herramienta especialmente til en campos con tanto futuro, y objetos de mltiples estudios actuales, como son el de la inteligencia artificial, la robtica y el desarrollo de nuevas tecnologas que

promuevan la comodidad y facilidad en la realizacin de distintas tareas de la vida cotidiana. Slo queda reflexionar sobre la tica de estos estudios e intentar que el rpido avance tecnolgico no derive en una obsesin por elaborar nuevos aparatos que sustituyan "totalmente" las actividades y necesidades humanas, pues somos, ante todo, personas, y nuestro mundo debera seguir siendo controlado por las relaciones personales, y no por las nuevas tecnologas.

Bibliografa. - La Lgica Difusa, por Yuliana Corzo, desde Porlamar, Venezuela. - Especial Lgica Borrosa: Introduccin a la Lgica borrosa o difusa, Aplicacin en Robtica. www.puntolog.com. - Introduccin a la Robtica, La Robtica. www.monografas.com. - Lgica Difusa. Wikipedia, la enciclopedia libre. http://es.wikipedia.org. - P. Buschka, A. Saffiotti and Z. Wasik. Fuzzy landmark-based localization for a legged robot. - Auto-localizacin de un robot mvil aibo mediante el mtodo montecarlo. Pablo Guerrero y Javier Ruiz del Solar.

- Vision based topological markov localization. Jana Koseck and Fayin li. - Robocampeones: aplicacin de la robtica a la educacin. II Jornadas de innovacin en educacin tecnolgica. - Implementacin basada en Lgica Borrosa de jugadores para la RoboCup. Jos Mara lvarez Rey, Vicente Matelln Olivera y Jos Mara Caas Plaza. - Un sistema multi-agente basado en lgica difusa aplicado al mbito de la RoboCup. Eugenio Aguirre, Juan C. Gmez y Antonio Gonzlez. - Coordinacin global basada en controladores locales reactivos en la RoboCup. F. Fernndez, G. Gutirrez, J. M. Molina. Mayz Vallenilla Ernesto. Fundamentos de la meta-tcnica. Monte vila Editores, 1990. Castillo, Alberto; Jimnez, Douglas; Alfredo Vallota. Tcnica y meta-tcnica de la computacin. UCLA-IDEA. Captulo II de Alfredo Vallota.