Sciences des données : de la logique du premier ordre à la Toile: Leçon inaugurale prononcée le jeudi 8 mars 2012

Serge Abiteboul 1, 2
2 DAHU - Verification in databases
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
Résumé : 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.
Document type :
Books
Complete list of metadatas

https://hal.inria.fr/hal-01175553
Contributor : Serge Abiteboul <>
Submitted on : Friday, July 10, 2015 - 4:02:23 PM
Last modification on : Tuesday, February 5, 2019 - 1:46:02 PM

Identifiers

  • HAL Id : hal-01175553, version 1

Collections

Citation

Serge Abiteboul. Sciences des données : de la logique du premier ordre à la Toile: Leçon inaugurale prononcée le jeudi 8 mars 2012. 2012, ⟨http://www.college-de-france.fr/site/serge-abiteboul/inaugural-lecture-2012-03-08-18h00.htm⟩. ⟨hal-01175553⟩

Share

Metrics

Record views

403