UNIVERSIDAD DE MONTEMORELOS

FACULTAD DE INGENIERA Y TECNOLOGA

Investigacin
Inteligencia artificial y colaboradores


Presentado en cumplimiento parcial de la materia de Inteligencia artificial
Por
Cristofer Ivn Marn Vergara



Montemorelos, N. L. 28 de Agosto de 2013





Inteligencia artificial y colaboradores

John McCarthy naci en 1927 en Boston. El trmino "Inteligencia Artificial", lo
acu en la Conferencia de Dartmouth en 1956, que describi como la "ciencia y
la ingeniera de hacer inteligentes a las mquinas".
Fue un prominente informtico que recibi el Premio Turing en 1971 por sus
importantes contribuciones en el campo de la Inteligencia Artificial. Otro de sus
grandes logros fue el lenguaje de programacin Lisp (LISt Processing), que se
convirti en uno de los lenguajes favoritos de los hackers originales. Hasta que l
no desarroll un nuevo lenguaje de programacin, el LISP (Locator/Identifier
Separation Protocol), los computadores no eran considerados ms que unas
mquinas de escribir algo sofisticadas.

Hoy, por ejemplo, no existiran los coches automticos de Google que recorren en
EEUU y que hacen las fotografas de Street View de Google Maps si "To
McCarthy" no hubiera teorizado sobre la IA.
El lenguaje de programacin LISP ha sido nicamente superado por FORTRAN,
pero no hay duda que sin uno jams hubiese existido el otro. (1)(2)


Cordell Green (1969) tom varias de la ideas de MacCarthy las implement en su
sistema QA3. A pesar de la controversia que se gener con estas ideas entre los
investigadores de IA(inteligencia artificial), el clculo de predicados y muchas de
sus variantes constituyen los fundamentos, para la representacin del
conocimiento en IA. QA3 es un programa informtico basado en el mtodo
teorema-demostrando. Adems, QA3 pueden escribir programas de ordenador
sencillos y pueden resolver problemas prcticos para un robot simple. (3)(4)

Harry Walter Pitts, Jr. (23 abril 1923 hasta 14 mayo 1969) fue un lgico que
trabajaba en el campo de la psicologa cognitiva.

Warren Sturgis McCulloch (Noviembre 16 de 1898; Septiembre 24 de 1969) era
un neurlogo y ciberntico estadounidense.

Estos dos cientficos son recordados por haber escrito un documento seminal
titulado "Un clculo lgico de las ideas inmanentes en la actividad nerviosa"
(1943). Este documento propone el primer modelo matemtico de una red
neuronal. La unidad de este modelo, una simple neurona formal, sigue siendo el
estndar de referencia en el mbito de las redes neuronales. A menudo se llama
un McCulloch-Pitts neurona. MaCulloch y Pitts impulsaron el nacimiento de la IA
por medio de las neuronas y as nace la ciberntica.
En 1947: Se hicieron aproximaciones para disear redes nerviosas para
reconocer entradas virtuales. (5)(6)



Frank Rosenblatt (11 julio 1928 hasta 11 julio 1971). Desarrollo en el
Aeronautical Laboratory de la Cornell University el "Perceptron" (Mark 1), mquina
capaz de aprender mediante un sistema de red nerviosa que simula procesos del
cerebro humano.
El Perceptrn supona la unin entre el Pandemonium de Selfridge y las neuronas
de McCulloch y Pitts. El primer prototipo fue desarrollado mediante una
computadora IBM 704 en 1957.
Publico en 1958 "The Perceptron: A Probabilistic Model for Information Storage
and Organization in the Brain", en la Psychological Review. Esta experiencia,
alent la creencia de que no estaba lejano el desarrollo de mquinas inteligentes,
en las que se reprodujesen de forma compleja las funciones observadas por la
neurobiologa. (7)(8)




Avram Noam Chomsky (Filadelfia, Estados Unidos, 7 de diciembre de 1928) es
un lingista, filsofo y activista estadounidense. Reconocido como uno de los
fundadores principales de la gramtica transformacional-generativa, un sistema
del anlisis lingstico que desafa a lingstica tradicional y relacionada con la
filosofa, la lgica, y la psicolingstica. El libro Estructuras sintcticas (1957) fue
considerado como una revolucin en la disciplina de la lingstica.

La teora de Chomsky sugiere que cada elocucin humana tiene dos estructuras:
estructura superficial, el combinar superficial de las palabras, y de la "estructura
profunda" que son reglas y mecanismos universales. (9)(10)



Allen Newell (19 de marzo de 1927 - 19 de julio de 1992) fue un investigador
en informtica y psicologa cognitiva en la corporacin RAND y en la escuela de
informtica de Carnegie Mellon. Contribuy al lenguaje de procesamiento de
informacin (IPL) (1956) y a dos de los primeros programas de inteligencia
artificial, la mquina de lgica terica (1956) y el resoluto general de
problemas (1957), con Herbert Simon.

