— книга —

Нейро-символическое программирование на языке VVL

Принципы
Язык
Алгебра
Планирование
и Применения
VAILS · VVL 7.4.88
VVL
VAILS
— техническая книга —

Нейро-символическое программирование на VVL

От естественного языка к проверенному плану.
9
частей
40
глав
+1
приложение
800
встроенных
~95%
точность Н-С

Эта книга представляет VVL — формальный исполняемый язык, созданный, чтобы связать понимание естественного языка с мощью планировщиков и решателей. Она излагает полный нейро-символический подход — от свободного текста до проверенного плана, проходя через логику Фреге, онтологию Эдварда Залта, мост Prolog, нативный RAG и компиляцию в CP-SAT.

Скачать PDF (49 МБ) Начать чтение Приложение встроенных
Части: I · Основы II · Язык III · LLM IV · Символика V · Нейроны VI · Конвейеры VII · Продвинутое VIII · Глубина Приложение
I.

История и основы

3 главы (1–3) · 32 страницы · от символьного ИИ к нейро-символическому
1Chapitre

История парадигм ИИ

Обоснованная хронология — символический, коннекционизм, статистический, глубокое обучение

Прослеживает великие эпохи искусственного интеллекта: символический возраст (1960–80, MYCIN, Prolog), коннекционистская эра (1980–2000), статистическое царствование (2000–2015), затем восхождение глубокого обучения и LLM (с 2015 по сегодня). Выделяет сильные и слабые стороны каждой парадигмы и возникновение нейро-символической потребности как необходимого синтеза.

MYCINPrologConnexionnismeLLM
2Chapitre

Теоретические основы нейро-символического

Фреге, Залта и паттерн осцилляции

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

FregeZaltaOscillationPremière classe
3Chapitre

VAILS и VVL: язык, созданный для нейро-символического

Экосистема, Lisp-подобный синтаксис, гомоиконность

Вводит экосистему: цель языка, где нейронное и символическое сосуществуют первым классом, выбор Lisp-подобного синтаксиса (гомоиконность как замковый камень), прямое сравнение с Python+LangChain — почему ~99% синтаксически валидного для LLM против 80–90% для Python.

LispHomoiconicitévs LangChain
II.

Язык VVL

3 главы (4–6) · 32 страницы · синтаксис, функциональность, единое ООП
4Chapitre

Фундаментальный синтаксис и типы

Грамматика на нескольких страницах

Префиксная форма [op args], инфиксные операторы, квазицитирование/обратное цитирование, интерполяция ${...}, примитивные типы, точечные доступы, соглашения присваивания $var = expr. Весь VVL умещается в компактную, но выразительную грамматику.

PréfixeQuasiquoteInterpolationAccesseurs pointés
5Chapitre

Функциональное программирование

Лямбды, высший порядок, параллелизм, ленивость

Лямбды, map / filter / reduce, for, pmap для параллелизма, ленивое вычисление, операторы терпимости ~>, превращающие любое исключение в инспектируемое запасное значение.

Lambdaspmap~>Lazy
6Chapitre

Объектно-ориентированное программирование

Классы, миксины с MRO, протоколы

Унифицированная ОО-система вокруг VVL_Instance: классы, наследование, миксины (с порядком разрешения методов), протоколы (интерфейсы), динамические методы. Закладывает основу для глав об онтологиях и овеществлённых понятиях в следующих частях.

VVL_InstanceMixinsMROProtocoles
III.

LLM как сопроцессор

4 главы (7–10) · 47 страниц · 20 семантических операторов, генерация, реификация
7Chapitre

Семантические операторы (двадцать)

Нейронная алгебра первым классом

Полное представление двадцати нейро-символических операторов: /, %, ?, ~~, *, +, == и их родственники. Прозрачный семантический кэш, принцип мемоизации, нечувствительной к порядку: машина учится распознавать эквивалентные запросы.

20 opérateursCache sémantiqueMémoïsation
8Chapitre

Генерация кода LLM: оператор @

Первый уровень программируемой автономии

Точечная генерация лямбды из примера плюс описание, многократное локальное выполнение без нового вызова LLM. Стоимость ИИ платится один раз; выполнение далее следует строгости скомпилированного бинарника.

@LambdaLocal
9Chapitre

Овеществление понятий [@ "..."]

От имени к управляемому понятию

Преобразование имени понятия в управляемый объект VVL_ConceptEntity. Свойства открываются лениво (lazy loading), трёхуровневый кэш (память / объект / диск), режимы lazy против bootstrap для предварительного прогрева или поэтапного открытия.

VVL_ConceptEntityLazyCache 3 niveaux
10Chapitre

