?
Элементарные инварианты для кванторной вероятностной логики
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 8–12.
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для получения точных верхних оценок на сложность некоторых интересных вероятностных теорий.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Добавлено: 9 апреля 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Добавлено: 27 декабря 2025 г.
Sarmento M. A., W Y Córdoba-Camacho, Шаненко А. А. и др., Journal of Physics: Condensed Matter 2024 Vol. 36 No. 25 Article 255602
Добавлено: 24 мая 2024 г.
Marina Boykova, Князева Е. Н., Салазкин М. Г., Foresight and STI Governance 2023 Vol. 17 No. 4 P. 80–91
Вызовы, с которыми сталкиваются исследования будущего, характеризуются особенной сложностью, взаимосвязанностью, противоречивостью и не поддаются разрешению линейными подходами. Прогностическая наука нуждается в инструментах, соответствующих новой контекстуальной сложности, позволяющих охватывать гораздо больший спектр движущих сил и их потенциальных эффектов в нелинейной перспективе, чтобы повысить точность прогнозов и качество стратегий. В статье посредством ретроспективного анализа прогностической науки и ...
Добавлено: 25 января 2024 г.
Распространенность хронической болезни почек ежегодно растет и уже сопоставима с такими социально значимыми заболеваниями, как гипертоническая болезнь и сахарный диабет, а также с ожирением и метаболическим синдромом [1,2]. Стандартным решением для гемодиализных пациентов является создание постоянного сосудистого доступа а виде артерио-венозной фистулы. Однако, ее использование ограничивается частыми тромбозами, что влечет за собой риски для жизни ...
Добавлено: 14 ноября 2022 г.
INDAUTOR, 2021.
Юридическая наука, трансдисциплинарность и сложность. Тенденции к инновациям в юридическом обучении, ориентированные на обучение на протяжении всей жизни для всех, предлагают беспрецедентные инвестиции в совместную работу для достижения наибольшей эффективности авангардной модели сосуществования, которую представляют права, основные обязанности и свободы, направленные на устойчивое развитие и наблюдаемые социальные правосудие изо дня в день. Это текст, направленный ...
Добавлено: 10 февраля 2022 г.
Коломбо Э., Социологические исследования 2019 № 9 С. 3–18
Преобразования, вызванные процессами глобализации, влияют на состояние социальных наук. Многие голоса, исходящие прежде всего из так называемого «Юга», требуют радикального пересмотра западных общественных наук – если не полного отказа от них. Стало очевидным, что инструментарий, понятия и методы, унаследованные от модернити, неспособны уловить сложность и изменчивость современного социального опыта, характеризующегося множеством мнений, интересов, исторических традиций. ...
Добавлено: 19 декабря 2020 г.
Иомдин Б. Л., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной международной конференции «Диалог» (Москва, 17–20 июня 2020 г.)Т. 2: дополнительный том. Вып. 19.: Издательский центр «Российский государственный гуманитарный университет», 2020. С. 1011–1024.
Учебные тексты для детей призваны решать противонаправленные задачи: дети должны хорошо понимать их, но в то же время такие тексты должны учить читателей новым словам. Кажется важным иметь возможность автоматически обнаруживать слова, которые могут быть незнакомы детям разных возрастов. Сложной задачей является определение слов, которые читатели воспринимают как знакомые и понятные, но на самом деле ...
Добавлено: 12 сентября 2020 г.
Иомдин Б. Л., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (2019)Т. 2: дополнительный том. Вып. 18.: Издательский центр «Российский государственный гуманитарный университет», 2019. С. 119–131.
Вычисление семантической сложности слова — задача, которая давно ставится в лингвистике применительно к самым разным областям: теоретическая семантика, лексикография, преподавание, корпусная лингвистика и компьютерная лингвистика (в частности, автоматическая разметка текстов по сложности и создание подкорпусов текстов разной степени сложности). В работе предлагается уточнение понятия семантической сложности слова, анализируются данные нескольких опросов носителей русского языка, рассматривается ...
Добавлено: 12 сентября 2020 г.
Рыбас А. Л., Kostogryzov A., Grigoriev L. и др., , in: Proceedings 2018 Global Smart Industry Conference (GloSIC).: Chelyabinsk: IEEE, 2018. P. 1–7.
Добавлено: 23 июня 2020 г.
Асмолов Г. А., Асмолов А. Г., Вопросы психологии 2019 № 4 С. 3–28
В данной статье предпринимается попытка рассмотреть природу Интернета как принципиально незавершаемой генеративной сети, порождающей непредсказуемые эффекты в поведении сложных систем. С опорой на историко-эволюционный подход (А.Г. Асмолов) и концепцию генеративных систем (Дж. Зиттрейн) обосновывается гипотеза, согласно которой Интернет выступает как сетевая технология, обусловливающая «социальный ароморфоз» – скачок к качественно иному образу жизни. В силу своей ...
Добавлено: 19 ноября 2019 г.
Харламов А. А., Информационные технологии 2017 № 1 С. 66–75
Ассоциативная память человека является средой для формирования единого пространства знаний. Рассмотрена обработка текстовой информации как пример процесса обработки человеком информации любой модальности с формированием однородной семантической сети ключевых понятий текста, ранжированных по степени их важности, а также иерархической тематической структуры, характеризующей сложность текста. Результаты текстового анализа наглядно интерпретируются на анализе конкретных текстов с применением аппарата ...
Добавлено: 20 февраля 2019 г.
Князева Е. Н., В кн.: Мир человека: неопределенность как вызов.: М.: ЛЕНАНД, 2019. Гл. 9 С. 111–124.
В статье показывается, что неопределенности, нестабильности, флуктуации, сопровождающие процессы развития в современном мире, не просто создают нам сложности, но и являются основой для нашего индивидуального и коллективного творчества. Будущее открыто и не дано нам заранее, и во власти человека осуществлять осознанный и взвешенный выбор дальнейшего пути развития из спектра возможностей в состояниях неустойчивости или в ...
Добавлено: 21 ноября 2018 г.
В рамках актуальной проблемы описания процессов формирования и актуализации функциональных систем поведенческих актов изучались различия характеристик вариабельности сердечного ритма при реализации индивидом поведения, сформированного на разных этапах индивидуального развития: относительно более раннем и более позднем. Участники исследования с высшим образованием по специальности физико-математического профиля (35 человек (5 женщин) 23–37 лет (M = 27.78, Me = ...
Добавлено: 17 ноября 2018 г.
Исследуются проблемы построения модели мира человека и согласования смыслов у членов малой социальной группы в процессе их коммуникации и совместной деятельности с эволюционной, системно-теоретической, нейрофизиологической, социально-психологической и коммуникативно-деятельностной точек зрения. Ключевой момент состоит в том, как соотносится когерентность смыслов в моделях мира участников группы с когерентностью текстов, представляющих их предметные области. Модель мира, также, как ...
Добавлено: 2 июня 2018 г.
Куркина Е. С., Князева Е. Н., Философия науки и техники 2017 Т. 22 № 2 С. 120–135
В статье рассматриваются некоторые нетривиальные свойства сетевых структур в социальных средах, которые выявляются благодаря методологии сетевого анализа. Показывается, в частности, что ныне акцент смещается с изучения социальной сложности на изучение социальных сетевых структур. Эволюционным трендом является переход от иерархий к сетям, а процесс формирования сетевых структур исследуется как феномен сетизации. Процессы быстрого роста сетевых структур ...
Добавлено: 16 января 2018 г.
Куркина Е. С., Князева Е. Н., Сложные системы 2017 Т. 25 № 4 С. 4–26
В статье рассмотрена эволюция общества с точки зрения формирования и развития различных типов структурных отношений: иерархических, рыночных и сетевых. Описать все многообразие структурных отношений просто не мыслимо, но весьма полезно изучить их, применяя такие понятия, как равенство или неравенство, свобода или принуждение, партнерство или подчинение, независимость или сотрудничество, устойчивость или неустойчивость, мобильность, адаптивность и др. ...
Добавлено: 16 января 2018 г.
Князева Е. Н., , in: Synergetik als Ordner. Die strukturierende Wirkung der interdisziplinären Ideen Hermann Hakens.: Lengerich: Pabst Science Publishers, 2017. Ch. 20 P. 147–158.
The chapter describes some peculiarities of the reception of Hermann Haken's synergetics in Russia and the development of this interdisciplinary trend of scientific research by the Russian scientific schools. ...
Добавлено: 14 декабря 2017 г.
Рубчинский А. А., , in: Models, Algorithms, and Technologies for Network Analysis. Springer Proceedings in Mathematics & StatisticsVol. 197.: Springer, 2017. P. 127–152.
A new approach to network decomposition problems (and, hence, to classification problems, presented in network form) is suggested. Opposite to the conventional approach, consisting in construction of one, “the most correct” decomposition (classification), the suggested approach is focused on construction of a family of classifications. Basing on this family, two numerical indices are introduced and ...
Добавлено: 20 октября 2017 г.