Recherche

Recherchez parmi les services, articles de blog et projets R&D.

Middleware neuro-symbolique pour la recherche opérationnelle

GenOR-Twin

« Le moteur fait un bruit bizarre. » → contrainte de solveur.

Vos plannings sont optimaux jusqu'à ce que quelqu'un écrive une note de quart. GenOR-Twin lit ces notes, les traduit en contraintes mathématiques, vérifie chacune contre un graphe de connaissances, puis choisit entre une réparation locale, une ré-optimisation complète ou une revue humaine.

Le LLM traduit. Le solveur décide.
Journal de quart · 06:42
« Fuite hydraulique sur la presse 3, la maintenance dit environ 40 min. »
Contrainte extraite
unavailable(M3, [100, 140]) · θ = 0.93
M3 existe dans le graphe de connaissances
t_début ≥ maintenant
Durée physiquement plausible
DécisionRéparation locale (right-shift)
unavailable(M7, …) — rejetée : M7 n'existe pas sur ce site. Une hallucination qui n'atteint jamais le solveur.
Exemple illustratif · d'après l'étude de cas de l'article
Le problème

Le fossé de traduction

La recherche opérationnelle maîtrise les équations depuis des décennies. Ce qui lui manque, c'est le contexte : ce que savent les opérateurs, les techniciens et les chefs d'équipe arrive sous forme de journaux, d'e-mails et de comptes rendus de passation — un format qu'aucun solveur ne consomme. Entre les deux, il y a un humain, du délai, et des erreurs de saisie.

Les solveurs ne lisent pas le français.

Un modèle Ax ≤ b ne peut rien faire de « ça devrait être réparé bientôt ». Les perturbations réelles arrivent en texte libre.

Quelqu'un ressaisit tout à la main.

Un planificateur lit la note, interprète, et met à jour le modèle. Environ 15 minutes par événement, pendant que la ligne attend.

Un LLM seul devine.

Il invente des machines, des horaires dans le passé, des durées impossibles — et le solveur les optimise sans broncher.

Fonctionnement

Le LLM traduit. Le solveur décide.

GenOR-Twin se place entre ce que vos équipes écrivent et les modèles que vous utilisez déjà. Le langage naturel n'atteint le solveur qu'après avoir été vérifié.

01

Lire

Un agent traducteur (LLM + RAG) extrait la ressource, la fenêtre et le type de perturbation, avec un score de confiance θ.

02

Valider

Un validateur symbolique vérifie trois couches : la ressource existe dans le graphe, l'horaire n'est pas dans le passé, la durée est physiquement possible.

03

Décider

Le SmartScheduler choisit la réponse proportionnée selon la confiance, la marge du planning et les goulots.

04

Optimiser

La contrainte est injectée dans vos solveurs exacts ou métaheuristiques existants. Le LLM ne résout jamais rien lui-même.

SmartScheduler

Une réponse proportionnée à chaque perturbation

Toutes les perturbations ne justifient pas de tout recalculer, et toutes les interprétations ne méritent pas d'être appliquées automatiquement. La règle de décision compare la durée de la perturbation à la marge moyenne du planning, vérifie si la machine est un goulot, et exige une confiance de 0,85 avant toute action automatique.

Réparation localePerturbation courte, hors goulot, θ > 0,85
Décalage right-shift en moins d'une milliseconde.
Ré-optimisation complètePerturbation longue ou sur un goulot, θ > 0,85
Nouveau calcul complet du planning par le solveur.
Revue humaineConfiance θ ≤ 0,85
L'humain vérifie une seule interprétation — jamais tout le planning.
En action

Une note de quart, un planning réparé

Une alerte signale une fuite hydraulique sur M3. GenOR-Twin injecte une indisponibilité [100, 140]. Un système statique l'ignorerait — et programmerait J4 en plein pendant la panne, soit 40 unités de collision. Le SmartScheduler décale J4 et les opérations qui en dépendent, avec un allongement minimal du makespan.

