Beruflich Dokumente
Kultur Dokumente
Cook y Karp
Kurt Godel (1906- Demostraron la
George Boole 1978) Demostr que existencia de grandes
(1815-1864) existe un procedimiento clases de problemas de
eficiente para demostrar razonamiento y
Defini la lgica cualquier aseveracin bsqueda combinatoria
proposicional o verdadera en la lgica cannica que son NP
Booleana de primer orden de Frege completos
y Russell
Newell y Simn
McCarthy
cre el Laboratorio de IA en
Stanford. Su plan para Tom Evans
construir la versin ms re- El programa
ciente del Generador de ANALOGY (1968)
Consejos con ayuda de la resolva problemas
lgica sufri un considerable de analoga
impulso gracias al geomtrica que se
descubrimiento de J. A. aplicaban en las
Robinson del mtodo de pruebas de medicin
resolucin (un algoritmo com- de inteligencia
pleto para la demostracin de
teoremas para la lgica de
primer orden
CONCLUSIONES:
Zuleyma: Como se muestran vemos la evolucin de cmo se da a conocer la inteligencia
artificial como muestra al principio en donde un pensamiento hace que evoluciones las
cosas, como interactan los cerebros con las computadoras y la lgica, con propiedades
distintas, pero se une a una misma funcin.
Las ideas ms importantes de la inteligencia artificial vienen de filsofos de la antigua
Grecia, por la que se genera una formulacin matemtica entre 3 como son lgica,
computacin y probabilidad.
Sually: a lo largo dl la lnea del tiempo, vamos observando una gran evolucin en la
tecnologa, ya que muchas personas hicieron grandes aportaciones a la misma.