Sciences des données : de la logique du premier ordre à la Toile

Conçus à partir d'un langage formel, la logique du premier ordre, les systèmes de gestion de bases de données relationnels servent de médiateurs entre l'individu et la machine, dispensant ainsi celui-ci de tâches fastidieuses. La Toile, avec les moteurs de recherche, s'est muée en bibliothèque numérique à l'échelle de la planète. Aujourd'hui, de nouveaux systèmes informatiques font émerger des masses de données disponibles une « intelligence collective ».
Un des grands défis des années à venir est de développer les technologies qui permettront de trouver, d'évaluer, de valider, de vérifier, de hiérarchiser l'information pour construire la « Toile des connaissances » de demain.