JSSP 5×5Collision sur M3
050100150200250M1M2M3M4M5J1J3J5J2J2J1J4J3J3J5J4J1J4J2J5J5J3J4
Fenêtre d'indisponibilité injectée depuis le journal
Preuves

Évalué, pas promis.

Chaque chiffre ci-dessous provient de l'article de recherche GenOR-Twin, avec sa portée exacte.

99.7%

d'alignement avec les annotations d'experts sur 300 journaux historiques (299/300), contre 97,2 % pour un LLM seul

88.2%

des hallucinations interceptées par le validateur sur les journaux très ambigus, là où la correspondance brute tombe à 76,5 %

15 → 2 min

de latence de décision par perturbation, par rapport à une ressaisie manuelle (modèle de coûts de l'article)

+3.7–4.9%

de meilleur objectif qu'un pipeline à règles sur Taillard, Solomon et PSPLIB (n = 100, p < 0,01)

98.0%

de bonnes décisions de politique par des planificateurs assistés par GenOR-Twin, contre 79,5 % sans (p < 0,0001)

~2 ms

d'inférence sémantique, constante de 25 à 50 000 opérations — la couche IA n'est jamais le goulot

Évalué sur 300 journaux annotés, 50 par domaine, deux annotateurs experts indépendants (κ de Cohen = 0,91).

Validé sur six classes NP-difficiles : ordonnancement d'atelier, tournées, projets, infirmiers, bin packing et flux réseau.

Rejoué hors ligne sur des journaux historiques d'un équipementier automobile de rang 1.

« Les gains numériques par rapport aux bases de référence sont modestes ; la valeur principale est de permettre l'optimisation dans des conditions d'information qui exigeaient auparavant l'intervention d'un expert. »— Article GenOR-Twin
Pour qui

Partout où les perturbations arrivent en texte

Fabrication à haute cadence

Automobile, semi-conducteurs : quand chaque minute d'arrêt coûte cher et que les pannes arrivent par la radio ou le carnet de quart.

Flottes et tournées

« Accident sur l'A1 » devient une mise à jour du poids de l'arc, pas un appel au répartiteur.

Plannings hospitaliers

Une absence signalée par message devient une contrainte d'affectation, avec revue humaine si l'interprétation est incertaine.

Procédés et réseaux

« Pic de pression sur la ligne 2 » devient une réduction de capacité de flux dans le modèle.

Où ça ne paie pas

Le modèle de coûts de l'article est négatif sous ~100 perturbations par an ou quand l'arrêt coûte peu (≈ 20 $/min). Positif à 500 événements/an et 60 $/min : environ 375 k$ de bénéfice net annuel. Nous le vérifions sur vos chiffres avant de commencer.

Également chez Predictim
Vos sources se contredisent ? Voir ARGUS Council.

Des décisions certifiées quand plusieurs modèles, analystes ou agents IA ne sont pas d'accord.

Découvrir ARGUS
Pourquoi GenOR-Twin

Ni un chatbot, ni une règle de plus.

Ressaisie manuelleRègles / regexLLM seulGenOR-Twin
Comprend le texte libreÉchoue sur 82 % des formulations
Rejette les machines inventées—
Choisit réparation ou ré-optimisationAu jugé
Escalade quand c'est incertain—
Latence par événement~15 minSecondesSecondes~2 min avec revue
Programme pilote

Rejouez vos propres journaux

Nous faisons passer vos perturbations passées dans GenOR-Twin et vous montrons, journal par journal, ce qui aurait été extrait, rejeté, réparé ou escaladé — et ce que cela aurait coûté.

Durée
≈ 4 semaines
Vous fournissez
Des journaux de quart ou de maintenance exportés, et les plannings qu'ils ont perturbés
Nous fournissons
Un rejeu hors ligne : contraintes extraites, rapport du validateur, plannings avant/après et analyse de coûts
Intégration
Aucune pour le pilote — tout se fait hors ligne
Predictim GenOR-Twin · Le LLM traduit. Le solveur décide.Recherche : R&D Sharkey Predictim Globe, avec des partenaires académiques.