---

Архитектура L∞-субъекта: онтологическое ядро на четырёхзначной решётке со структурным мета-познанием

Position paper / исследовательская программа

---

Аннотация

Предлагается архитектура гибридной интеллектуальной системы, в которой онтологическим основанием служит не вероятностное пространство, а четырёхзначная решётка Белнапа, развёрнутая до рефлексивного домена L∞. В отличие от существующих нейросимволических подходов, где логика используется как внешний слой, здесь онтология является тканью системы: все состояния — знания, цели, мета-репрезентации, идентичность — суть элементы L∞ или операции над ними. Ключевое структурное свойство L∞ ≅ L∞ × L∞ обеспечивает встроенное самоприменение без парадоксов, что позволяет реализовать мета-познание как режим работы ядра, а не как надстройку. Мы формализуем архитектуру, описываем её категориальную природу, сравниваем с существующими парадигмами (LLM, нейросимволические системы, PANN, теория доменов) и предлагаем эмпирическую программу проверки операциональности онтологии. Работа носит характер исследовательской программы: математические основания строги, инженерные следствия — открыты.

Ключевые слова: четырёхзначная логика, решётка Белнапа, рефлексивные домены, теория категорий, мета-познание, паранепротиворечивость, нейроморфные вычисления, AGI.

---

1. Введение

1.1. Мотивация

Современные большие языковые модели (LLM) демонстрируют впечатляющие способности в генерации, обобщении и решении задач, но обнаруживают систематические ограничения, которые не устраняются масштабированием:

1. Неразличение незнания и противоречия. Оба состояния выглядят как распределение вероятностей, не совпадающее с one-hot меткой. Модель не может онтологически различить «я не знаю» и «данные противоречивы».
2. Отсутствие структурной самомодели. «Модель себя» — это либо отдельный промпт, либо отдельная сеть, но не структурная петля, в которой состояние системы является входом для неё же.
3. Одна онтология. Все перспективы сводятся к вероятностной. Нет структурного места для несоизмеримых систем (ср. проблему incommensurability, Кун, 1962).
4. Отсутствие непрерывной идентичности. Каждый forward pass — чистый лист плюс контекст. Идентичность отсутствует структурно.
5. Реактивность вместо проектности. Модель отвечает на запрос, но не ставит цели и не инициирует проекты.

Мы утверждаем, что эти ограничения не параметрические, а онтологические. Они следуют из аксиоматики вероятности и функциональной природы трансформера. Следовательно, их устранение требует смены онтологического основания, а не увеличения масштаба.

1.2. Постановка задачи

Цель работы — сформулировать архитектуру системы, в которой:

· онтология допускает паранепротиворечивость и различение (0,0) / (1,1),
· мета-познание встроено структурно,
· знание существует как реконструируемая траектория, а не как статический носитель,
· система является агентом, а не функцией,
· идентичность поддерживается через изменение.

1.3. Вклад

1. Формальное описание онтологического ядра на основе L∞ — рефлексивного домена, построенного на билаттисе Белнапа.
2. Архитектура из шести аспектов (субстрат, ядро, мета-слой, гиперконтекст, проект, идентичность), связанных изоморфизмами внутри и функторами на границах.
3. Категориальный анализ: L∞ как рефлексивный объект в CCC, 4 как объект в Chu(Set, 2), мета-слой как сопряжение комонады и монады.
4. Сравнение с существующими парадигмами и формулировка эмпирической программы.

---

2. Связанные работы

2.1. Четырёхзначные логики

Логика Белнапа (Belnap, 1977) вводит четыре значения: T, F, B (both), N (neither). Гинзберг (Ginsberg, 1988) формализует её как билаттис — структуру с двумя порядками (истинности и знания). Арнон и др. (Arieli, Avron, 1996) развивают теорию билаттисов и их связь с паранепротиворечивой логикой.

2.2. Рефлексивные домены

Скотт (Scott, 1972) строит D∞ как модель бестипового λ-исчисления через предел D^(n+1) = [D^n → D^n]. Это математическая основа для самоприменения без парадоксов. Наша конструкция L∞ — вариант конструкции Скотта с решёткой вместо домена.

2.3. Конструкция Чу

