La méthode des élucidations successives

Claude Lobry 1
1 MERE - Water Resource Modeling
CRISAM - Inria Sophia Antipolis - Méditerranée , INRA - Institut National de la Recherche Agronomique : UMR0729
Résumé : Dans le processus d’élaboration d’un modèle on insiste beaucoup sur la nécessité de confronter le modèle à la réalité qu’il est sensé représenter. Il est un autre aspect de la modélisation, à mon avis tout aussi essentiel, dont on ne parle pas. Il s’agit d’un travail logico-linguistique où des modèles formels sont utilisés pour produire des prédiction qui ne sont pas confrontées à la réalité mais servent à falsifier des affirmations qui semblaient pourtant se déduire du modèle. Plus précisément un premier modèle informel est décrit dans la langue naturelle et, toujours dans la langue naturelle, semble dire quelques chose mais de façon plus ou moins claire. Alors on traduit le modèle informel en un modèle formel (mathématique ou informatique) où ce qui était argumentation devient démonstration. Le modèle formel sert ainsi à lever des ambiguïtés de la langue naturelle. Mais inversement un texte trop formalisé perd rapidement tout sens pour un cerveau humain ce qui rend nécessaire le retour à une langue moins formelle. Ce sont ces “traductions" successives entre langues plus ou moins formelles que je cherche à analyser sur deux exemples, le premier en dynamique des populations, le second en mathématiques.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.171-193
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01277835
Contributeur : Coordination Episciences Iam <>
Soumis le : mardi 23 février 2016 - 11:44:47
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : mardi 24 mai 2016 - 12:13:37

Fichier

arima00911.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01277835, version 1

Collections

Citation

Claude Lobry. La méthode des élucidations successives. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.171-193. 〈hal-01277835〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

153