Компьютерные науки > Машинное обучение [представлено 3 декабря 2025 года (v1), последний пересмотренный вариант 5 сентября 2026 года (эта версия, v3)] Название: Modal Logic Neural Networks View PDF HTML (экспериментальное) резюме: Невральные сети незаменимы для естественных наук и общества. Их влияние варьируется от применения в сфере общественного здравоохранения до производительности труда. Здесь мы представляем Modal Logic Neural Networks (MLNns) — логическую сеть, отличающуюся от конца. Эта нейронная архитектура занимается вопросами парасоответствия и несогласованности через изучаемую в мире связь с доступностью и функцию оценки. Поскольку механизм фиксируется тем, каким образом аксиомы удовлетворяет соединение, а не оператору, один из различных двигателей охватывает эпистемичные, доксатические, деонтические и временные показания с применением проверки реактивных и распределенных систем до правового дискурса и микроэкономических моделей полезности. В этом документе мы введем модель разной семантики Крипке и установим их обоснованность, конвергенцию и структурные гарантии. Мы показываем четыре приложения, в которых обучаемое отношение читается как матрица доверия, режим работы с ограничениями безопасности, порядок временной очереди и восстановленный график ограничений. История представления: Антонин Сульц [видение электронной почты] [v1] Wed, 3 декабря 2025 06:38:29 UTC (144 KB) [ v2] Thu, 12 февраля 2026 07:53:14 UTS (154 KB)] Sat, 5 сентября 2026 20:02:18 UTK (586 KB).…
Модальные логические невральные сети
arXiv: 2512.02.3491v3 Аннонс Тип: заменить резюме: Нейронные сети незаменимы для естественных наук и общества. Их влияние варьируется от применения в сфере общественного здравоохранения до производительности труда. Здесь мы представляем Modal Logic Neural Networks (MLNns) — логическую сеть, отличающуюся от конца. Эта нейронная архитектура занимается вопросами парасоответствия и несогласованности через изучаемую в мире связь с доступностью и функцию оценки. Поскольку механизм фиксируется тем, каким образом аксиомы удовлетворяет соединение, а не оператору, один из различных двигателей охватывает эпистемичные, доксатические, деонтические и временные показания с применением проверки реактивных и распределенных систем до правового дискурса и микроэкономических моделей полезности. В этом документе мы введем модель разной семантики Крипке и установим их обоснованность, конвергенцию и структуру.