Agent rationnel : vers un calcul philosophique

Cet article prolonge une discussion avec Henri Atlan à Cerisy, discussion portant sur la capacité de programmer la théorie des passions de Spinoza en termes d’automates. Y sont discutées les bases conceptuelles d’une machine appelée «agent rationnel» devant assister les chercheurs dans une activité de découverte scientifique et les aider à dépasser les limites de ce qu’ils connaissent. – L’auteur présente d’abord la manière dont il prend appui sur l’Éthique, puis s’attache à définir la théorie de la science de Cavaillès, et le système formel de Dana Angluin. Il décrit ensuite le jeu mathématique de découverte scientifique Eleusis + Nobel qui sert à vérifier, valider et accréditer sa démarche, et donne enfin des éléments de son approche pratique de la découverte scientifique.