Une IA construite avec la rigueur de l'ingénierie.
La plupart des projets d'IA calent avant la production parce que personne ne peut mesurer, auditer ni reproduire ce que fait le système. Nous avons conçu SynaLemma pour que ces trois choses soient possibles d'emblée.
Le modèle est la pièce remplaçable.
Changer de modèle est un changement de configuration. Ce qui décide si un système d'IA peut passer en production, c'est que son raisonnement puisse être contrôlé, par une machine avant qu'il ne s'exécute et par une personne ensuite.
C'est pourquoi, dans SynaLemma, le modèle ne raisonne pas. Il traduit une question en règle, et un moteur logique fait le reste, dans votre propre base.
Seul, un modèle de langage ne sait pas montrer comment il arrive à une réponse.
Seul, un modèle de langage devine, dérive, et ne sait pas montrer comment il est arrivé à une réponse. C'est acceptable pour un chatbot, pas pour un système dont votre entreprise dépend. L'IA neuro-symbolique associe le modèle de langage, qui comprend la question, à la structure et à la logique, qui contraignent, vérifient et expliquent la réponse.
- Structure & contraintes
- les sorties respectent un schéma, et une sortie mal formée est rejetée.
- Logique & règles explicites
- le raisonnement est écrit sous forme de règles qu'une personne peut lire.
- Vérification
- chaque conclusion remonte aux règles et aux lignes dont elle vient.
SynaLemma repose sur ce principe : le modèle traduit, et le moteur logique raisonne.
Les exigences que nous nous imposons.
Mesurable
Chaque définition est confrontée aux données, et chaque assertion a un état visible.
Auditable
Chaque réponse remonte à ses règles et à ses lignes sources : vous pouvez montrer à un régulateur, un conseil d'administration ou un client comment un chiffre a été produit.
Reproductible
La même règle sur les mêmes données donne le même résultat, quel que soit le modèle branché. Chaque changement de règle est versionné dans git.
Sur votre infrastructure
SynaLemma tourne sur vos serveurs, avec le modèle de votre choix. Vos règles sont des fichiers dans votre propre dépôt git, lisibles par vos équipes et exécutables avec l'outillage open source.
Nous avons inscrit ces exigences dans le produit.
Des exigences qui reposent sur la discipline de chacun ne durent pas : SynaLemma les impose. Une règle est vérifiée avant d'être enregistrée, exécutée avant d'être citée, et conservée avec son historique.
Nous vous disons aussi quand SynaLemma n'est pas le bon outil. Si vos questions ne portent que sur du texte libre, ou si un chiffre approximatif vous suffit, vous n'en avez pas besoin.
Voyez ce que cela donne appliqué à votre entreprise.
Le plus rapide est une démo de SynaLemma de trente minutes, sur l'une de vos propres questions.