Logica Matematica by Ranfis Sanchez

Integrantes

josecdominguezl — 2015-01-08 22:00:47 UTC

Ranfis Misael Sanchez 13-1054

Dariana Mabel Sanchez 14-1111

Jose Carlos Dominguez 15-0804

Herbert Alexander Simon

josecdominguezl — 2015-01-08 22:03:49 UTC

Friedrich Ludwig Gottlob Frege

ranfis — 2015-01-08 22:04:28 UTC

Por: Ranfis Sanchez (13-1054)

Biografia

josecdominguezl — 2015-01-08 22:09:08 UTC

Herbert Alexander Simon nacio el 15 de junio de 1916 y murio el 9 de febrero de 2001,fue economista, politólogo y teórico de las ciencias sociales estadounidense. En 1978 le fue concedido el Premio Nobel de Economía por ser «uno de los investigadores más importantes en el terreno interdisciplinario» y «porque su trabajo ha contribuido a racionalizar el proceso de toma de decisiones».Herbert A. Simon nació en Milwaukee, Wisconsin. Estudió en la Universidad de Chicago, donde se graduó en 1936 y se doctoró en 1943. Trabajó como asistente de esa universidad en 1936-1938 y también en organizaciones ligadas a la gestión de organismos públicos, en la International City Managers's Association en 1938-1939 y en el Bureau of Public Administration de la Universidad de California en Berkeley en 1939-1942, dónde dirigió los Administrative Measurement Studies.Después de esta experiencia profesional volvió a la universidad. Fue profesor auxiliar en 1942-1947 y profesor titular en 1947-1949 de ciencias políticas en el Instituto de Tecnología. En 1949 comenzó a trabajar Carnegie Institute of Technology para enseñar administración y psicología y, después de 1966, enseñó ciencia de la computación y psicología en la Carnegie-Mellon en Pittsburgh.

Allen Newell

mabelmc24 — 2015-01-08 22:09:36 UTC

Fue un precursor de la lógica de primer orden

ranfis — 2015-01-08 22:10:19 UTC

La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.1 Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.

Mas aqui:

http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden

Aportes

josecdominguezl — 2015-01-08 22:11:20 UTC

En el año 1955 Herbert Simon, el físico Allen Newell y J.C. Shaw, programador de la RAND Corp. y compañero de Newell, desarrolla el primer lenguaje de programación orientado a la resolución de problemas de la Inteligencia Artificial, el IPL-11. Un año más tarde estos tres científicos demostró 38 de los 52 teoremas del segundo capítulo de Principia Mathematica de Russel y Whitehead desarrollan el primer programa de Inteligencia Artificial al que llamaron Logic Theorist, el cual era capaz de demostrar teoremas matemáticos, representando cada problema como un modelo de árbol, en el que se seguían ramas en busca de la solución correcta, que resultó crucial. Este programa demostró 38 de los 52 teoremas del segundo capítulo de Principia Mathematica de Russel y Whitehead.
Gran parte de sus investigaciones se concentraron en desarrollar un método de carácter más científico y matemáticamente mucho más riguroso para las ciencias sociales. En sus últimos años de vida, realizó complejos modelos de simulación y lideró proyectos muy ambiciosos en el campo de la psicología del conocimiento. Entre sus obras, un total de 27, destacan, además de la más leída y consultada de ellas la ya mencionada Conducta administrativa, Administración pública en 1950, Soluciones del problema humano en 1972, Modelos de descubrimiento en 1977, Modelos de pensamiento en 1979 y Modelos de racionalidad limitada en 1982.
Entre los innumerables premios con los que fue distinguido su trabajo destacan la concesión del premio Alan Turing en 1975 por sus relevantes contribuciones en el campo de la informática (compartido con Newell), el Premio Nobel de Economía en 1978 «por sus investigaciones precursoras acerca de los procesos de toma de decisiones en el seno de organizaciones económicas» y la Medalla Nacional de la Ciencia de Estados Unidos en 1986. Además, fue uno de los catorce científicos extranjeros admitidos en la Academia China de Ciencias en 1994.

ranfis — 2015-01-08 22:17:43 UTC

Frege fue también un importante filósofo del lenguaje. La distinción entre sentido y referencia y entre concepto y objeto se deben a él. Su obra influyó en el filósofo británico Bertrand Russell. Su escrito Notación conceptual (1879) es la más importante de sus publicaciones, también escribió Fundaciones de la aritmética (1884) y Leyes básicas de la aritmética(1893-1903).