Операто𠧧: компиляция НЯ + [generic]

От французского/русского к исполняемому VVL

Разрешение НЯ→VVL→выполнение, запоминание в постоянном каталоге ключевых слов, валидация тестами. Команда, выраженная на естественном языке, становится переиспользуемой, индексированной, протестированной функцией.

§§NL→VVLCatalogue
IV.

Символический мост

3 главы (11–13) · 30 страниц · Prolog, онтологии, операторы Zalta
11Chapitre

База знаний Prolog

Prolog — гражданин первого класса

Треугольник VVL: LLM ↔ ОО ↔ Prolog. Факты, правила, запросы, шесть режимов запросов, мост obj-assert, проецирующий любой экземпляр VVL в факты Prolog. Логический движок говорит напрямую с объектами и LLM.

Triangle VVLobj-assert6 modes
12Chapitre

Онтологическая система

Схемы, правила, возможные миры

ontology:define с аннотациями (required, default, min, max, type, enum), fromText и fromImage для автоматического извлечения, ontology:rule с приоритетами, infer против infer-fixpoint (каскад до неподвижной точки), эфемерные миры ontology:in-world с форком и авто-восстановлением.

ontology:defineinfer-fixpointMondesPriorités
13Chapitre

Алгебра операторов Залта

Восемь операторов в четырёх парах

