LOGUS: бизнес-правила с доказательством, а не догадкой

Менеджер спрашивает ИИ-помощника: «Клиент оплатил, акт ещё не подписан — можно отгружать?» Помощник отвечает уверенно и вежливо: «Да, при полной предоплате отгрузка допускается». Звучит разумно. Только в вашей компании правило другое: отгрузка — только при подписанном акте, без исключений. Помощник не соврал специально. Он сделал то, что языковые модели делают всегда, — угадал правдоподобный ответ.

В разговоре о погоде угадывание простительно. В бизнес-правилах — нет. Отгрузка, скидка, допуск к работе, согласование договора: здесь цена ошибки — деньги, штрафы и доверие клиентов. Поэтому в PRANUS есть LOGUS — движок, который не угадывает логику, а считает её. И честно говорит, насколько он уверен в ответе.

Логику не угадывают, её считают

Главный принцип LOGUS простой: языковая модель никогда не «проходит по правилам в уме». Если нужно понять, можно ли отгружать, — вопрос уходит в LOGUS, а он прогоняет его по записанным правилам компании. Ответ приходит не в виде «думаю, что да», а в виде результата с пройденным путём и уровнем доверия.

ИИ в этой схеме полезен — но на своём месте. Он помогает записать правило из обычной фразы, построить схему по заданию и объяснить результат человеческим языком. А сам результат даёт расчёт, который при одинаковых данных всегда отвечает одинаково.

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

Схема по заданию

Вам не нужно рисовать блок-схемы. Достаточно описать задачу и дать данные: «Отгрузка разрешена, если акт подписан и у клиента нет просроченного долга больше порога. Для ключевых клиентов порог выше». LOGUS сам строит схему-процесс, сам пишет проверочные сценарии по тексту задания, прогоняет их, чинит то, что не сошлось, и возвращает ссылку на готовую схему.

Если потом нужно поправить одно условие, ИИ-помощник правит схему точечно, а не перестраивает её с нуля. Проверенное остаётся проверенным.

Исполняемый процесс

Схема в LOGUS не картинка, а работающий процесс. У неё есть форма ввода — поля с понятными названиями. Вы вводите данные конкретной ситуации, и схема проходит шаги до итога: «можно» или «нельзя», с причиной. Пройденный путь подсвечивается, так что видно, какое именно условие сработало.

Проверка границ

Ошибки в правилах чаще всего прячутся на границах. «Скидка при заказе от 100 единиц» — а при ровно 100 скидка есть? А при 99,5? LOGUS сам проверяет значения вокруг каждого порога: чуть меньше, ровно, чуть больше. Там, где правило ведёт себя не так, как написано в задании, вы узнаёте об этом до того, как с этим столкнётся клиент.

Доказательство или контрпример

Самое сильное умение LOGUS — отвечать на вопрос не про один случай, а про все сразу. «Верно ли, что отгрузка без подписанного акта невозможна при любых данных?» Ответа два:

доказано — правило выполняется для всех возможных значений;
контрпример — вот конкретная ситуация, в которой правило нарушается.

Контрпример — это не сбой, а находка. Лучше узнать о дыре в правилах из проверки, чем из претензии клиента.

«Почему нельзя»

Когда правил много, они начинают конфликтовать. Сотрудник пытается оформить заказ, а система говорит «нельзя». Почему? LOGUS называет наименьший набор правил, которые мешают друг другу: «правило о минимальной партии и правило о складском остатке не могут выполниться вместе для этого товара». Не «ошибка конфигурации», а конкретные правила, которые можно обсудить.

Честные уровни доверия

Многие системы отвечают одинаково уверенно, проверили они ответ или нет. LOGUS ставит на каждый ответ уровень доверия — и не завышает его.

Уровень	Что он значит на самом деле
Доказано	Правило проверено для всех возможных значений — решателем или полным перебором
Пересчитано дважды	Результат посчитан двумя обходами схемы. Это надёжнее одного прогона, но не независимая перепроверка
Вычислено	Посчитано для конкретных данных, которые вы ввели
Оценено	Полной проверки не было — например, входов слишком много. Такой ответ надо считать непроверенным
Расхождение	Разные способы проверки дали разный результат — значит, в схеме или в данных ошибка

