-
Explicar y codificar varios razonamientos de tipo deductivo; que él llamó silogismos
-
Poeta; Ars Magna; un conjunto de ruedas que podía contestar todas las preguntas.
-
Algebra universal; todo el conocimiento incluyendo el moral y el metafísico, podía quedar incluido en un solo sistema deductivo.
-
- Desarrolló los fundamentos del álgebra proposicional – Agrupar ...algunas probables relaciones íntimas entre la naturaleza y la constitución de la mente humana.
-
Los lógicos del siglo XX formalizaron y clarificaron mucho de lo que se puede hacer con la lógica y sus limitaciones en los sistemas computacionales.
-
Formaron un marco teórico con respecto a las relaciones entre elementos computacionales y neuronas biológicas. Ellos demostraron que es posible calcular cualquier función calculable en función de redes y compuertas lógicas.
-
El Gobierno norteamericano encargo a Norbert Wiener, profesor del MIT, que estudiara la posibilidad de regular automáticamente la dirección de tiro de los cañones antiaéreos.
-
Tortugas que exhiben comportamientos sociales
-
Desarrollaron programas que permitían a un ordenador digital razonar y jugar ajedrez (Programming a Computer for Playing Chess)
-
El primer artículo moderno que trató con la posibilidad de mecanizar el estilo humano de inteligencia, test de Turing, un criterio según el cual puede juzgarse la inteligencia de una máquina si sus respuestas en la prueba son indistinguibles de las de un ser humano.
-
Desarrollo el primer programa capaz de razonar sobre temas arbitrarios “resolutor general de problemas”. Resolución de problemas de sentido común, los cuales incluyen razonamiento de objetos físicos y sus relaciones, como también razonamiento de acciones y sus consecuencias. Solo se resolvieron tareas muy simples, pues no se pudo crear un programa con la cantidad suficiente de conocimiento de un dominio específico.
-
La bestia que era capaz de encontrar un enchufe para alimentarse.
-
Exploró el uso de redes, para aprendizaje y reconocimiento de patrones.
-
Tomó varias de la ideas de MacCarthy las implementó en su sistema QA3.
-
Creó una de las primeras aplicaciones en demostrar la relevancia de la importancia de la cantidad de domino específico, DENDRAL.
-
El 11 de mayo Deep Blue derrotó al campeón de ajedrez. (teoría de juegos).
-
Propuso utilizar el cálculo de predicados; como lenguaje para representar y utilizar el conocimiento, en un sistema llamado (adivice taker). A este sistema había que decirle que se necesitaba saber, más que programarlo.
-
Encontraron clases de cálculos donde se requieren cantidades imprácticas de memoria y tiempo.
