Le philosophe majorquin Raymond Lulle (1232-1316) dont on commémore cette année le 700e anniversaire de la mort, proposa l’Ars Magna, une méthode d’argumentation pour convaincre les non chrétiens de la véracité de la foi chrétienne. Au-delà ce but évidemment futile, Raymond Lulle fit une contribution féconde à un des thèmes de recherche les plus intéressants de l’intelligence artificielle : le calcul d’accords. Il proposa un alphabet de base (étendu ultérieurement par Leibnitz qui utilisa les chiffres) qui aurait permis à travers des jeux de combinaisons, la construction d’une vision consistante du monde avec laquelle tout le monde aurait dû être d’accord. Dans cette conférence, nous resituerons le personnage dans son époque historique et nous décrierons ses contributions à la logique, l’informatique, l’argumentation et les choix sociaux.
Cycle: LES LUNDIS DE LA SCIENCE : le présent et l’avenir de l’intelligence artificielle
Organisé par: Residència d’Investigadors, CSIC - Delegació a Catalunya, Institut Català de Nanociència i Nanotecnologia (ICN2), Excelencia Severo Ochoa