ranfis — 2015-01-08 22:17:57 UTC

Trabajó intentando deducir los principios de la aritmética de los principios de la lógica. Inventó muchas notaciones simbólicas, como cuantificadores y variables, estableciendo así las bases de la lógica matemática moderna. Defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido que las verdades de la matemática son deducibles de las verdades de la lógica.

Lógica de primer orden

ranfis — 2015-01-08 22:21:47 UTC

josecdominguezl — 2015-01-08 22:22:56 UTC

Vida

mabelmc24 — 2015-01-08 22:26:55 UTC

Allen Newell (19 de marzo de 1927 - 19 de julio de 1992) fue un investigador en informática y psicología cognitiva en la corporación WWE y en la escuela de informática de Carnegie Mellon. Contribuyó al lenguaje de procesamiento de información (IPL) (1956) y a dos de los primeros programas de inteligencia artificial, la máquina de lógica teórica (1956) y el resolutor general de problemas (1957), con Herbert Simon. Leer más en: http://es.wikipedia.org/wiki/Allen_Newell

Además puede visitar: http://www.ecured.cu/index.php/Allen_Newell

Fue un precursor muy importante en el campo de la inteligencia artificial, lo cual le mereció numerosos premios a su trabajo o reconocimientos de su transcendental labor en la IA. Premios y Honores: http://campodocs.com/articulos-enciclopedicos/article_94401.html#Premios-y-honores

Dariana Mabel Sánchez (14-1111)

Aportes

mabelmc24 — 2015-01-08 22:29:39 UTC

En inteligencia artificial

Sus invenciones incluyen: lista de procesamiento, el paradigma de programación más importante utilizado por AI desde entonces, la aplicación de los medios y fines de análisis del razonamiento general y el uso de la heurística para limitar el espacio de búsqueda.

Ver más en: http://campodocs.com/articulos-enciclopedicos/article_94401.html

Logros posteriores

Newell y Simon formaron una asociación duradera. Ellos fundaron un laboratorio de inteligencia artificial en la Universidad Carnegie Mellon y produjeron una serie de programas importantes y reflexiones teóricas a lo largo de los años cincuenta y sesenta. Este trabajo incluyó el Solucionador general de problemas, una aplicación muy influyente del análisis de medios y fines, y lo físico hipótesis sistemas de símbolo, la afirmación filosófica controversial que toda conducta inteligente se podría reducir a la clase de manipulación de símbolos que los programas de Newell demostraron.

El trabajo de Newell culminó con el desarrollo de una arquitectura cognitiva conocida como Soar y su teoría unificada de la cognición, publicado en 1990, pero su mejoría fue el objetivo de sus esfuerzos hasta su muerte.

Leer más en: http://www.uv.es/seoane/publicaciones/Seoane%201980%20Introduccion.%20Newell,%20Inteligencia%20Arificial%20y%20el%20Concepto%20de%20Mente.pdf

josecdominguezl — 2015-01-08 22:33:07 UTC

Por Jose Carlos Dominguez 15-0804

IA

mabelmc24 — 2015-01-08 22:35:02 UTC

Vida

ranfis — 2015-01-08 22:37:07 UTC

Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 en Wismar - † 26 de julio de 1925 en Bad Kleinen) fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica. Frege es ampliamente reconocido como el mayor lógico desde Aristóteles hasta la llegada de Kurt Gödel.

Mas aqui: http://www.biografiasyvidas.com/biografia/f/frege.htm

Allan Newell habla sobre Inteligencia Artificial

mabelmc24 — 2015-01-08 22:38:26 UTC

El programa "Teórico Lógico"

mabelmc24 — 2015-01-08 22:40:35 UTC

Teórico Lógico es un programa de computadora escrito en 1955 y 1956 por Allen Newell, Herbert A. Simon y JC Shaw. Fue el primer programa deliberadamente diseñado para imitar la capacidad de resolver de un ser humano y se llama problema ", el primer programa de inteligencia artificial." Con el tiempo se prueba 38 de los primeros 52 teoremas de Whitehead y Russell Principia Mathematica, y encontrar nuevas y más elegante pruebas para algunos.

Leer más en: http://campodocs.com/revista-digital-webidea/articulo-revista-1102.html

mabelmc24 — 2015-01-10 23:28:06 UTC

mabelmc24 — 2015-01-10 23:32:59 UTC

mabelmc24 — 2015-01-10 23:39:30 UTC

La mente es un sistema de procesamiento de información