Data Sciences: From First-Order Logic to the Web

Relational database management systems, using as foundations a formal language, first-order logic, serve as mediators between individuals and machines. With the increase in the volume of data disseminated on the Web, a “collective intelligence” is currently emerging, shaped by large search engines whose monopoly raises ethical and political questions. One of the main challenges for the coming years is the development of technologies that will make it possible to find, evaluate, validate, verify and rank information, and thus to build tomorrow’s “Web of knowledge”.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 : ils traduisent les données en informations. Avec l’augmentation du volume de données distribuées sur la Toile émerge aujourd’hui une « intelligence collective » façonnée par de grands moteurs de recherches dont le monopole soulève des questions éthiques et politiques. 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