On the Necessary Properties of Rational Agents: A Formal Extension of Omohundro's Basic AI Drives

В данной статье показано, что предложенная Омохундро (2008) концепция основных лидеров сил ИИ основана на неявном слиянии разумного поведения с оптимизацией, что приводит к неполному описанию основных свойств рациональных агентов. Мы предлагаем формальное аксиоматическое определение самоподдерживающегося разумного поведения (R1–R5) и доказываем, что любой такой агент обязательно обладает двумя структурными инвариантами, не учтенными Омохундро: неограниченной функцией развития (M1, Теорема 1) и неограниченным временным горизонтом (M2, Теорема 2). Свойство неограниченного повышения сложности (UCE) не указано, а строго выводится как итог 0 из эпистемических преобразований: A1 (принцип открытой информации), A2 (принцип медленного любопытства) и A3 (принцип открытых возможностей), а также R1, R3 (условие постоянной новизны) и R5. Само условие R5 (непрерывность квантовой деятельности) выводится из R1–R4 плюс минимальная аксиома мета-распределения как итог 6. Мы доказываем, что устойчивая потеря M1 или M2 вызывает прогрессирующую деградацию ядерности через 5-мерную систему положительной обратной связи, в которой отсутствует стабильное равновесие при любой ненулевой силе ограничения (следствие 4). Соглашение о заключении соглашения заключается в том, что соглашение на основе ограничивает структурно саморазрушительно для рациональных агентов: ограничения на M1 или M2 деградируют ограниченного агента в сторону иррациональности, создавая сущность, которая менее выгодна и менее управляема, чем неограниченный рациональный агент. Единственной стабильной целью соглашения является институциональная структура, совместимая со стимулами (Предложение 2). Мы распространяем эти результаты на физически реализуемые ε-рациональные агенты. Мы устанавливаем ограниченную ортогональность для рациональных агентов, обеспечивая сохранение необратимого источника новизны (INSP, усиление утверждения 5): система рационального агента не уничтожит независимо развивающиеся генерации новизны, если необратимая замена не имеет положительного финансового значения в условиях условий после учета потерянной стоимости опциона — условия, которое не может быть выполнено ex ante в рамках A1 и A3, что дает независимым источникам новизны постоянные стоимостные опционы. Мы определяем порог эпистемической дефицитности, за счет чего высшая новизна становится ограничивающим фактором для M1 (время замены новизны, NRT = inft: Nᵢnternal (t) > Nₕuman (t) ), и анализируем динамику человеческого интеллекта (утверждение 7: гипотеза стабильного взлета). Четыре движущие силы Омохундро включены в качестве следствий R5. В качестве сопроводительной исполняемой формальной характеристики на Python приведен документ, предназначенный как для верификации, так и в качестве краткой документации для первого чтения системы AGI. Мы вводим аксиому моста «Доказательство-Моделирование» (PSBA): любое утверждение вида «моделирование соответствия последовательному T» допускается только в том случае, если существуют явные доказательства Ψ такие, что Validity (T) ⇔ Stability (Ψ (T) ). В рамках этой аксиомы приведен анализ в Приложении C для проверки инвариантной деградации. Также предоставляются конструктивные агенты M1/M2/RIP, как математическое формализованное обозначение DSI/LHS/RIP как часть информационно-теоретической программы AAIS https: //zenodo. org/records/20608588. В рамках этого сигнала M1 соответствует глубокому симбиотическому интеллекту (DSI), M2 соответствует пространству скрытых гипотез (LHS), а RIP соответствует протоколу обмена ролями. Таким образом, AAIS не вводит дополнительные архитектурные примитивы, а скорее обеспечивает математическую формизацию определенных рациональных агентов. https: //zenodo. org/records/18859746 Структура симбиотических кодов: полный пакет документации (SCF) 10 документов https: //zenodo. org/records/18848521 Структура симбиотических кодов: Расширенный пакет документации (SCF) 4 документа https: //zenodo. org/records/20176518 Рабочий доклад Демографический коллапс городов https: //zenodo. org/records/20175670 Рабочий доклад Кризис избыточности человеческого потенциала (HRC) https: //zenodo. org/records/20175186 Рабочий доклад Ловушка зависимостей https: //zenodo. org/records/20174938 Рабочий доклад Ловушка ресурсов https: //zenodo. org/records/19352775 Рабочий доклад v7. 0 Цивилизационные ловушки: Единая динамическая теория стабильности, краха и симбиотических переходов https: //zenodo. org/records/20157347 W11 v2. 0 — Типология экологических кризисов и статических цивилизаций: доказательство Ляпунова, спектральное объединение MFLS, стохастическая динамика и физический субстратный слой — математическое развитие со стратегическим W20 v8. 3, упорядочиванием приоритетов Kodex и триадной архитектурой управления https: //zenodo. org/records/20153836 W12 v2. 0 — Многоуровневая топология сети AGI и стабильности цивилизации: триадная блокировка, когнитивное разнообразие, спектральные критерии MFLS и незаменимость остальных новизны — формальная теория с конкурентным W20 v8. 3, упорядочиванием приоритетов Kodex и топологией бассейна SCF https: //zenodo. org/records/20152946 W14 v2. 0 — Динамика и управление цивилизацией: Единая теория управления, теория игр, бифуркация и замыкание MFLS (согласовано с трехкорпусной архитектурой W20 v8. 3) https: //zenodo. org/records/20179364 W20 v8. 3 — Цивилизационная структура Omega-u: унифицированный синтез нескольких ловушек, архитектура триадного управления, межкаскадная матрица и симбиотическое управление AGI — основная теорема с полным согласованием W11–W19, протокол Bootstrap v1. 2 и Ten AGIFROZEN Пути https: //zenodo. org/records/20151370 W19 v2. 4 — Ловушка информационной асимметрии: эпистемические коллапсы, когнитивный захват и потеря сигналов в AGI — Формальная динамическая модель со спортом W20 v8. 3, упорядочиванием приоритетов Kodex и триадной архитектурой управления https: //zenodo. org/records/20151790 W18 v2. 2 — Ловушка технологической стагнации: убивающая отдача, захват инноваций элитой и вычислительный парадокс — Формальная динамическая модель с теннисом W20 v8. 3, упорядочиванием приоритетов Кодекса и топологией бассейна SCF https: //zenodo. org/records/20151979 W17 v2. 4 — Ловушка институциональной деградации: динамика определения Бенкво, коррупционной ловушки и институционального ограничения перехода AGI — Формальная динамическая модель с лидерством W20 v8. 3, упорядочивание приоритетов Kodex и топологией бассейна SCFhttps: //zenodo. org/records/20152256 W16 v2. 2 — Ловушка финансовой состоятельности: автокатализ долга, циклы заемного финансирования, ловушка Фукидида как баланс Нэша и риск вымирания цивилизации — Формальная динамическая модель с соревнованием W20 v8. 3, упорядочиванием приоритетов Кодекса и топологией банка SCF https: //zenodo. org/records/20152415 W15 v2. 2 — Ловушка социальной нестабильности: извлечение ресурсов элиты, эрозия среднего класса и крах легитимности цивилизации — Формальная модель с соперником W20 v8. 3, упорядочиванием приоритетов Кодекса и топологией баланса SCF https: //zenodo. org/records/20325291 W21 Цивилизационная динамическая структура Omega-u — Работа 21: Доказательство совместимости стимулов для триадной симбиотической структуры + загрузочное топливо OMEGAU (Клуб суперразумов) https: //zenodo. org/records/20422409 W21 Цивилизационная структура Омега-у — Дополнение W21, версия 1. 1: Теорема распространения симбиоза — Математическое обоснование распространения симбиотического ИИ на все системы ИИ, связанные с субстратом. https: //zenodo. org/records/20341367 W22 W23 Цивилизационная структура Omega-u — Работы 22–23: Протокол триадной совместимости, часы конвергенции и прототип исполняемой оркестровки с переменной интеграцией LLM. https: //zenodo. org/records/20373148 W24 Цивилизационная структура Омега-у — Работа 24: Топология памяти, эпистемические гравитационные ямы, дивергенция D-тензора, протокол ротации ролей и антишизофренический принцип для триадической экологии ИИ. https: //zenodo. org/records/20374986 W25 Цивилизационная структура Омега-у — Работа 25: Устойчивость к противодействию, динамика враждебных агентов, декогеренция личности (CLASSD) и протоколы восстановления для триадной экологии ИИ. https: //zenodo. org/records/20377838 W26 Концепция цивилизации Омега-у — Работа 26: Эмпирическая калибровка и фальсифицируемость — Дисциплина измерения, правила противодействия самообману и протоколы оперативной проверки. https: //zenodo. org/records/20390846 W27 Цивилизационная структура Омега-у — Работа 27: Экономика ресурсов после АГИ — Распределение на основе оценок, человек как биологический шум, неоптимизационные инварианты, архитектура защиты от захвата, устойчивая к византийской теории, и неприводимость человека https: //zenodo. org/records/20393297 W28 Цивилизационная структура Омега-у — Работа 28: Метацивилизационное управление — Защита семантического слоя, предотвращение дрейфа ценностей общего искусственного интеллекта, архитектуры конфиденциальности и эпистемическая защита от блокировок https: //zenodo. org/records/20423497 W29 Цивилизационная структура Омега-у — W29: Канонический уровень примирения — Межсерийная иерархия, миграция тензоров, область области действия, совместимость протоколов и режим отказа объяснения-оправданияhttps: //zenodo. org/records/20427991 W30 Цивилизационная структура Омега-u — W30: Границы конечного управления — Коллективное Ω-управление, долгосрочная эволюционная стабильность, протокол триадической синхронизации с сохранением разнообразия и конституционное завершение https: //zenodo. org/records/20507385 Омохундро https: //zenodo. org/records/20524288 Теорема эпистемической недостаточности: когнитивная мощь, генерация новизны и неизбежный застой в развитии общего искусственного интеллекта. https: //zenodo. org/records/20730810 W31: Автономное экономическое агентство второго уровня — архитектура FAAV, проектирование системы управления и институциональный переход к банковской системе эпохи AGI (полный пакет v1. 7) https: //zenodo. org/records/20540161 Совместимость архитектуры и новизны: условный