Herbert Alexander Simon (15 junio 1916 a 9 febrero 2001) fue
un estadounidense politlogo, economista, socilogo, psiclogo y profesor-sobre
todo en la Carnegie Mellon University.

John Clifford Shaw (1922-1991) era un programador de sistemas en
la Corporacin RAND. Es coautor del primer programa de inteligencia artificial, el
Terico Lgico, y fue uno de los creadores del Lenguaje de procesamiento de
informacin (Information Processing Language) lenguaje de programacin de la
dcada de 1950. Es considerado como el verdadero "padre" del lenguaje JOSS.

Terico Lgico es un programa de computadora escrito en 1955 y 1956 por Allen
Newell, Herbert A. Simon y JC Shaw. Fue el primer programa deliberadamente
diseado para imitar la capacidad de resolver de un ser humano y se llama
problema de "el primer programa de inteligencia artificial.
Terico Lgico introdujo varios conceptos que seran fundamentales para la
investigacin en IA: Razonando como la bsqueda, heurstica procesamiento de
lista. (11)(12)(13)(14)



Lotfi Asker Zadeh (en azer Lfti Zad). (Nacido el 04 de febrero 1921)
Matemtico, ingeniero elctrico, informtico y profesor azerbaiyano de la
Universidad de Berkeley. Es famoso por introducir en 1965 la teora de conjuntos
difusos o lgica difusa. Se le considera asimismo el padre de la teora de la
posibilidad.
La idea central es que la lgica clsica impone que un elemento est claramente
demarcado en una exposicin. Pero, segn Zadeh, la realidad es ms compleja.
Hay grupos, clases, cuyos lmites son indeterminados. Por ello la lb establece un
puente entre la lgica clsica y el mundo real.
Casi cuarenta aos despus de la promulgacin de sus teoras cientficas, la
lgica difusa es hoy en da algo esencial en las tecnologas de consumo masivo,
tales como cmaras de vdeo o lavadoras adems de otras complejas aplicadas a
la medicina o la industria del automvil. (15)(16)(17)


Un silogismo no es ms que una forma de razonamiento deductivo que se
compone de 3 elementos bsicos: una premisa mayor, una premisa menor y una
conclusin que las relaciona.
Tipos de silogismos
Silogismo condicional: Si A se cumple, entonces se cumple B (Si A entonces B).
Este silogismo es tambin llamado hipottico pues el argumento que se usa no
siempre es vlido.
Silogismo categrico: Si A es parte de C, entonces B es parte de C (A y B son
integrantes de C).
Silogismo disyuntivo: Si A es verdadero entonces B es falso (A o B). Este tipo
de silogismo en realidad no afirma que las premisas sean ciertas, sino que una de
ellas es verdadera, pero no pueden serlo simultneamente. (19)

Se conoce como silogismo a un argumento compuesto por tres proposiciones; de
ellas, la ltima es la que se deduce siempre de las anteriores. (18)


Ramon Llull (Mallorca, 1232 - 29 de junio de 1315), tambin conocido
como Raimundo Lulio en castellano, Raimundus o Raymundus Lullus en latn,
como en rabe, como Raymond Lully por los ingleses o como Raymond
Lulle por los franceses, fue un laico prximo a los franciscanos (pudo haber
pertenecido a la Orden Tercera de los frailes
Menores), filsofo, poeta, mstico, telogo y misionero mallorqun del siglo XIII. (2)
Hacia el ao 1275, inspirado por Roger Bacon, comenz a trabajar en una obra
cumbre del razonamiento metdico, el Ars Magna, que apareci publicado en
1315, y que puede considerarse un claro precursor del razonamiento automtico,
ya entendido como un procedimiento mecnico que razona por s mismo. En ella
sostena que el razonamiento poda realizarse de dicha manera mecanizada,
mediante un proceso secuencial, en una especie de artefacto automtico, con el
que pretenda demostrar que las verdades de la fe cristiana eran correctas, con el
objetivo de zanjar de una manera definitiva toda posible discusin, e incluso,
demostrar tambin que las tesis contrarias eran erradas, entre ellas, las
sostenidas por racionalistas como Averroes de tal forma que incluso los
musulmanes o judos ms fanticos consiguieran apreciarlo sin posibilidad de
error.
Este artefacto fue denominado por el propio Llull como Ars Magna y supuso un
punto de inflexin en su vida, convirtindose en uno de sus trabajos ms
importantes al que dedicara gran parte de su obra, fundamentalmente para
explicar su funcionamiento, que combinaba la filosofa y la teologa llegando,
incluso, a contradecir a la propia Iglesia Catlica. (23)


