Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications

Imaginez le monde de l'informatique comme une ville immense et bouillonnante. Dans cette ville, il y a deux districts principaux qui ne se parlent généralement pas beaucoup. D'un côté, vous avez le « District de la Logique », où les rues sont construites sur des règles parfaites et incassables, comme des équations mathématiques et une grammaire stricte. C'est là que les fondations de la ville sont posées, garantissant que si vous construisez un pont, il ne s'effondrera pas à cause d'une erreur stupide dans le plan. De l'autre côté, vous avez le « District de l'Apprentissage », un endroit chaotique et passionnant où les ordinateurs essaient de comprendre les choses en observant des millions d'exemples, un peu comme un enfant qui apprend à reconnaître un chat en voyant des milliers de photos de chats.

Pendant longtemps, ces deux districts ont fonctionné séparément. Le District de la Logique craignait que le District de l'Apprentissage ne soit trop désordonné et imprévisible, tandis que le District de l'Apprentissage trouvait que le District de la Logique était trop rigide et lent. Mais récemment, les urbanistes de la ville ont réalisé que l'avenir de cette ville dépend de la capacité de ces deux voisins à travailler ensemble. Ils veulent construire des systèmes qui soient aussi intelligents que le District de l'Apprentissage, mais aussi fiables que le District de la Logique. C'est la grande question qui empêche les informaticiens de dormir : comment pouvons-nous mélanger les « règles parfaites » avec les « suppositions intelligentes » pour créer une technologie qui soit à la fois puissante et sûre ?

Ce document est essentiellement un rapport d'une récente réunion de planification urbaine appelée LSFA 2026, qui s'est tenue à Lisbonne, au Portugal, pendant deux jours en juillet 2026. La réunion a réuni un groupe d'experts qui tentent de combler ce fossé entre la rigueur des règles de la logique et la nature flexible de l'apprentissage automatique moderne. Considérez ces experts comme des architectes et des ingénieurs qui essaient de concevoir un nouveau type de matériau de construction qui soit à la fois aussi solide que l'acier et aussi adaptable que l'argile.

Le document ne présente pas un gratte-ciel unique et achevé ou une solution magique qui résout tout du jour au lendemain. Au lieu de cela, c'est une collection de plans, de croquis et d'expériences partagés par des chercheurs qui testent différentes manières de connecter ces deux mondes. Certaines des idées discutées impliquent de prendre les anciennes règles bien connues de la façon dont les ordinateurs pensent (comme les règles du « lambda-calcul », qui est juste une façon sophistiquée de décrire le fonctionnement des fonctions) et de voir comment elles peuvent être mises à jour pour gérer les nouvelles données désordonnées de l'apprentissage automatique.

Le principal enseignement de ce rassemblement est que le travail est encore très en cours. Les chercheurs explorent activement comment intégrer ces méthodes, effectuant des simulations et testant des théories pour voir ce qui fonctionne et ce qui ne fonctionne pas. Ils suggèrent qu'en combinant les techniques « bien établies » avec l'apprentissage automatique « à la pointe de la technologie », nous pourrions construire de meilleurs outils pour l'avenir. Cependant, le document précise clairement qu'il s'agit d'un voyage de découverte, et non d'une destination atteinte. Ils recueillent des commentaires sur la manière d'utiliser concrètement ces méthodes mixtes dans le monde réel, reconnaissant que, bien que la théorie semble prometteuse, l'application pratique est encore en cours de définition. C'est un instantané d'une communauté d'esprits curieux essayant d'écrire le livre de règles d'un nouveau type de technologie intelligente, une technologie qui respecte les anciennes lois de la logique tout en embrassant le nouveau pouvoir de l'apprentissage.