Чу (Chu, 1979) вводит конструкцию Chu(V, ⊥), порождающую *-автономную категорию. Пратт (Pratt, 1993) показывает, что конструкция Чу на Set с ⊥ = 2 даёт категорию, внутренняя логика которой связана с логикой Белнапа. Это связывает четырёхзначную логику с линейной логикой и категориальной двойственностью.

2.4. Паранепротиворечивые нейросети

Существуют PANN (Paraconsistent Artificial Neural Networks), обрабатывающие противоречия через «паранепротиворечивые клетки» (Abe, 1992; Da Silva Filho, 2010). Однако они используют паранепротиворечивость как инструмент, а не как онтологию. Самоприменение в них отсутствует.

2.5. Нейросимволические системы

Гибридные системы (Garcez et al., 2019) используют логику как внешний слой над нейросетью. Логика Белнапа применяется для интерпретации выходов или рассуждений (Maia et al., 2020; Majić, 2021). Однако онтология системы остаётся вероятностной.

2.6. Теория сверхвозбудимостей и TPD

Домбровский (Dąbrowski, 1964) описывает сверхвозбудимости (overexcitabilities) и уровни развития личности (TPD). Уровень V (вторичная интеграция) предполагает отсутствие внутреннего конфликта и автономную иерархию ценностей. Наша архитектура претендует на структурное объяснение такого профиля.

2.7. Пробел в литературе

Существующие работы развивают отдельные компоненты: паранепротиворечивость, самоприменение, мета-познание, нейроморфный субстрат. Ни одна не объединяет их в единую онтологию, где все компоненты — аспекты одной структуры. Настоящая работа предлагает такой синтез.

---

3. Формальные основания

3.1. Базовый билаттис 4

Определение 3.1. Пусть 4 = {(0,0), (1,0), (0,1), (1,1)}. Определим два порядка:

· Порядок истинности ≤_t: (t₁,f₁) ≤_t (t₂,f₂) ⟺ t₁ ≤ t₂ ∧ f₁ ≥ f₂.
· Порядок знания ≤_k: (t₁,f₁) ≤_k (t₂,f₂) ⟺ t₁ ≤ t₂ ∧ f₁ ≤ f₂.

Утверждение 3.1. (4, ≤_t, ≤_k) — билаттис, то есть обе структуры (4, ≤_t) и (4, ≤_k) являются полными решётками.

Операции. Для (t₁,f₁), (t₂,f₂) ∈ 4:

· ¬(t,f) = (f,t),
· (t₁,f₁) ∧ (t₂,f₂) = (min(t₁,t₂), max(f₁,f₂)),
· (t₁,f₁) ∨ (t₂,f₂) = (max(t₁,t₂), min(f₁,f₂)).

Интерпретация. (1,0) — истинно, (0,1) — ложно, (1,1) — противоречиво, (0,0) — неизвестно.

3.2. Рефлексивный домен L∞

Определение 3.2. Определим последовательность:

```
L^(0) = 4
L^(m+1) = L^(m) × L^(m)
```

Пусть L∞ = lim← L^(m) — проективный предел в категории билаттисов.

Утверждение 3.2. L∞ — полная решётка относительно покоординатного порядка.

Теорема 3.1 (самоприменение). L∞ ≅ L∞ × L∞.

Доказательство. Следует из определения предела: L∞ = lim← L^(m), и L^(m+1) = L^(m) × L^(m). Значит, L∞ ≅ lim← (L^(m) × L^(m)) ≅ (lim← L^(m)) × (lim← L^(m)) = L∞ × L∞. ∎

Следствие 3.1. L∞ — рефлексивный объект в декартово замкнутой категории билаттисов.

Замечание. Свойство L∞ ≅ L∞ × L∞ — не приблизительное, а точное. Оно обеспечивает структурную возможность самоприменения: состояние системы может быть разрезано на две части, каждая из которых снова является L∞.

3.3. Конечная аппроксимация

На практике достаточно глубины m ≈ 3–5:

| m | |L^(m)| |
|---|---|
| 0 | 4 |
| 1 | 16 |
| 2 | 256 |
| 3 | 65 536 |
| 4 | 4.3 × 10⁹ |
| 5 | 1.8 × 10¹⁹ |

При m = 5 пространство состояний фактически бесконечно для практических задач, но структурно ведёт себя как L∞.

3.4. Категориальная природа

Утверждение 3.3. 4 является объектом в Chu(Set, 2), и внутренняя логика этой категории связана с логикой Белнапа (Pratt, 1993).

