-
Surgimiento de la Logica Moderna
La lógica moderna empezó con Gottlob Frege a finales de 1870. -
Period: to
Importante
-
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. -
Lambda
Alonzo Church introdujo el Lambda Cálculo en 1932. Fue entendido como un
nuevo camino de formulación lógica. -
La Maquina de Turing
Al mismo tiempo, 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. -
Surge el termino IA
El término “inteligencia artificial” fue acuñado formalmente en 1956 durante la conferencia de Darthmounth, más para entonces ya se había estado trabajando en ello durante cinco años en los cuales se había propuesto muchas definiciones distintas que en ningún caso habían logrado ser aceptadas totalmente por la comunidad investigadora. La IA es una de las disciplinas más nuevas junto con la genética moderna. -
Virtualizacion de DBs
A lo largo de los 70's se virtualizaron los sistemas de administracion de informacion. Datos almancenados en jerarquia y relaciones. -
SQL
El SEQUEL terminó siendo el predecesor de SQL, que es una versión evolucionada del primero. SQL pasa a ser el lenguaje por excelencia de los diversos sistemas de gestión de bases de datos relacionales surgidos en los años siguientes y fue por fin estandarizado en 1986 por el ANSI, dando lugar a la primera versión estándar de este lenguaje, "SQL-86" o "SQL1". Al año siguiente este estándar es también adoptado por ISO. -
KB1
La primera línea " base de conocimiento " ( KB ), creado en aproximadamente 1.988 , fue un directorio de archivos en una cuenta VMScluster compartida , conocido como el directorio " M" (llamado así por Marie Meyer , uno de los creadores ) . Consultores responder a las preguntas por correo electrónico encontraron conveniente basar sus respuestas en estos archivos en lugar de escribir en repetidas ocasiones la respuesta de cero. Tras el envío de información para responder a una pregunta original , -
servidor Gophe
Luego vino Gopher . A principios de 1990 , un miembro del personal joven y ambicioso inteligente Scott Hutton , creó un servidor Gopher accesible mundo búsquedas de texto completo que revolucionó el KB . Centro de soporte personal dejó de pensar en ella como una herramienta para su uso privado , y comenzó a orientar la información para el uso público . Gopher permitió alrededor del reloj de acceso público al Centro de Atención al Cliente FAQ repositorio. -
KB2
Durante el invierno de 1995 a 1996 , el personal volvió a escribir el software de KB para proporcionar un mantenimiento más fácil , la búsqueda más rápida, más opciones de búsqueda , y otras características que no son posibles cuando la versión web original fue escrito. KB2 , escrito principalmente por Matt Liggett , con módulos adicionales escritos por Alan Meiss y John Nienart , sustituyó el original el 6 de marzo de 1996. -
KB3
Después de más de tres años de trabajo de Mike MacKenzie , Ed Dragomer , David Jantzen , Mark Meiss , Mike Fragassi , Josh Reedy , Andrea Donderi , Jonathan Phillips , y otros, una nueva versión del código de Knowledge Base , KB3 , entró en producción en julio 2.002 . -
Los KMS
Con el plan de estrategico de empoderamiento de personas y, específicamente, Acción 27a del artículo , el Sistema de Gestión del Conocimiento , en 2009 el equipo KM tuvo la tarea de desarrollar un KMS moderna , para realizar mejor el potencial de la gestión del conocimiento en IU . -
KMS Scrum
El equipo KMS Scrum trabaja en dos semanas sprints , con el objetivo de ofrecer software de trabajo al final de cada sprint . El primer sprint comenzó 27 de junio 2013 .