Alan Mathison Turing
Alan Mathison Turing, OBE (Maida Vale, Londres, 23 de
Junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954) fue
un matemtico, lgico, cientfico de la computacin, criptgrafo y filsofo britnico.
Es considerado uno de los padres de la ciencia de la computacin siendo el
precursor de la informtica moderna. Proporcion una influyente formalizacin de
los conceptos de algoritmo y computacin: la mquina de Turing. Formul su
propia versin de la hoy ampliamente aceptadaTesis de Church-Turing, la cual
postula que cualquier modelo computacional existente tiene las mismas
capacidades algortmicas, o un subconjunto, de las que tiene una mquina de
Turing. Durante la Segunda Guerra Mundial, trabaj en descifrar los cdigos nazis,
particularmente los de la mquina Enigma; durante un tiempo fue el director de la
seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los
primeros computadores electrnicos programables digitales en el Laboratorio
Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las
primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas,
tambin contribuy de forma particular e incluso provocativa al enigma de si las
mquinas pueden pensar, es decir a la Inteligencia Artificial.
La carrera de Turing termin sbitamente cuando fue procesado por
ser homosexual. No se defendi de los cargos y se le dio a escoger entre
lacastracin qumica o ir a la crcel. Eligi lo primero y sufri importantes
consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, en
1954, Turing falleci debido a la ingestin de una manzana contaminada con
cianuro en un contexto que indica un posible suicidio. (24)


ARS MAGNA
Llull dise y plante construir una mquina lgica de naturaleza mecnica, en la
cual, las sentencias, los sujetos y los predicados teolgicos estaban organizados
en figuras geomtricas de las que, en la tradicin aristotlica imperante, se
consideraban perfectas, tales como crculos, cuadrados y tringulos. Para su
operacin, se dispona de diales, palancas, y unas manivelas giratorias que
movan las diferentes proposiciones y tesis a lo largo de unas guas, y que se
detenan finalmente en una de las dos posibles posiciones que indicaban la
respuesta bien afirmativa que indicaba la certeza de la proposicin, o bien
negativa que corresponda a la falsedad de la misma. As, segn Llull, la mquina
poda probar por s misma la verdad o falsedad de cualquier postulado que se le
introdujese. Un verdadero clculo lgico automatizado.

