VDOM (Visual Dynamic Object Model) е първата технология, целяща абстрахиране на уеб приложенията.
поражда
— Платформа —
VAILS
Първият ИИ сървър
Нервно-символен сървър: REPL, API, оркестратор на LLM, Prolog двигател, CP-SAT решател — всичко под един покрив.
говори
— Език —
VVL
Розетският камък
Хомоиконен Lisp-синтаксис. 879 вградени функции. 20 семантични оператора. Език, в който нервното и символното съжителстват като първокласни граждани.
879
документирани вградени
34
глави + приложение
8
части на книгата
10
цикъла на обучение
~95%
пълна Н-С точност
— Huit solutions, prêtes à l'emploi —
Des applications concrètes, en un clic
Huit démonstrations interactives, une par produit VAILS Agents. Cliquez une carte pour l'ouvrir dans le catalogue.
— Един сървър, целият невро-символизъм —
За намерение — точният двигател
VVL не е само планировчик: една граматика насочва намерение на естествен език към правилната парадигма — семантика, логика, оптимизация, онтология, обучение — и връща изпълнен, инспектируем резултат.
Семантика
neuro
[§ "chat"] == [§ "félin"]
→ 1 · синоними разпознати, без промпт
Доказано смятане
§§
[§§ "12 % de 240 ?"]
→ 36 · естествен език компилиран и изпълнен
Логика
prolog
[prologValues "fam" "ancestor(jean, X)" X]
→ [pierre marie luc] · дедуктивна рекурсия
Оптимизация
cp-sat
[optimize "au plus 2 objets, valeur max" "kp"]
→ OPTIMAL, цел 9 · доказано от OR-Tools
Извличане
neuro-sym
[ontology:fromText $O "Person" "Alice, 30 ans, Paris"]
Разбиране на естествения език чрез LLM, извличане на намерение, реификация на понятия и черпене от индексирана RAG памет.
Символен
λόγος · формализацията
Ламбди, рекурсия, унифициран ОО с миксини/MRO, Prolog като първокласен гражданин, онтологии с приоритети, възможни светове.
Алгебричен
τέχνη · строгостта
Алгебра на 8-те оператора на Залта, размита логика с T-норми, глобални ограничения, компилирани към CP-SAT и OR-Tools.
Проверим
ἀλήθεια · доказателството
Одитирани, повторно изпълними резултати, подобряеми без ново обаждане на LLM. Проследени хипотези, диагностика why-infeasible, минимална делта.
— Съдържание на книгата —
Девет части, четиридесет глави
Пътешествие от теоретичните основи до производствените конвейери и към езика в дълбочина: медицинска диагностика, оценка на строителство, измами в транзакции, агенти, оптимизация, метапрограмиране.
