ИИ да взема бизнес решения и те да могат да бъдат проверени

Смисълът като стойност на езика VVL

В повечето инструменти извикванията към ИИ се добавят върху класически език за програмиране. Във VAILS самият език, VVL, умее да работи със смисъла.

По подразбиране стойност във VVL се държи като обикновена стойност: текст, число, списък. Програмата остава детерминирана и бърза. Когато стойност е отбелязана като семантична, обичайните оператори започват да преценяват по смисъл: равенството става еквивалентност по смисъл, принадлежността става включване между понятия, редът става сравнение по ранг.

[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

Това разделение е ключов избор при проектирането: непредсказуемата част от системата остава малка, видима и локализирана. VVL има 21 такива оператора, инструкция, която избира разклонение по смисъл, таблици за решения, проекции върху подредена скала и степени на размита логика, измерени върху текст.

Моделиране вместо гадаене

Основното правило на нашия подход се побира в едно изречение: всяко знание има своето място. Общото знание на компанията се записва в онтология; езиковият модел само пренася конкретния случай в тази онтология; разсъждението се поверява на символния двигател.

Онтологии, компилирани в логика

Онтология във VAILS описва класове, типизирани атрибути и връзки. Тя автоматично се превежда в логически клаузи, изпълнявани от вграден в сървъра двигател от типа на Prolog. Наследяването става правило: всичко, което е оферта за строителен обект, е и оферта. Връзка, обявена за транзитивна, като „се намира в“, се изчислява чрез затваряне, което помни вече посетените елементи, и така гарантира, че приключва дори когато данните съдържат цикли.

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]).

Правилата с изключения се записват при предположението за затворен свят: това, което нито е заявено, нито може да се изведе, се смята за невярно. Правило като „допустим клиент, който не е блокиран, получава офертата“ тогава се прилага еднозначно чрез отрицание като неуспех.

Типови профили: абстрактните обекти

За да представи профил, архетип или норма, VAILS се опира на теорията за абстрактните обекти на логика Едуард Залта. Конкретният обект притежава свойства; абстрактният обект кодира свойствата, които го определят. Профил „опитна разработчичка“ кодира умение, начин на работа и ниво. Два профила, които кодират точно едни и същи свойства, са един и същ профил.

Сравняването на кандидат, клиент или досие с профил дава степен на съответствие между 0 и 1: делът на кодираните свойства, които екземплярът притежава. Еднаквите стойности и числовите прагове се сравняват символно; останалите двойки стойности се сравняват по смисъл, първо от Jev, а от езиковия модел само за двойките, при които Jev се колебае.

[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

Договори и доказателства

Взет от софтуерното инженерство на критичните системи, договорът определя какво трябва да е вярно преди и след дадена операция. VVL позволява да се пишат предусловия и следусловия, проверявани символно. Онтологичният договор приема извличане от езиковия модел само ако то съответства на онтологията над определен праг; в противен случай извличането се повтаря с установената грешка и след това се отхвърля коректно. При съждителната логика езиковият модел може да предложи доказателство, но малко проверяващо ядро го приема или отхвърля.

Прецизни сме относно това, което дава: договорът не прави модела непогрешим. Той гарантира, че това, което преминава, е проверено спрямо изрични правила.

Какво променя това за управлението на бизнеса

Бизнес правило, написано на VVL, остава четимо за бизнеса. Ето маршрутизатор на клиентски запитвания: три типизирани решения, поверени на Jev с едно извикване, и разклонение за ескалация към човек, когато нищо не съвпада.

[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"]