AIARD
FrançaisEnglish

Recherche / T1

Raisonnement inventif neuro-symbolique

Les modèles de langage sont éloquents ; TRIZ est rigoureuse. Une machine peut-elle être les deux ?

Associer les grands modèles de langage aux structures explicites de la conception inventive — contradictions, matrice d’Altshuller, étapes d’ARIZ — pour que chaque étape d’un raisonnement assisté par IA puisse être vérifiée.

ARIZ, l’algorithme de résolution des problèmes inventifs, est une longue suite de reformulations que les experts mettent des années à maîtriser. Nos travaux doctoraux ont étudié comment orchestrer des modèles de langage au fil de cette suite, étape par étape, et comment ancrer les concepts produits dans des brevets réels.

La couche symbolique compte : là où un modèle donne un avis, la matrice des contradictions donne une recommandation invariante d’une exécution à l’autre. Nous étudions comment combiner les deux sans perdre ni l’un ni l’autre.

Projets liés

Personnes

Démonstrateurs

ARIZ-Copilot

DémonstrateurMembres

ARIZ exécuté pas à pas par des modèles de langage, ancré dans des brevets réels.

Thèse d’Iliass Ayaou (2025)

MATRIX

Opérationnel

La matrice des contradictions d’Altshuller en ligne, avec des exemples — libre d’accès.

Publications liées

Toutes les publications