-
Surgimiento de la Logica Moderna
La lógica moderna empezó con Gottlob Frege a finales de 1870. -
Captura de la Nocion de Programa
La deducción natural de Grentzen, que capturó una noción de prueba y el Lambda Cálculo
de Alonzo Church, que capturó la noción de programa. -
Introduccion de Lambda Calculo
Alonzo Church introdujo el Lambda Cálculo en 1932. Fue entendido como un
nuevo camino de formulación lógica. -
Deduccion Natural
Introdujo la deducción natural en 1934. Muchas de las ideas son descendientes
directas del trabajo de Frege. -
Expresar toda funcion de Lambda
Hacia 1936, Church se dio cuenta de que los términos lambda podrían ser usados para expresar toda función que podría ser computada por una máquina -
Version Tipada de Lambda
Church introdujo una versión tipada del lambda cálculo en 1940. Como ya
hemos dicho había una correspondencia entre los trabajos de Church y Grentzen que fue
descubierta logistas como Haskell Curry y W.A. Howard. -
Aprobacion de Metodos
Muchos métodos de representación del conocimiento fueron probados a lo largo de la década de 1970 hasta principios de los años 80, cómo responder a preguntas usando heurísticas, redes neuronales, demostraciones de teoremas, y sistemas expertos, con un grado variable de éxito. La diagnosis médica (por ejemplo Mycin) fue un área importante de aplicación, al igual que lo fueron juegos como el ajedrez. -
Programacion Orientada al Conocimiento
Se han desarrollado diversos lenguajes de programación orientados a la representación del conocimiento. Prolog, desarrollado. -
Surgimiento de Lenguajes Formales
En los años 80, surgieron lenguajes formales de programación y sistemas de representación del conocimiento. Grandes proyectos se llevaron a cabo para intentar codificar grandes masas de conocimiento general, por ejemplo, el proyecto "Cyc" (todavía activo) tomó un gran enciclopedia codificando no la información en sí, sino la información que un lector necesitaría para poder entender la enciclopedia: física elemental, nociones de tiempo, causalidad, motivación; objetos comunes y clases de objetos. -
Popularizacion de Programacion del Conocimiento
Fue popularizado mucho después, representa proposiciones y lógica básica, y puede derivar conclusiones de premisas conocidas. KL-ONE (años 80) está más orientado a la representación del conocimiento en sí. En 1995, se desarrolló el estándar de metadata Dublin Core. -
Estandar de Metadata
Se desarrolló el estándar de metadata Dublin Core. -
Escritura sobre las computadoras por Turing
Turing escribió el famoso artículo de la máquina que lleva su
nombre. Se reconoció rápidamente que ambas formulaciones eran equivalentes y Turing fue a estudiar a Princeton con Church entre 1936 y 1938.