Publié le 21 avril 2021 Mis à jour le 21 avril 2021
La reproductibilité des résultats est notion cruciale dans la construction de la connaissance scientifique. Pour pouvoir l'assurer, un des éléments de base est l'assurance que les données initiales sont bien celles de l'expérience originale.
Or, autant de le monde de l'informatique que dans celui de la science ou du journalisme, les données sont numériques; elles peuvent être copiées et altérées de multiples façons, du simple bogue à l'introduction volontaire de fausses données et de biais. Dans ce contexte, comment être sur que nous avons bien affaire à des données authentiques ?
C'est ce que Dale Miller, directeur de recherche chez Inria, entreprend d'explorer dans le monde de la preuve formelle.
«Démontrer la validité d’un programme ou d’un système électronique fait appel à la logique mathématique, et plus particulièrement à des techniques de raisonnement nommées « méthodes formelles ».
Issues de la recherche fondamentale en informatique, elles se sont avérées un outil particulièrement adapté à la vérification de programmes. Elles permettent de produire des « preuves formelles », c’est-à-dire une très forte assurance de l'absence de bug dans les logiciels analysés.»
Loin d’être limitée au domaine de la vérification de programmes, la nouvelle infrastructure de partage de données certifiées que cette action exploratoire espère préfigurer pourrait bénéficier à d’autres secteurs.
C’est notamment le cas de ceux du journalisme, de la lutte contre les fausses nouvelles et de la production scientifique, pour laquelle la reproductibilité des résultats est un enjeu majeur.
Pour l'article complet : Vers l’émergence d’un Internet de la preuve ?
Domaine de Voluceau
Rocquencourt - B.P. 105
78153 Le Chesnay
France
Tél.: 33 (0)1 39 63 55 11
Accédez à des services exclusifs gratuitement
Inscrivez-vous et recevez nos infolettres en pédagogie et technologies éducatives
Vous pourrez aussi indexer vos ressources préférées et retrouver votre historique de consultation
M’abonner à l'infolettreVous pourriez aussi aimer:
Un métavers aux valeurs humanistes
Alors que l'intérêt pour les multivers grandissent viennent des questions éthiques. Plusieurs semblent exister uniquement pour vendre des produits. Virtual Society veut y ramener la dimension sociale et proposer de la bienveillance.
Un écran tactile avec moins de latence : une solution performante développée à l'INRIA
«Deux équipes d’Inria Lille - Nord Europe se sont associées avec des chercheurs marseillais autour du projet ANR * TurboTouch . Ses résultats après cinq ans de travaux sont prometteurs. L’écran qui obéira vraiment au doigt et à l’œil est peut-être pour demain...»
IdO / IoT - L'internet des objets [Livre blanc]
La culture générale de demain devra appréhender les fondements technologiques de l’IoT. Un défi pour l’enseignement est donc d’augmenter progressivement la sensibilisation à l’IoT, à la fois pour préserver la souveraineté et le libre arbitre des individus, et pour mieux amorcer les formations de nos scientifiques et nos techniciens.
La modélisation dynamique des océans
Le problème de la modélisation des océans est archi-complexe. Non seulement on compte des centaines de paramètres mais leur interaction entre eux et avec le milieu comme le relief sous-marin, l'atmosphère, le rayonnement solaire, etc, aboutit à des milliers de paramètres tous en mode dynamique et plus ou moins cycliques.
Inria et la CNIL lancent un prix européen sur la protection de la vie privée
Inria et la CNIL viennent de lancer un prix européen pour récompenser des articles scientifiques sur le sujet de la protection des données personnelles et de la vie privée. S’inscrivant dans le cadre de la convention de partenariat signée par Inria et la CNIL en 2011, le prix sera l’occasion de mettre en lumière les travaux de recherche dans le domaine de la protection des données.