«Доказано» ставится только при полной проверке. Мы сознательно не пишем «доказано» там, где проверка была частичной: уверенный тон без оснований — ровно то, от чего LOGUS должен защищать. Та же честность лежит в основе ИИ, который отвечает только по документам, — об этом статья «ИИ, который умеет сказать „не знаю“».

Где в компании нужна доказательная логика

LOGUS нужен не везде, где есть стрелочки. Он особенно полезен там, где одновременно выполняются три условия:

связи заводит человек, а не программа по правилу;
ошибка ведёт к тихим последствиям — не к сообщению об ошибке, а к пустоте, зависанию или вечному ожиданию;
ответ нужен человеческий — не «граф некорректен», а «ремонт станка ждёт закупку, закупка ждёт согласование, согласование ждёт ремонт станка».

Тихие ошибки, которые никто не видит

Вот типичные примеры таких ошибок — они встречаются в любой системе, где правила и связи заводят люди:

Документ, застрявший навсегда. Договор отправлен на согласование, но список согласующих оказался пустым. Голосовать некому — документ вечно «на согласовании». Ни ошибки, ни письма, ни срока.
Задача, которая выпала из выдачи. Задачу случайно вложили в её же подзадачу. Она есть в базе, но ни в одном списке её не видно.
Кольцо в оргструктуре. Отдел по ошибке сделали подчинённым собственного подотдела. Права и согласования начинают ходить по кругу.
Кольцо зависимостей. Задача А ждёт Б, Б ждёт В, В ждёт А. Никто не виноват, но работа стоит.

Ответ на такие вещи — разделение ролей. Запрет «не дам замкнуть кольцо» стоит прямо в сервисе, чтобы сохранение работы не зависело ни от чего внешнего. А разбор того, что уже сложилось, — работа LOGUS: он видит картину целиком и называет проблему словами.

Ограничения, которые сейчас живут в голове

Второе применение — правила вида «что допустимо и почему нельзя». Они есть в каждой компании, но обычно нигде не записаны:

«этот отдел не может подчиняться тому»;
«у руководителя не больше восьми прямых подчинённых»;
«эти две должности нельзя совмещать»;
«эти двое не могут быть на объекте одновременно»;
«на смене нужен хотя бы один сотрудник с допуском»;
«платёж поставщику — только при подписанном акте».

Записанные в LOGUS, такие правила проверяются автоматически. Оргструктура в TEAMUS уже сейчас проверяется им на кольца подчинения: кадровик видит строку «в структуре кольцо» и путь, как его разорвать, а не холст со схемой.

LOGUS внутри других сервисов

LOGUS — общий движок для всей платформы, а не отдельная программа, в которую надо заходить.

TEAMUS проверяет оргструктуру на кольца и нарушения правил расстановки.
TASKUS запускает логику прямо на холсте задач: схему процесса можно нарисовать рядом с задачами и прогнать.
OPTIMUS использует LOGUS в конфигураторе изделий: какие варианты комплектации допустимы и почему эта комбинация невозможна. Подробнее — в статье «Как мы создали OPTIMUS».
ИИ-агенты спрашивают LOGUS вместо того, чтобы рассуждать в уме. Агент поддержки, которого клиент спросил «могу ли я вернуть товар через 20 дней», не угадывает, а прогоняет правило возврата.
Заметки и Assistentus: схема может жить прямо в заметке, а помощник умеет её запустить.

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

С чего начать

Не нужно переводить в LOGUS все правила компании сразу. Начните с тех, где ошибка стоит дороже всего:

Выпишите три правила, которые нельзя нарушать. Обычно это деньги, отгрузка и доступы.
Опишите их словами. Так, как объяснили бы новому сотруднику.
Отдайте LOGUS. Он построит схему, проверит границы и скажет, доказано ли правило или есть контрпример.
Подключите к агентам. Пусть ИИ-сотрудники отвечают по этим правилам, а не по догадке.

Записать первые правила помогает агент при внедрении PRANUS: он спрашивает, как у вас принято, и превращает ответы в проверяемые правила.

ИИ может ошибаться в стиле письма, в выборе слов, в форме ответа. Но там, где речь о правилах вашего бизнеса, ошибаться он не должен. Хотите посмотреть, как LOGUS проверит одно из ваших правил? Запишитесь на демонстрацию — возьмём правило, которое вы назовёте, и попробуем найти в нём контрпример.