Faire décider l'IA de l'entreprise, et pouvoir le vérifier

Le sens, une valeur du langage VVL

Dans la plupart des outils, les appels à l'IA sont ajoutés par-dessus un langage de programmation classique. Dans VAILS, c'est le langage lui-même, VVL, qui sait manipuler le sens.

Par défaut, une valeur VVL se comporte comme une valeur ordinaire : un texte, un nombre, une liste. Le programme reste déterministe et rapide. Lorsqu'une valeur est marquée comme sémantique, les opérateurs habituels se mettent à juger selon le sens : l'égalité devient une équivalence de sens, l'appartenance devient une inclusion de concepts, l'ordre devient une comparaison de rang.

[semanticMode "jev"]
[print ([§ "a baby penguin"] == [§ "a young penguin"])]           # 1
[print ([§ "a salmon"] in [§ "freshwater and saltwater fish"])]   # 1
[print ([§ "a colonel"] < [§ "a captain"])]                       # 0

Cette séparation est un choix de conception essentiel : la partie imprévisible du système reste petite, visible et localisée. VVL compte 21 opérateurs de ce type, une instruction qui choisit une branche selon le sens, des tables de décision, des projections sur une échelle ordonnée et des degrés de logique floue mesurés sur un texte.

Modéliser plutôt que deviner

La règle centrale de notre approche tient en une phrase : chaque connaissance a sa place. La connaissance générale de l'entreprise est écrite dans une ontologie ; le modèle de langage ne fait que transcrire le cas particulier dans cette ontologie ; le raisonnement est confié au moteur symbolique.

Des ontologies compilées en logique

Une ontologie VAILS décrit des classes, des attributs typés et des relations. Elle est traduite automatiquement en clauses logiques, exécutées par un moteur de type Prolog intégré au serveur. L'héritage devient une règle : tout ce qui est un devis de chantier est aussi un devis. Une relation déclarée transitive, comme « se trouve dans », est calculée par une fermeture qui mémorise les éléments déjà visités, ce qui garantit qu'elle termine même lorsque les données contiennent des cycles.

rel(X, r, Z)    :- tc(X, r, Z, [X]).
tc(X, r, Z, _)  :- dedge(X, r, Z).
tc(X, r, Z, V)  :- dedge(X, r, Y), not(member(Y, V)), tc(Y, r, Z, [Y|V]).

Les règles d'exception s'écrivent sous l'hypothèse du monde clos : ce qui n'est ni énoncé ni déductible est considéré comme faux. Une règle comme « un client éligible et non bloqué reçoit l'offre » s'applique alors sans ambiguïté, par négation par l'échec.

Des profils types : les objets abstraits

Pour représenter un profil, un archétype ou une norme, VAILS s'appuie sur la théorie des objets abstraits du logicien Edward Zalta. Un objet concret possède des propriétés ; un objet abstrait, lui, encode les propriétés qui le définissent. Un profil « développeuse confirmée » encode une compétence, un mode de travail et un niveau. Deux profils qui encodent exactement les mêmes propriétés sont le même profil.

Comparer un candidat, un client ou un dossier à un profil donne un degré de satisfaction entre 0 et 1 : la part des propriétés encodées que l'instance possède. Les valeurs identiques ou les seuils numériques sont comparés symboliquement ; les autres paires de valeurs sont comparées par le sens, par Jev d'abord, par le modèle de langage seulement pour les paires où Jev hésite.

[semanticMode "jev"]
$rh = [ontology:define rh
    [ontology:class Candidat [attributes
        [nom String] [competence String] [remote String] [niveau String]]]
    [ontology:abstract ProfilDevConfirme : Candidat
        [encode competence "ingenieure logicielle"]
        [encode remote "teletravail complet"]
        [encode niveau "confirmee"]]]
$bob = [new Candidat [nom "Bob"] [competence "boulanger"]
                     [remote "sur site uniquement"] [niveau "apprenti"]]
[print ($bob ~~ "ProfilDevConfirme")]      # ~0.04

Des contrats et des preuves

Emprunté au génie logiciel des systèmes critiques, un contrat précise ce qui doit être vrai avant et après une opération. VVL permet d'écrire des préconditions et des postconditions, vérifiées symboliquement. Un contrat ontologique n'accepte une extraction du modèle de langage que si elle satisfait l'ontologie au-dessus d'un seuil ; sinon, l'extraction est relancée avec l'erreur constatée, puis refusée proprement. Pour la logique propositionnelle, le modèle de langage peut proposer une preuve, mais c'est un petit noyau vérificateur qui l'accepte ou la rejette.

Nous sommes précis sur ce que cela apporte : un contrat ne rend pas le modèle infaillible. Il garantit que ce qui passe a été vérifié contre des règles explicites.

Ce que cela change pour la gestion de l'entreprise

Une règle de gestion écrite en VVL reste lisible par le métier. Voici un routeur de demandes clients : trois décisions typées, confiées à Jev en un seul appel, et une branche d'escalade vers une personne lorsque rien ne correspond.

[semanticMode "jev"]
$route = [match [§ $ticket]
    `[[§ "urgent, time-critical"]  [§ "Payments, invoicing, refunds"]]  "on-call billing"
    `[[§ "urgent, time-critical"]  [§ "Bugs, outages, integrations"]]   "on-call technical"
    `[_                            ?team]                               ("queue " + $__team)
    "human escalation"]