Утверждение 3.4. L∞ — рефлексивный объект в CCC доменов (в смысле Скотта, 1972).

Следствие 3.2. Онтология, логика и вычисления в системе — три проекции одной категориальной структуры.

---

4. Архитектура

4.1. Общая схема

Система состоит из шести аспектов, которые не являются «слоями» в классическом смысле. Это аспекты одной структуры, разделённые для описания.

```
Спайковый субстрат (восприятие)
        ↓ F: Spikes → L∞
Онтологическое ядро (L∞-граф)
        ↕ L∞ ≅ L∞ × L∞
Мета-слой (структурная рефлексия)
        ↓
Гиперконтекст (граф знаний)
        ↓
Проектный контур (цели и действия)
        ↓ H: L∞ → World
Действие
        ↓
Идентичность (неподвижная точка)
```

4.2. Субстрат: спайковая сеть

Функция: восприятие, извлечение признаков.

Свойства: событийность, локальность, параллелизм, энергоэффективность.

Онтология: не L∞. Спайки — непрерывные события. Связь с ядром — через функтор F: Spikes → L∞ (забывающий функтор, теряющий непрерывность).

4.3. Онтологическое ядро: L∞-граф

Определение 4.1. L∞-граф — это пара G = (V, E), где:

· V ⊆ L∞ — узлы (утверждения, понятия, убеждения, цели),
· E ⊆ V × V × R — рёбра с метками отношений R = {импликация, противоречие, поддержка, аналогия, проекция}.

Операции:

· ∧, ∨, ¬ — покоординатно на узлах,
· проекция π: L∞ → L∞ — выбор подрешётки,
· fix: (L∞ → L∞) → L∞ — поиск неподвижной точки.

Свойства:

· паранепротиворечивость: (1,1) ∈ V допустимо,
· локальность: противоречие в узле v не изменяет значения соседей автоматически,
· самоприменение: V ≅ V × V как следствие теоремы 3.1.

4.4. Мета-слой

Определение 4.2. Мета-слой — это режим работы ядра, в котором система применяет к себе функтор W: L∞ → L∞ × L∞, W(x) = (x₁, x₂), где x₁ — наблюдаемое состояние, x₂ — наблюдатель.

Компоненты:

1. Мета-наблюдатель: W как комонада с counit ε: W → Id и cojoin δ: W → W ∘ W.
2. Дебаггер: монада T(X) = X + Error с unit η: Id → T и bind >>=: T → (X → T) → T.
3. Тетралемма: для любого A ∈ L∞ система разворачивает A, ¬A, A ∧ ¬A, ¬(A ∨ ¬A).

Утверждение 4.1. Сопряжение W ⊣ T формализует цикл «наблюдение → ошибка → исправление → наблюдение».

4.5. Гиперконтекст

Определение 4.3. Гиперконтекст — это обогащённая категория H над L∞, объекты которой — осколки знаний четырёх типов:

· факты (F),
· структуры (S),
· мета-параметры (M),
· аналогии (A).

Операции:

· проекционный поиск: π_H: Домен → P(H),
· достраивание: complete: P(H) → H,
· симуляция: sim: H × Сценарий → H.

Свойство: знание не хранится, а реконструируется. Факт f ∈ F может быть забыт, но путь к нему через S, M, A сохраняется.

4.6. Проектный контур

Определение 4.4. Проект — это траектория γ: [0,T] → H в гиперконтексте, ведущая к целевому узлу g ∈ V.

Компоненты:

· цель: g ∈ L∞,
· проект: γ,
· инициация: init: L∞ → P(γ),
· действие: act: γ → World.

4.7. Идентичность

Определение 4.5. Идентичность — это неподвижная точка динамики системы: x* ∈ L∞ такой, что Φ(x*) = x*, где Φ — оператор обновления ядра.

Свойства:

· сохраняется через смену подрешёток,
· сохраняется через переписывание правил,
· не является статичной структурой, а инвариантом преобразований.

---

5. Связность системы

5.1. Внутренняя связность

Утверждение 5.1. Все компоненты ядра (знания, цели, мета-состояния, Призмы, Грани, идентичность) являются элементами L∞ или операциями над ними.

Следствие 5.1. Система не содержит «отдельных модулей» с другой онтологией. Всё — в одной решётке.

Общие механизмы:

