# data[].attributes.body
En el verano de 1956 tuvo lugar una conferencia en Dartmouth  sobre inteligencia artificial, organizada por Marvin Minsky, John McCarthy y Claude Shanon. La conferencia reunió a todos los que trabajaban en el recién estrenado campo de la inteligencia artificial.

En ella se discutió la lógica teórica desarrollada por los autores citados. La lógica teórica fue considerada como el primer programa de inteligencia artificial y usada para resolver problemas de búsqueda heurística.

En la conferencia se acuño la expresión “Inteligencia Artificial” y prefijo que al cabo de 25 años los ordenadores harían todo el trabajo de los hombres. Los fundadores fueron demasiado optimistas con respecto al futuro de su disciplina.

Uno de los autores Marvin Minsky público un artículo en el “Science Journal” que decía: “Actualmente, las máquinas resuelven problemas de acuerdo con los principios que hemos establecidos en ellas. Dentro de poco quizá aprendamos a ponerlas a trabajar en problemas específicos de mejorar su capacidad de resolver problemas. Una vez traspasado cierto umbral, esto nos llevaría a una espiral de aceleración y sería difícil perfeccionar un regulador fiable para refrenarlo”.

Un año después de la conferencia de Dartmouth, Simon estaba convencido que un ordenador era capaz de hacer cualquier cosa que haga una persona, sólo que mejor. Tiempo después, formulo junto con Newell, la predicción de que un ordenador seria campeón mundial de ajedrez. Ninguna de las predicciones de aquel momento se ha cumplido todavía.

Lo siguiente son algunos de los problemas de inteligencia artificial que buscan resolver en la conferencia:

Computadoras Automáticas

Como se puede programar una computadora para que use un lenguaje

Redes Neuronales

Teoría de la Dimensión del Calculo

Auto perfeccionamiento

Abstracciones

Aleatoriedad y Creatividad

# data[].attributes.headline
LISP, EL PRIMER LENGUAJE PARA LA INTELIGENCIA ARTIFICIAL

# data[].attributes.subject
LISP, EL PRIMER LENGUAJE PARA LA INTELIGENCIA ARTIFICIAL

# data[].attributes.body
El Lisp  es una familia de lenguajes de programación de computadora de tipo multiparadigma con una larga historia y una sintaxis completamente entre paréntesis.

Diseñado por John McCarthy.

Desde su inicio, el Lisp estaba estrechamente relacionado con la comunidad de investigación de la inteligencia artificial, especialmente en sistemas PDP-10. El Lisp fue usado como la implementación del lenguaje de programación Micro Planner que fue la fundación para el famoso sistema de AI SHRDLU. En los años 1970, a medida que la investigación del AI engendró descendientes comerciales, el desempeño de los sistemas Lisp existentes se convirtió en un problema creciente.

El Lisp era un sistema difícil de implementar con las técnicas de compilador y hardware común de los años 1970. Las rutinas de recoleccion de basura, desarrolladas por el entonces estudiante graduado del MIT, Daniel Edwards, hicieron práctico correr Lisp en sistemas de computación de propósito general, pero la eficacia todavía seguía siendo un problema. Esto llevó a la creación de las máquinas lisp: hardware dedicado para correr ambientes y programas Lisp. Avances tanto en el hardware de computadora como en la tecnología de compiladores pronto hicieron obsoletas a las máquinas de Lisp, en detrimento del mercado del Lisp.

Durante los años 1980 y 1990, fue hecho un gran esfuerzo para unificar los numerosos dialectos del Lisp en un solo lenguaje (más notablemente, Inter Lisp, Macclisp,ZetaLisp, MetaLisp, y Franz Lisp). El nuevo lenguaje, Common Lisp, fue esencialmente un subconjunto compatible de los dialectos que reemplazó. En 1994, la ANSI publicó el estándar del Common Lisp, “ANSI X3.226-1994 Information Technology Programming Language Common Lisp”. En aquel momento el mercado mundial para el Lisp era mucho más pequeño de lo que es hoy.

# data[].attributes.body
La Inteligencia Artificial (IA)

¿A nuestra imagen y semejanza?

La palabra robot, acuñada en 1921 por el escritor checo Karel Capek, ya ha dejado de ser sinónimo de androides metálicos que van moviendo sus brazos como tentáculos, mientras avanzan sobre sus rueditas por el planeta de las Amazonas Sicodélicas. Los robots serán parte de nuestra vida cotidiana.

¿Puede la inteligencia ser artificial?

La inteligencia artificial (IA) puede definirse como el medio por el cual las computadoras, los robots y otros dispositivos realizan tareas que normalmente requieren de la inteligencia humana. Por ejemplo, la resolución de cierto tipo de problemas, la capacidad de discriminar entre distintos objetos o el responder a órdenes verbales. La IA agrupa un conjunto de técnicas que, mediante circuitos electrónicos y programas avanzados de computadora, busca imitar procedimientos similares a los procesos inductivos y deductivos del cerebro humano. Se basa en la investigación de las redes neuronales humanas y, a partir de ahí, busca copiar electrónicamente el funcionamiento del cerebro.

