Lógica cuántica

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Noviembre 2 de 2009

La computación cuántica es una corriente que se está propagando dentro de las nuevas investigaciones, con el objetivo de hacer que las máquinas puedan resolver en un tiempo menor los problemas. Con este tipo de investigación se logra fusionar dos teorías que están luchando por mantenerse una y sobresalir la otra, la física clásica y la física cuántica, los conceptos de una y otra hicieron nacer primero el concepto de computación normal y ahora con los nuevos conceptos aplicados a la computación de la física cuántica surge la computación cuántica.

Una de las primeras presentaciones de la idea de potencialidad clásica puede ser encontrada en el famoso poema de Parménides con la exposición del principio lógico de no contradicción. Este principio esconde una ontología donde lo actual, lo determinado, se presenta como fundamento de toda forma de pensamiento. El principio de no contradicción evita la posibilidad de pensar aquello que se encuentra indeterminado, todo debe ser en tanto que es, o no es. El espectro se resume, se amputa ante la posibilidad de lo indeterminado. Del mismo modo, en lógica clásica, las proposiciones encuentran su determinación en las tablas de verdad: una proposición resulta entonces verdadera o falsa. El principio de no contradicción esconde detrás de sí el principio de identidad: si A es A, entonces A no puede ser no A.

Lógica computacional.

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Septiembre 21 de 2009

El gran filósofo y matemático Gottfried Wilhelm Leibniz fue el primero en afirmar la posible existencia de algo equivalente a una lógica formal completa para describir el razonamiento. Leibniz no estaba satisfecho con la lógica aristotélica y desarrolló sus propias ideas para mejorarla. Estaba convencido de que podría desarrollar un lenguaje para, y un cálculo de, los razonamientos que sería tan importante como el cálculo desarrollado por él mismo y Newton para las derivadas y las integrales. Llamó “lingua characteristica” a este nuevo lenguaje y “calculus ratiocinator” al esperado calculo, con el cual, la mente sería liberada de tener que pensar en las cosas en sí mismas, y aún así todo funcionaría perfectamente.

Lógica intuicionista

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Junio 15 de 2009

Las matemáticas difieren de las demás ciencias en que todas sus proposiciones deben ser demostradas. Cuál deba ser el contenido o la extensión de estas demostraciones es discutible, pero todos los matemáticos estarán de acuerdo en decir que el objetivo de la matemática es la demostración. Las únicas vías para cuestionar una demostración son: (1) discutir las presunciones sobre las que se basa o (2) discutir la validez de las inferencias que contiene. Si, después de reflexionar sobre ello, se aceptan las presunciones y las inferencias, se debe aceptar la demostración y afirmar que su conclusión es una verdad matemática: un teorema. La mayoría de las demostraciones matemáticas tienen como presunciones otros teoremas ya demostrados con anterioridad; pero si se insiste en discutir las presunciones, se llegará hasta determinados conceptos que simplemente se aceptan como verdaderos sin otra demostración.

Genética Mendeliana

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Septiembre 29 de 2008

La genética estudia la forma como las características de los organismos vivos, sean éstas morfológicas, fisiológicas, bioquímicas o conductuales, se transmiten, se generan y se expresan, de una generación a otra, bajo diferentes condiciones ambientales. La genética intenta explicar cómo se heredan y se modifican las características de los seres vivos, que pueden ser: (1) De forma, la altura de una planta, el color de sus semillas, la forma de la flor; etc.; (2) fisiológicas, por ejemplo la constitución de determinada proteína que lleva a cabo una función específica dentro del cuerpo de un animal; (3) de comportamiento, en la forma de cortejos antes del apareamiento en ciertos grupos de aves, o la forma de aparearse de los mamíferos, etc. De esta forma, la genética trata de estudiar cómo estas características pasan de padres a hijos, a nietos, etc., y por qué varían generación tras generación.

Redes Neuronales Celulares

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Septiembre 22 de 2008

