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
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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.
Type de document :
Ouvrage (y compris édition critique et traduction)
Liste complète des métadonnées

https://hal.inria.fr/hal-01175553
Contributeur : Serge Abiteboul <>
Soumis le : vendredi 10 juillet 2015 - 16:02:23
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

371