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.