Séminaire du LIM (LIF et LSIS)
Mardi 12 décembre à 14h - Luminy, Amphi 5
Pierre Hansen
GERAD et École des Hautes Études Commerciales, Montréal
L'ordinateur peut-il faire des découvertes scientifiques ?
Archimède distingue nettement la découverte de conjectures de leur preuve par des moyens logiques. L'apport de l'ordinateur à ces deux domaines est fort inégal. Si la démonstration automatique de théorèmes, qui s'adresse au second, est bien développée et marquée par quelques très nets succès, la découverte scientifique assistée ou automatisée, qui s'adresse au premier, est plus récente et clairsemée, mais connaît ses dernières années une croissance rapide.
Elle mise d'une part à reproduire par ordinateur les raisonnements ayant mené à de grandes découvertes, et d'autre part à faire des découvertes avec toute la puissance de l'ordinateur selon des voies qui peuvent différer grandement du raisonnement humain.
Ce domaine sera passé en revue, en insistant sur les systèmes Bacon (H. Simon et al.), Graffiti (S. Fajtlowicz) et AutoGraphiX, ces deux derniers s'adressant plus particulièrement à la théorie des graphes.