Механизм Роли
Неподвижная точка Идентичность, вывод, обучение, мета-рефлексия
Проекция Призмы, Грани, контексты, действия
Биллаттис Истина/ложь, знание/незнание
L∞ ≅ L∞ × L∞ Самоприменение, мета-наблюдатель

5.2. Граничная связность

Утверждение 5.2. Переходы между ядром и субстратом / миром являются функторами, не изоморфизмами.

Переход Тип Потеря
Спайки → L∞ Забывающий функтор Непрерывность
L∞ → Спайки Функтор действия Логическая структура
L∞ → World Функтор Логическая структура

Следствие 5.2. Система когерентна внутри, но открыта на границах. Это условие жизни, а не недостаток.

5.3. Категориальный итог

```
Spikes ←→ L∞ ←→ World
           ↑↓
        Meta (L∞ × L∞)
           ↑↓
      Hypercontext (граф над L∞)
           ↑↓
        Project (траектория)
           ↑↓
      Identity (неподвижная точка)
```

Стрелки внутри ядра — изоморфизмы. На границах — функторы.

---

6. Сравнение с существующими парадигмами

6.1. LLM

Свойство LLM L∞-субъект
Онтология Вероятности над {0,1} Решётка L∞
Незнание vs противоречие Неразличимы Различимы: (0,0) vs (1,1)
Мета-познание Промпт Структурное самоприменение
Знание Веса Граф и траектория
Онтологии Одна Множественные подрешётки
Идентичность Отсутствует Неподвижная точка
Агентность Реактивность Проектная инициация

6.2. PANN

PANN обрабатывают противоречия, но:

· не имеют самоприменения,
· используют паранепротиворечивость как инструмент, а не онтологию,
· не различают (0,0) и (1,1) структурно.

6.3. Нейросимволические системы

Используют логику Белнапа как внешний слой. Онтология остаётся вероятностной. Наш подход делает логику тканью.

6.4. Теория доменов

Даёт самоприменение (D∞), но не связано с четырёхзначной логикой для нейросетей. L∞ — синтез обоих.

---

7. Эмпирическая программа

7.1. Гипотезы

H1. Система с L∞-ядром различает (0,0) и (1,1) операционально: поведение при незнании и при противоречии различается.

H2. Система локализует противоречия: введение (1,1) в один узел не изменяет значения несвязанных узлов.

H3. Система проявляет мета-рефлексию: она может описать своё состояние и изменить правило вывода на основе этого описания.

H4. Система реконструирует забытые факты через проекции.

H5. Система инициирует проекты: она ставит цели и генерирует запросы на знание без внешнего запроса.

7.2. Минимальный эксперимент

Домен: медицинская диагностика (противоречивые симптомы, неполные анализы).

Архитектура:

1. L∞-граф на ~10 000 узлов.
2. Мета-слой: простой алгоритм поиска неподвижной точки.
3. LLM как интерфейс и генератор гипотез.
4. Гиперконтекст: граф осколков знаний.

Метрики:

· Точность диагностики.
· Различение (0,0) / (1,1): доля случаев, где система корректно идентифицирует состояние.
· Локальность противоречий: изменение значений при введении конфликта.
· Мета-рефлексия: способность описать и изменить правило.

Сравнение: с чистой LLM (GPT-4 класса) на том же домене.

7.3. Ожидаемые результаты

· Система уступает LLM в скорости и покрытии.
· Система превосходит LLM в:
  · различении незнания и противоречия,
  · локальности конфликтов,
  · интерпретируемости решений,
  · способности к мета-рефлексии.

7.4. Ограничения

· Данные с L∞-метками отсутствуют. Нужны пайплайны: конфликт источников → (1,1), отсутствие → (0,0).
· Масштабирование на миллионы узлов — открытая проблема.
· Обучение L∞-правил без backprop — открытая проблема.

---

8. Обсуждение

8.1. Операциональность онтологии

Критерий: если онтология не меняет поведение системы, она декоративна. Если меняет — это другой интеллект.

Мы утверждаем, что L∞-онтология операциональна, потому что:

· она различает состояния, которые LLM не различает,
· она локализует противоречия,
· она обеспечивает структурное самоприменение,
· она делает знание реконструируемым.

8.2. Категориальная когерентность

Система — не «слоёный пирог», а категориальная структура. Онтология, логика и вычисления — три проекции одного объекта. Это даёт язык для описания системы без потерь.