¿Qué podemos esperar en el futuro?

Se han hecho cuantiosas predicciones de lo que la aplicación de las técnicas de IA traería en el futuro; algunas podrían ser realidad en poco tiempo y otras parecen francamente especulativas. Echemos un vistazo:

En el terreno de las computadoras personales, la velocidad de un procesador será enorme y no podremos agotar su memoria.

La red Internet, que llegará a nuestra casa a través del cableado óptico, transportará inmensas cantidades de información que serán cargadas en nuestra computadora en décimas de segundo.

Pronto los robots comenzarán a desplazar al personal que nos atiende detrás de las ventanillas.

Es muy probable que la economía cambie. Quedarán en el pasado los tipos de traje peleándose a gritos en las casas de bolsa. Las computadoras, conectadas en red a los indicadores bursátiles de todo el mundo, moverán los capitales de un lugar a otro, sin que sea necesaria la voluntad humana.

Los edificios “inteligentes” serán comunes.

Si llega a haber una guerra global, ésta podría ser nombrada por los medios como “The Robot War”, en la que los pilotos controlarían por realidad virtual pequeños y mortíferos aviones, helicópteros y tanques a cientos de kilómetros del campo de batalla sin arriesgar un solo cabello.

fuente bibliográfica: http://www.comoves.unam.mx/numeros/articulo/2/la-inteligencia-artificial-hacia-donde-nos-lleva

# data[].attributes.body
Fue un matemático, lógico, científico de la computación, criptógrafo y filósofo británico. Es considerado uno de los padres de la ciencia de la computación siendo el precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptada “Tesis de Church-Turing”.

Durante la segunda guerra mundial, aportó su enorme granito de arena ayudando a descifrar las máquinas “Enigma” alemanas, y ayudando así a anticipar los ataques enemigos sobre Inglaterra.

Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales en el Laboratorio Nacional de Física del Reino Unido y poco tiempo después construyó otra de las primeras máquinas en la Universidad de Mánchester.

En su memorable estudio “Los números computables”,  publicado en 1936, Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como Máquina de Turing, unos dispositivos formales y simples. Turing demostró que dicha máquina era capaz de implementar cualquier problema matemático que pudiera representarse mediante un algoritmo.

Entre 1948 y 1950 en conjunto con un antiguo colega, D.G. Champernowne, empezó a escribir un programa de ajedrez para un ordenador que aún no existía. En 1952 trató de implementarlo en el Ferranti Mark 1, pero a falta de potencia el ordenador no fue capaz de ejecutar el programa.

La Decadencia de Alan

Fue acusado de homosexualidad, un delito en la Inglaterra de la época, y él mismo, se declaró culpable, pues efectivamente lo era. Víctima del sistema, se le dio la opción de recibir un tratamiento hormonal o ir a la cárcel, aceptando la primera, que a través de inyecciones, le crearía malformaciones físicas que le llevarían a encontrar su propia muerte en 1954. Según algunas fuentes con una muerte involuntaria por intoxicación química, y según otras, se envenenó con cianuro inyectado en una manzana, dándole apenas unos  mordiscos antes de perecer.

Dato curioso

Cuenta la leyenda que el logotipo de la marca Apple (una manzana mordida) tiene su origen en el pequeño homenaje a uno de los padres de la informática por su forma de suicidio.

# data[].attributes.body
El test de Turing (o prueba de Turing) es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una máquina. Fue expuesto en 1950 en el artículo “Computing machinery and intelligence” para la revista “Mind”, y sigue siendo uno de los mejores métodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hipótesis positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.

Procedimiento

La prueba consiste en un desafío. Se supone un juez situado en una habitación, una máquina y un ser humano en otra. El juez debe descubrir cuál es el ser humano y cuál es la máquina, estándoles a los dos permitido mentir al contestar por escrito las preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran suficientemente hábiles, el juez no podría distinguir quién era el ser humano y quién la máquina. Todavía ninguna máquina puede pasar este examen en una experiencia con método científico.

En 1990 se inició un concurso, el Premio Loebner, una competición de carácter anual entre programas de ordenador que sigue el estándar establecido en la prueba de Turing. Un juez humano se enfrenta a dos pantallas de ordenador, una de ellas que se encuentra bajo el control de un ordenador, y la otra bajo el control de un humano. El juez plantea preguntas a las dos pantallas y recibe respuestas. El premio está dotado con 100.000 dólares estadounidenses para el programa que pase el test, y un premio de consolación para el mejor programa mensual.

Una de las aplicaciones de la prueba de Turing es el control de “spam”. El “spam” es, por lo general, enviado automáticamente por una máquina. Así la prueba de Turing puede usarse para distinguir si el correo electrónico era enviado por un remitente humano o por una máquina.

La primera y única vez que un juez confundió a una máquina con un humano fue en el año 2010, cuando el robot “Suzette”, de Bruce Wilcox, superó la prueba