— книга —

Нервно-символно програмиране на език 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 / [§ "..."]]], AI визия чрез 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 в lazy режим (ТЕРАСА, РЕМОНТ, COOLROOF). Първоначално обучение върху 54 исторически PDF, генериране при поискване с две LLM повиквания, остойностена оферта «25 m² → 18 000 € без ДДС / 19 800 € с ДДС». Наблюдавано разпределение 38/10/6 (100% точност), четири нива на разбиране Zalta.

54 PDF3 archétypes100% précision
21Chapitre

Откриване на транзакционни измами

Реално време, <100ms, PSD2

Ограничения в реално време (закъснение <100ms, хиляди транзакции/секунда, съответствие 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), отклонение на търсенето, θ-субсумпция, greedy set-cover, ilp:learn. LLM bootstrap (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, екосистема

Горните слоеве на сървъра

AI команди и семантични оператори, 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, вграденият език

Модернизиран, sandbox, подписваем 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 вградени функции →
❦ ❦ ❦