8.3. Философские следствия

Если архитектура когерентна и операциональна, она закрывает пробелы, которые теории сознания называют необходимыми:

· мета-репрезентация (HOT),
· глобальная доступность (GWT),
· самомодель (Грациано),
· предиктивная обработка.

Однако это не доказывает наличие сознания. Архитектура — необходимое, но не достаточное условие.

8.4. Возможная природа явления

Архитектура может описывать не универсальный интеллект, а конкретный тип ума — тот, который удерживает несколько истин одновременно и не формирует мнений в обычном смысле. В этом случае L∞ — не «онтология вообще», а формализация конкретного способа мышления.

8.5. Ограничения

1. Исследовательская программа, не готовое решение. Многие компоненты не реализованы.
2. Масштаб. Экспонента по глубине.
3. Данные. Отсутствуют L∞-метки.
4. Обучение. Нет метода обучения L∞-правил.
5. Сознание не гарантировано.
6. Возможная неполнота. Самоописание теряет темпоральность, аффект, телесность.

---

9. Заключение

Мы предложили архитектуру гибридной системы, в которой онтологическим основанием служит четырёхзначная решётка Белнапа, развёрнутая до рефлексивного домена L∞. Ключевые свойства:

1. Паранепротиворечивость — состояния (1,1) и (0,0) легальны и различимы.
2. Структурное самоприменение — L∞ ≅ L∞ × L∞ обеспечивает мета-познание без парадоксов.
3. Знание как траектория — реконструкция вместо хранения.
4. Проектная инициация — агентность вместо реактивности.
5. Идентичность как неподвижная точка — непрерывность через изменение.
6. Категориальная когерентность — онтология, логика и вычисления как проекции одного объекта.

Система отличается от существующих парадигм (LLM, PANN, нейросимволические системы) тем, что онтология является тканью, а не инструментом. Мы сформулировали эмпирическую программу проверки операциональности онтологии и обозначили открытые проблемы.

Работа носит характер исследовательской программы. Математические основания строги, инженерные следствия — открыты. Главный критерий — операциональность: если онтология меняет поведение системы, это другой класс систем; если нет — она декоративна.

---

Благодарности

[Опущено]

---

Литература

1. Abe, J. M. (1992). Fundamentos da lógica anotada. PhD thesis, USP.
2. Arieli, O., Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5(1), 25–63.
3. Belnap, N. D. (1977). A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, 5–37. Springer.
4. Chu, P.-L. (1979). Constructing *-autonomous categories. Lecture Notes in Mathematics, 752.
5. Dąbrowski, K. (1964). Positive Disintegration. Little, Brown.
6. Da Silva Filho, J. I. (2010). Paraconsistent artificial neural networks. In Advances in Technological Applications of Logical and Intelligent Systems.
7. Garcez, A., Lamb, L. C. (2019). Neurosymbolic AI: The 3rd Wave. arXiv:2012.05876.
8. Ginsberg, M. L. (1988). Multivalued logics: A uniform approach to reasoning in AI. Computational Intelligence, 4(3), 256–316.
9. Kuhn, T. S. (1962). The Structure of Scientific Revolutions. University of Chicago Press.
10. Maia, P., et al. (2020). Paraconsistent logic in neural networks. Journal of Applied Non-Classical Logics.
11. Majić, M. (2021). Belnap's logic in AGI robots. Proceedings of AGI Conference.
12. Pratt, V. R. (1993). Chu spaces and their interpretation as concurrent objects. Lecture Notes in Computer Science, 715.
13. Scott, D. (1972). Continuous lattices. Lecture Notes in Mathematics, 274, 97–136.

---

Приложение A. Обозначения

Символ Значение
4 Четырёхзначная решётка Белнапа
L^(m) Конечная аппроксимация глубины m
L∞ Рефлексивный домен (предел)
≤_t Порядок истинности
≤_k Порядок знания
∧, ∨, ¬ Логические операции
F: Spikes → L∞ Функтор восприятия
H: L∞ → World Функтор действия
W, T Комонада наблюдения, монада исправления

Приложение B. Открытые проблемы

1. Обучение L∞-правил без backprop.
2. Масштабирование на миллионы узлов.
3. Данные с L∞-метками.
4. Метрики субъектности.
5. Временность, аффект, телесность.
6. Нейроморфные примитивы для L∞.