Podemos destacar dos aspectos muy interesantes del Ars de Llull, que son, en
primer lugar, una autntica teora del conocimiento que aparece, por primera vez,
formalizada en su sistema, y por otra la mecanizacin formal del conocimiento,
dando una forma operativa a la lgica aristotlica; usando para ello conceptos
abstractos generalizados con los cuales poder operar, y que podan representar
cada uno de ellos, para cada operacin particular, diferentes trminos y que,
mediante un proceso de asignacin pasaban a ser las diferentes figuras mviles,
las cuales seguan, a su vez, los patrones de movimiento que representaban los
procedimientos combinatorios lgicos-algebraicos de argumentacin que tena
implementados.
As pues, Ramn Llull invent, anticipndose ms de 600 aos a Turing, una
mquina que pretenda pensar, y que usaba para ello un lenguaje propio, con un
alfabeto de nueve letras (BCDEFGHIK) y unos discos de pergamino que
representaban la memoria de su mquina. Diez de ellos, situados a la derecha,
para las preguntas, y otros diez a la izquierda para las respuestas. Para la gestin
del conocimiento, Llull, de una forma excesivamente simplificada, lo consideraba
como la yustaposicin de una serie de ideas simples, que denomin races, de las
que defini 54 tipos, un tercio de las cuales estaban vinculadas a la religin
cristiana. La combinacin organizada de estas ideas bsicas, de acuerdo a los
diferentes procedimientos establecidos, era la que deba conducir a cualquier
conocimiento cientfico (scientia generalis).
En su funcionamiento, mediante el alfabeto de su lenguaje, Llull pretenda
almacenar trminos de validez universal, como podan ser bondad, grandeza,
eternidad, poder, sabidura, voluntad, virtud, verdad, gloria, etc, que eran
codificados en uno de los elementos del alfabeto, que, evidentemente, tambin
albergaba otros significados. Por ejemplo, B puede significar bondad, diferencia,
Dios, justicia y avaricia, y lo mismo para el resto de letras hasta llegar a la K.
Posteriormente, en relacin con estas letras, se forman distintas "figuras" en las
que se organizan, de forma combinatoria, todas las diferentes posibilidades,
aplicando una serie de principios distintos, cada vez ms complejos, hasta formar
tablas con cpsulas de tres y cuatro letras, del tipo: "la bondad es grande", o "el
poder es eterno", "la sabidura es buena", "la verdad es inteligible", "la eternidad es
gloriosa", etc. En general, en sus exposiciones, siempre trata de proposiciones de
naturaleza teolgica, su principal preocupacin.
El Ars Magna as definido era, por tanto, lo que hoy denominaramos un autmata
finito, y no excesivamente complicado, por lo que estamos en disposicin de saber
que el planteamiento era incorrecto y que la cantidad de informacin as
manipulable es muy limitada, en realidad, un subconjunto de lo que denominamos
"lenguajes regulares". No obstante, es remarcable el propio planteamiento de
intentar, por vez primera, usar medios lgicos de forma exhaustiva para producir
nuevo conocimiento. Ciertamente, ni la llev a la prctica, ni tampoco hubiese
podido hacerlo, de acuerdo a los resultados que posteriormente alcanzara el
propio Turing, pero eso no quita que debamos reconocerle el gran mrito de dicho
planteamiento, sobre todo en la poca y circunstancias en que lo hizo.(23)
Heurstica
Se denomina heurstica a la capacidad de un sistema para realizar de forma
inmediata innovaciones positivas para sus fines. La capacidad heurstica es un
rasgo caracterstico de los humanos, desde cuyo punto de vista puede describirse
como el arte y la ciencia del descubrimiento y de la invencin o de resolver
problemas mediante la creatividad y el pensamiento lateral o pensamiento
divergente. (20)
Ciencia que estudia los procesos de decisin respecto a un campo de
conocimiento concreto, como son las estrategias cognitivas. Su contrapartida
formal en computacin es el algoritmo.
El conocimiento heurstico es un tipo especial de conocimiento usado por los
humanos para resolver problemas complejos. En este caso el adjetivo heurstico
significa medio para descubrir.
Debido a la existencia de algunos problemas importantes con un gran inters
prctico difciles de resolver, comienzan a surgir algoritmos capaces de ofrecer
posibles soluciones que aunque no consiguen el resultado ptimo, s que se
acercan en un tiempo de clculo razonable. Estos algoritmos estn basados en el
conocimiento heurstico y por lo tanto reciben el nombre de algoritmos heursticos.
Por lo general, los algoritmos heursticos encuentran buenas soluciones, aunque a
veces no hay pruebas de que la solucin pueda hallarse en un tiempo
razonablemente corto o incluso de que no pueda ser errnea.
Al principio esta forma de resolver problemas no fue bien vista en los crculos
acadmicos, debido fundamentalmente a su escaso rigor matemtico. Sin
embargo, gracias a su inters prctico para solucionar problemas reales fue
abriendo poco a poco las puertas de los mtodos heursticos, sobre todo a partir
de los aos 60. Actualmente las versiones matemticas de mtodos heursticos
estn creciendo en su rango de aplicaciones, as como en su variedad de
enfoques. (21)









BIBLIOGRAFIA
1.http://es.wikipedia.org/wiki/John_McCarthy
2.http://expedienteoculto.blogspot.mx/2011/10/el-padre-de-la-inteligencia-artificial.html
3.http://ce.azc.uam.mx/profesores/clc/03_docencia/posgrado/i_artificial/1_Historia_IA.pps
4.http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA459656
5.http://prezi.com/m7rewyt5gkjl/warren-mcculloch-y-walter-pitts/
6.http://es.wikipedia.org/wiki/Warren_McCulloch
7.http://en.wikipedia.org/wiki/Frank_Rosenblatt
8.http://ia4cm1.blogspot.mx/2010/08/biografia-de-frank-rosenblatt.html
9.http://www.buscabiografias.com/bios/biografia/verDetalle/1910/Noam%20Chomsky
10.http://www.biografiasyvidas.com/biografia/c/chomsky.htm
11.http://en.wikipedia.org/wiki/Logic_Theorist
12.http://en.wikipedia.org/wiki/Herbert_A._Simon
13.http://en.wikipedia.org/wiki/Cliff_Shaw
14.http://www.slideshare.net/MOCAMPOMANES90/matematicas-7932426
15.http://es.wikipedia.org/wiki/Lotfi_A._Zadeh
16.http://www.letraslibres.com/revista/letrillas/lofti-zadeh-y-la-logica-borrosa
17.http://www.abc.es/tecnologia/20130115/abci-lotfi-zadeh-bbva-201301151419.html
18.Definicin de silogismo - Qu es, Significado y
Concepto http://definicion.de/silogismo/#ixzz2ck9aIH39
19.http://www.ojocientifico.com/3931/que-es-un-silogismo
20. http://www.taringa.net/posts/info/2379078/Que-es-la-Heuristica.html
21. http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Heur%C3%ADstica
22. http://es.wikipedia.org/wiki/Ramon_Llull
23. http://blogs.elpais.com/turing/2012/10/ramon-llull-el-ars-magna-y-la-informatica.html
24. http://es.wikipedia.org/wiki/Alan_Turing