Séminaire à l'Ecole Polytechinique sur l'IA « hybride »
Implexe partenaire de l'Association Aristote dans l'organisation en janvier 2024 d'une journée
consacrée à l'Intelligence Artificielle Générative et aux moyens de la tempérer (en ayant recours à la logique symbolique, entre autres choses).
Quadriller de façon régulière un rectangle dont les côtés sont dans un rapport rationnel ? Un jeu d’enfant, direz-vous !
Si ce rapport est m/n, un simple découpage donnera nm carrés égaux, arrangés en n lignes et m colonnes.
Mais sauriez-vous exhiber un rectangle dont les proportions sont telles que sa surface puisse être pavée de carrés tous distincts ?
Relevant de l’analyse combinatoire, les « rectangles parfaits » sont une curiosité mathématique qui a aiguisé l’attention de fins esprits.
Retour sur une solution minimaliste due au Professeur Alain Colmerauer :
un programme Prolog III de tout juste 10 règles qui aura marqué les débuts de la Programmation Logique par Contraintes à la fin des années 80.
Contribution à un numéro spécial de la Revue Ouverte en Intelligence Artificielle,
en hommage à ce grand scientifique.
Question subsidiaire : un carré peut-il être un rectangle parfait ?