Четыре пары символический/гибридный (==/~~, */**, +/++, / / //), реализованные как миксин ZaltaOperators, диспетчеризация через MRO. ~~ с четырьмя уровнями сопоставления, целостный режим IS-A с одним вызовом LLM на пару понятий.

8 opérateursZaltaOperatorsIS-A holistique
V.

Нейронный мост

4 главы (14–17) · 43 страницы · RAG, извлечение, Gherkin, индукция
14Chapitre

RAG и семантический поиск

Полный конвейер в три фазы

Индексация, поиск, генерация. Двадцать четыре встроенные функции RAG, четыре режима запроса: бесплатный ragSearchContext, ragAskSimple, гибридный ragAsk, ragExtractJson. Фасад genius для запросов к самой документации VVL.

24 builtins4 modesgenius
15Chapitre

Структурированное извлечение LLM

40 строк вместо 500

Три семантических оператора извлечения: / список, % объект, ? вопрос/ответ. Паттерн [JSON [STRING source / [§ "..."]]], ИИ-зрение через pdfToImages, различение свободного извлечения и типизированного ontology:fromText. Семиступенчатый e-commerce конвейер в сорока строках против пятисот на Python.

/ % ?pdfToImages40 lignes
16Chapitre

Gherkin и динамическая онтология

От написанной схемы к выведенной

Парадигмальная инверсия: больше не описывают схему, а позволяют её вывести. Формат Gherkin (Background + Scenarios), ontology:loadGherkin (транспиляция), ontology:context (вывод из образцов). Пятифазный нейро-символический конвейер, непрерывное самообучение.

GherkinSchéma déduit5 phases
17Chapitre

Индуктивное обучение правилам

Гипотеза против доказательства

Дедукция (Prolog, доказывает) против индукции (LLM, выдвигает гипотезу). Три оси качества набора данных: вариация, сложность, длина. Свободная индукция против целевой через target_feature, перекрёстная валидация 70/30, разрешение конфликтов с ручными правилами через приоритеты, паттерн непрерывной индукции.

Inductiontarget_feature70/30
VI.

Конвейеры на практике

4 главы (18–21) · 41 страница · осцилляция, медицина, строительство, мошенничество
18Chapitre

Формализованная нейро-символическая осцилляция

Четыре подлинных свойства, четыре канонических паттерна

Регулярное чередование, разделение объектов, прослеживаемость, взаимодополняемость. Элементарный цикл из четырёх фаз (Определить-Извлечь-Вывести-Синтезировать), четыре канонических паттерна. Метрики cost/latency/fidelity: монолитный LLM 70-85%, RAG 85-90%, полный нейро-символический ≥95%.

DEIS4 patterns≥95%
19Chapitre

Медицинская дифференциальная диагностика

Сто строк для пяти синдромов

Полная система в сто строк на основе руководства Zalta-медицинского. Сопоставление синдром=абстрактное / пациент=конкретное / диагноз=satisfies. Схема Пациента (16 категориальных атрибутов) + 5 архетипов (Грипп, COVID-19, Пневмония, Аллергия, Эмболия), матрица оценок 5×5, правила приоритета (ТревогаSpO2, РискВозраст, КритическийРиск), терапевтическое моделирование через возможные миры.

Zalta-médical5 archétypesMondes possibles
20Chapitre

Сквозная система строительной сметы

54 исторических PDF, точность 100%

Архитектура из четырёх файлов (config / learn / generate / batch_classify), три архетипа Zalta в ленивом режиме (ТЕРРАСА, РЕМОНТ, COOLROOF). Начальное обучение на 54 исторических PDF, генерация по запросу с двумя вызовами LLM, расчётная смета «25 м² → 18 000 € без НДС / 19 800 € с НДС». Наблюдаемое распределение 38/10/6 (точность 100%), четыре уровня понимания Zalta.

54 PDF3 archétypes100% précision
21Chapitre

Обнаружение транзакционного мошенничества

Реальное время, <100мс, PSD2

Ограничения реального времени (задержка <100мс, тысячи транзакций/секунду, соответствие PSD2). Онтология Transaction с извлечёнными и выведенными атрибутами. Каскад из трёх правил с защитой HIGH→MEDIUM, производительность через семантический кэш + параллелизм pmap (фактор 1000 последовательно→параллельно+кэш), устойчивость через circuit-breaker ~> с regex-фолбэком и изоляцией try/catch.

<100msDSP2×1000Circuit-breaker
VII.

Автономия и продвинутые системы

6 глав (22–27) · 84 страницы · агенты, атомы, нечёткий эксперт, ограничения, генетика, ILP
22Chapitre

Автономные агенты: [agent] и [architect]

Три уровня программируемой автономии

@ = лямбда. [agent] = цикл ReAct. [architect] = многоагентная оркестрация. Подробный цикл Reason-Act-Observe-Feedback, четыре паттерна композиции агент + VVL. Кейс анализа договора (architect оркеструет извлечение + параллельные оценки + синтез). Гомоиконность как замковый камень (~99% валидного синтаксиса против 80-90% Python).

[agent][architect]ReAct~99%
23Chapitre

Протокол атомов

Гейтинг, политики и аудит — единый слой интроспекции

Любой объект VVL становится «атомом» — классифицируемым, хешируемым, прослеживаемым и гейтируемым политикой: atom:trace, policy:check. Слой интроспекции, придающий вычислимое содержание нейро-символическому дискурсу и позволяющий гейтировать сгенерированные кандидаты. Экспериментальный статус (ветка experimental-grounded-protocol) — проверять в стабильном реестре в зависимости от версии сервера.

atom:tracepolicy:checkgatingexpérimental
24Chapitre

Экспертная система и нечёткая логика

T-нормы, hedges, one-shot bootstrap на ЕЯ

Четыре инфиксных нечётких оператора (~&, ~|, ~!, ≈>), три семейства T-норм (Заде по умолчанию идемпотентная, вероятностная для независимых свидетельств, Лукасевич для строгой логики). Лингвистические hedges (very x², extremely x⁴, somewhat √x, slightly x^(1/3)), агрегаторы (wmean, most, few). Команды [fuzzy:ontology] / [fuzzy:rule] / [expert] компилируют ЕЯ → онтология + правила + операционное ключевое слово. Сохранение через expert:save/load/list, кейс многорешенческой сортировки тикетов.

~& ~| ~!T-normesHedges[expert]
25Chapitre

Оптимизация по ограничениям

Компиляция VVL в CP-SAT — и операционное планирование

Слоистая архитектура: концептуальный VVL → компилятор → CP-SAT/OR-Tools. Четыре принципа: открытый бэкенд, семантическое разрешение во время компиляции, инспектируемые артефакты, послойный ЕЯ→VVL. Двенадцать форм тела (decision, assert, soft, maximize, intent, lexicographic, all-different, cumulative, circuit, instance, for, scale), три типа решений (Integer, Enum, Fuzzy), диагностика why-infeasible. Расширено DSL planning:* (задачи, ресурсы, горизонт, география geo:*), который десахаривается в optimize:* и овеществляет назначения.

CP-SATOR-Tools12 formesplanning:*why-infeasible
26Chapitre

Генетические алгоритмы

Оптимизация дискретных структур «чёрным ящиком» — популяция, фитнес, эволюция

Эволюция дискретных структур: genetic:population, genetic:evolve, genetic:best, genetic:lineage. Counter-store и человеческие исправления (genetic:add-counter, genetic:fit-with-counter), фронт genetic:pareto, трассируемые атомы и гейтинг по политике. Система становится самоулучшающейся.

genetic:evolvecounter-storePareto
27Chapitre

ILP: индуктивное логическое программирование

Индукция правил sound & complete (Learning From Failures)

Обучение многоклаузных логических программ из положительных/отрицательных примеров: Learning From Failures (LFF), смещение поиска, θ-субсумпция, жадное set-cover, ilp:learn. Bootstrap LLM (ilp:propose-bias, ilp:seed-hypotheses), контрпримеры и генетический мост (ilp:learn-with-counter, ilp:refine-with-ga). Третий режим обучения правилам, sound & complete, дополняющий LLM-индукцию (гл. 17) и генетику (гл. 26).

ilp:learnLFFθ-subsomptionsound & complete
VIII.

Язык в глубину

7 глав (28–34) · 133 страницы · инфраструктура, делающая VVL платформой
28Chapitre

Метапрограммирование, гомоиконность и хелперы REBOL

Код как данные

Рефлексивное ядро: quote, load, evaluate, execute, dump, type-of, inspectWord. Метапрограммный треугольник (отложенное хранение, затем подстановка-вычисление) и хелперы REBOL: collect/keep, attempt (ошибка-как-данные), object. Без этого слоя код, сгенерированный агентом, остался бы инертным.

quoteevaluatecollect/keepattempt
29Chapitre

Диалекты: декларативный разбор и встроенные DSL

Парсинг бизнес-DSL

dialect:parse: определение и вызов грамматик для парсинга бизнес-DSL. Диалект расширяет именованные данные языка (инспектируемые), дополняя match/load. Именно это делает прозрачной компиляцию ЕЯ → экспертная система.

dialect:parseDSLvalidation au parse
30Chapitre

Модули: пространства имён и переиспользуемые пакеты

Организация и экспорт нативного кода VVL

module:def, [export …], изолированная область видимости и квалифицированный доступ Module:команда. Триптих расширения: диалект расширяет данные, модуль — команды на нативном VVL, плагин — команды во внешнем подписанном коде.

module:defexportscope isolé
31Chapitre

Типизированные скалярные значения

Валидация при построении

EMAIL, URL, DATE, UUID, MONEY, DURATION, DATETIME: валидация при построении, mold/form, round-trip и нормализация. Разделение труда: типизированное значение vs онтологическое понятие vs диалект.

EMAIL · URL · DATEmold/formround-trip
32Chapitre

Встроенные тесты и формальная аудируемость

Фреймворк тестов без выброса исключений

test:assert, test:equals, test:suite, test:summary: наборы без выброса исключений для аудита индуцированных правил (гл. 17, 26, 27). Когда уместно классическое утверждение: продакшен-инварианты через error. Различать test:* / try / attempt / error.

test:suitenon-throwingaudit des règles
33Chapitre

Плагины, подписанные Ed25519

Цепочка доверия для внешнего кода

Поток доверия автор / администратор / рабочее пространство, хранилище ключей, двойная защита anti-TOCTOU. Криптографическая модель Ed25519: офлайн-подпись, канонический дайджест, корректная деградация. Бандл .vvlplugin (манифест, точка входа, подпись) и SDK.

Ed25519anti-TOCTOU.vvlplugin
34Chapitre

Синтез платформы

Три парадигмы написания правил, семь слоёв

Финальный обзор: три парадигмы написания правил (дедукция Prolog, индукция LLM/ILP, ограничения) и семь слоёв платформы. VVL переходит из статуса полного языка в статус композируемой, организуемой, аудируемой и расширяемой платформы.

3 paradigmes7 couchesplateforme
IX.

Расширения рантайма

6 глав (35–40) · 88 страниц · байесовское, символьные вычисления, доказательство, реляционное, ВМ, кластер
35Chapitre

Байесовская стохастическая аннотация

Четвёртый путь обучения — от скалярного веса к бета-убеждению

Клауза несёт уже не вес, а убеждение: бета-распределение со своей концентрацией. Глава разбирает пять источников априорных данных, генеративную модель, обучение сэмплированием Гиббса, точное отрицание и предсказание с распространением неопределённости — и помещает этот четвёртый парадигматический путь рядом с тремя другими.

Croyance BetaGibbsPriorsIncertitude
36Chapitre

Символьные вычисления как первоклассный гражданин

√2 остаётся √2 — тип VVL_Sym и точная арифметика

Пробел закрыт: больше никакого молчаливого округления. Тип VVL_Sym становится первоклассным гражданином — с синтаксическим сахаром, ленивым связыванием и прозрачной нативной арифметикой. Глава каталогизирует builtins (элементарные вычисления, линейная алгебра, ОДУ), описывает мост к приближению — уровень доверия «точно» — и безопасность AST-песочницы.

VVL_SymSymPyExactSandbox AST
37Chapitre

Нативное формальное доказательство

Критерий де Брёйна: найти — не значит проверить

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

de BruijnNoyau LCFContratsProvenance
38Chapitre

Встроенный miniKanren

Реляционная логика как гражданин языка

Цели инертны, решает резолвер. Унификация, полнота за счёт чередования, рекурсивные и обратимые отношения, фиксированный выбор — cut без нечистоты. Затем хранилище ограничений (неравенство, порядок, типы, домены), CLP через SymPy, мосты к Prolog-базе, к ООП и к CSV, вероятностная версия в духе ProbLog и реляционный eval: синтез программ и квайны.

UnificationRéversibleContraintesProbLog
39Chapitre

ВМ на Rust: вычисления становятся нативными

Один язык, явный оператор, измеренное покрытие

Диагностика покрытия, затем кампания за паритет и её каталог расхождений — включая два бага хоста, вскрытых нативным SLD-движком Prolog. Точная арифметика (bignum, повышение, понижение), нативная метапрограммируемость, нативные объекты и CSV, компилируемые рекурсивные функции. Глава принимает границу хоста и объясняет двойное версионирование.

CouvertureParitéBignumSLD natif
40Chapitre

Кластер вычислений

Распределять VVL, не отказываясь от детерминизма

Сначала экономический фильтр: измерить, прежде чем строить. Затем архитектура master/worker с кодом, адресуемым по содержимому, распространяемая поверхность функции, отправка шардами с параллелизмом и редьюсерами. Четырнадцать builtins, четыре capability, развёртывание с TLS и ротация секретов, эксплуатация (метрики, аудит, drain, резервные копии) — и ожидаемые отказы.

Master/workerSHA-256ShardsDéterminisme
A.

Приложение: справочник встроенных

879 встроенных по семействам · VScript · подписанные плагины
A.1Часть 1

Соглашения, операторы и ядро

Фундамент языка

Соглашения языка (присваивание $var = expr, булевы 1/0, quasiquote/unquote, интерполяция, точечные аксессоры), операторы (арифметические, сравнения, логические, нечёткие), управление потоком RAW, высший порядок (map, pmap, filter, reduce, for), списки, строки, конверсия/математика, JSON/XML (литералы <{}> <[]> <<>>), файловая система с jail-защитой, ОО (class/mixin/protocol), fibers, конкурентность (promise, channel, semaphore, mutex), администрирование, логи, персистентность объектов (SQLite + Prolog).

Filesystem jailConcurrenceobj-* + PrologRAW builtins
A.2Часть 2

Нечёткая логика, ИИ, RAG, Prolog, экосистема

Высшие слои сервера

Команды ИИ и семантические операторы, RAG, Prolog, онтологическая система (ontology:*, 37), овеществление понятий, разрешение ЕЯ→VVL и каталог генериков (generic:*, 11), вычислимая аппроксимация (approximation:*, 10), нечёткая и экспертная логика (fuzzy:*, 14), оптимизация (optimize:*) и планирование (planning:*, 27), гео (geo:*/route:*), генетика (genetic:*, 10), ILP (ilp:*, 10), атомы и политики, диалекты и модули, тесты (test:*), CSV/BATCH, базы SQL, и коннекторы (Office 29, PDF 11, изображение 10, http/web, Selenium, email, Google, MCP, гипервизор, плагины 23, клиенты ProSuite/Tekitisy/VDOM).