Las redes neuronales son modelos que intentan reproducir el comportamiento del cerebro debido a que constan, de dispositivos elementales de proceso denominados neuronas artificiales. Una definición adecuada puede ser: “una red neuronal artificial es un procesador distribuido, masivamente paralelo, que tiene una predisposición natural a almacenar conocimiento experimental y hacerlo disponible para su utilización”. Los sistemas de redes neuronales artificiales están basados en las propiedades no lineales de la operación conjunta de unidades de proceso elementales, y presentan como característica distintiva el que su función quede directamente trasladada a una arquitectura modular tras un proceso de aprendizaje, no de programación. Esto constituye una alternativa a la computación basada en reglas de decisión prefijadas y algoritmos codificados en forma de programas de computadora, que se muestran altamente ineficaces, en el tiempo, en aplicaciones que involucren clasificación, asociación y generalización.

Lógica Androide

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Septiembre 15 de 2008

El término “inteligencia artificial” se ha popularizado para designar a una disciplina incluida entre las ciencias de la computación. Tiene que ver con el esfuerzo que decenas de científicos de distintos países, especialmente de los Estados Unidos y de Europa Occidental, han venido realizando durante los últimos treinta años para dotar a las computadoras de inteligencia. Para que una computadora comience a merecer el nombre de inteligente, debe ser capaz de realizar acciones que, si realizadas por un ser humano, se diría que requieren inteligencia, como jugar ajedrez o mantener un diálogo con otro ser considerado también inteligente. Las computadoras pueden hacer lo que sus programadores les dicen, pero nada más; además, hagan lo que hagan, posiblemente nunca sabrán lo que están haciendo y nunca serán conscientes de lo que hacen. Y para ser inteligente se requiere ser capaz de elegir conscientemente el propio camino en la solución de problemas. El desarrollo de la inteligencia artificial, en esas máquinas, trajo consigo cambios en la lógica simbólica, bastante evidentes en lo que toca a los objetivos a seguir y los problemas a analizar, especialmente un tipo especial de lógica, la denominada lógica de los androides, la lógica de aquellas máquinas que simulan inteligencia humana.

Aprendizaje Hebbiano

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Febrero 25 de 2008

Desde una óptica conductista aprendizaje significa “cambios adaptativos en el sistema para que realice la misma tarea u otra de la misma clase, con mayor eficacia en la siguiente ocasión”; Se dice que un programa aprende de la experiencia E con respecto a una clase de tareas T y medida de rendimiento P si su rendimiento sobre tareas de T, medido por P, mejora con la experiencia E”. En términos aceptados, al interior del dominio de las redes neuronales artificiales, se considera que las características generales del aprendizaje son las siguientes: (1) Se dice que las células no son individualmente “inteligentes”. (2) La “inteligencia” reside en la estructura de la red neuronal. (3) El aprendizaje tiene lugar mediante la modificación de los pesos asociados a las neuronas. (4) La regla de aprendizaje señala la importancia del algoritmo de cambio de pesos con base en ejemplos. (5) Se dice que un ejemplo consiste en una entrada y su salida correcta.

Lógica Trivalente

Autor:
PhD. Guillermo Choque Aspiazu
http://www.eldiario.net/
Publicado en:
Febrero 18 de 2008

La lógica es el estudio de la estructura y de los principios del razonamiento correcto e intenta establecer los principios que garantizan la validez de los argumentos deductivos. Trabaja con proposiciones, las que constituyen descripciones del mundo, afirmaciones o negaciones de sucesos posibles. La lógica clásica establece que una proposición solamente puede tomar una y sólo una de dos alternativas: es totalmente verdadera o es totalmente falsa. Esta idea se formaliza mediante dos principios fundamentales: (1) Principio del tercero excluido. Que menciona, toda proposición es verdadera o falsa y no cabe otra posibilidad. (2) Principio de no contradicción. Que establece, ninguna proposición es verdadera o falsa simultáneamente. La lógica clásica es bivalente: si/no, verdadero/falso, blanco/negro, citadino/campesino. Esta lógica, profundamente arraigada en la cultura occidental, permitió el desarrollo de la ciencia y la tecnología en procura de la conquista del mundo natural. Sin embargo, una serie de paradojas e “insatisfacciones” teóricas estuvieron siempre presentes.