|
Depuis la conférence de Dartmouth en 1956,
induction et déduction sont deux approches au
cœur de l'intelligence artificielle. Avec les
succès récents et spectaculaires de
l'apprentissage profond (Alpha Zero, ChatGPT),
on peut légitimement se demander si les
raisonnements déductifs (la logique) ont encore
leur place en IA. A travers trois formalismes logiques différents (logique des propositions, règles existentielles, answer set programming), nous discuterons des avantages du raisonnement déductif, de ses limites algorithmiques, et de la recherche de compromis entre expressivité et efficacité. Enfin, nous évoquerons l'intérêt de systèmes hybrides, que ce soit dans un objectif d'efficacité algorithmique ou pour tenter de concilier les avantages de ces deux approches. |
| Eubulide de Milet est connu pour être l'auteur de nombreux paradoxes, notamment le Chauve, le Menteur, le Cornu : un paradoxe du vague, un paradoxe de la vérité, un paradoxe de la présupposition. Ces différents arguments, classiquement appelés sophismes, aboutissent à des contradictions en logique bivalente classique. En logique trivalente, en revanche, on peut les résoudre chacun de façon naturelle. Le but de cet exposé, inspiré d'un article paru en 2024 dans la Revue de Métaphysique et de Morale ("Eubulide et la conséquence logique") sera de présenter la conception stricte-tolérante de la conséquence logique dans ce cadre trivalent, et d'en discuter les avantages et les limites. |
Retour axe transverses Logiques du LIRMM