37 ontology27 planningilp · genetic29 office23 plugins
A.3Приложение B

Система подписанных плагинов

Архитектура файлов и цепочка доверия

SDK и цепочка доверия: vvl_plugin_sdk.py, vvl-plugin-sign.py, vvl_config.py, интеграция движка; бандл .vvlplugin (манифест, точка входа, подпись Ed25519). Секреты и профили коннекторов (plugin-secret-*, plugin-login, plugin-audit), доверие к ключам (plugin-trust-add, уровни standard/high).

.vvlpluginEd25519plugin-trustsecrets
A.4Приложение C

VScript, встроенный язык

Модернизированный, песочный, подписываемый VBScript

Встроенный язык, производный от VBScript и модернизированный (дополнения Tier 1 в VAILS 5.18, Tier 3 в 5.19, все аддитивные). Синтаксис, операторы и приоритет, управление потоком, процедуры, ОО; модернизации: литералы […]/{…}, интерполированные строки $"…", ?? (coalescing) и ?. (optional chaining), IIf, Return, условное короткое замыкание. Вызывается из VVL через [vscript "…"], библиотеки [use …], хост-объект ws (ws.vvl, ws.csv, ws.mem…), ОО-интероп через живые прокси.

[vscript "…"]?? · ?.ws hôteTier 1/3
Скачать PDF (49 МБ) Изучить 879 встроенных функций →
❦ ❦ ❦