?
Элементарные инварианты для кванторной вероятностной логики
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 8–12.
Speranski S. O., Математические заметки 2026 Т. 120 № 3 С. 470–483
We show that, in terms of closure ordinals, many infinitary calculi for ‘first-order’ logics of probability (i.e., for languages similar to those in [Abadi & Halpern 1994]) are as hard as possible: the corresponding closure ordinals coincide with the least non-constructive ordinal, denoted by $\omega_1^{\mathrm{CK}}$. ...
Added: August 12, 2026
Speranski S. O., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Added: April 9, 2026
Speranski S. O., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Added: December 27, 2025
Sarmento M. A., W Y Córdoba-Camacho, Shanenko A. et al., Journal of Physics: Condensed Matter 2024 Vol. 36 No. 25 Article 255602
To describe the way complexity emerges in seemingly simple systems of nature, requires one to
attend to two principal questions: how complex patterns appear spontaneously and why a single
system can accommodate their inexhaustible variety. It is commonly assumed the pattern
formation phenomenon is related to the competition of several types of interactions with
disparate length scales. These multi-scale ...
Added: May 24, 2024
Marina Boykova, Knyazeva H., Salazkin M., Foresight and STI Governance 2023 Vol. 17 No. 4 P. 80–91
The challenges the futures studies face are particularly complex, interconnected, and contradictory, and cannot be resolved using linear approaches. Prognostic science needs tools matching the new contextual complexity, which would allow to capture a much wider range of driving forces, and their potential effects, in a non-linear perspective, to improve the accuracy of forecasts and ...
Added: January 25, 2024
Gromov V., Мазайшвили К. В., Заикин П. В. et al., Вестник кибернетики 2022 Т. 45 № 1 С. 72–82
The prevalence of chronic kidney disease is growing every year and is already comparable to such socially significant diseases as hypertension and diabetes mellitus, as well as obesity and metabolic syndrome [1,2]. The standard solution for hemodialysis patients is to create a permanent vascular access in the form of an arteriovenous fistula. However, its use ...
Added: November 14, 2022
INDAUTOR, 2021.
Ciencia jurídica, transdisciplina y complejidad. Tendencias para la innovación para el aprendizaje jurídico, se centra en el aprendizaje a lo largo d$e la vida para toda persona, propone una inversión sin precedentes en el trabajo colaborativo para lograr la mayor eficacia del modelo de convivencia vanguardista que representan los derechos, deberes y libertades fundamentales, orientados ...
Added: February 10, 2022
Коломбо Э., Социологические исследования 2019 № 9 С. 3–18
Преобразования, вызванные процессами глобализации, влияют на состояние социальных наук. Многие голоса, исходящие прежде всего из так называемого «Юга», требуют радикального пересмотра западных общественных наук – если не полного отказа от них. Стало очевидным, что инструментарий, понятия и методы, унаследованные от модернити, неспособны уловить сложность и изменчивость современного социального опыта, характеризующегося множеством мнений, интересов, исторических традиций. ...
Added: December 19, 2020
Iomdin B., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной международной конференции «Диалог» (Москва, 17–20 июня 2020 г.)Т. 2: дополнительный том. Вып. 19.: Издательский центр «Российский государственный гуманитарный университет», 2020. С. 1011–1024.
Educational texts for children have two distinctly differing purposes: their readers must understand them and at the same time learn new words from them. It seems important and useful to be able to automatically detect words that may be unfamiliar to children of different ages. A challenging task is to identify words that readers perceive ...
Added: September 12, 2020
Iomdin B., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (2019)Т. 2: дополнительный том. Вып. 18.: Издательский центр «Российский государственный гуманитарный университет», 2019. С. 119–131.
Computation of the semantic complexity of a given word is a task that has long been present in linguistics in relation to a variety of fields: theoretical semantics, lexicography, teaching, corpus linguistics and computational linguistics (in particular, automatic annotation of texts indicating their semantic complexity levels and creation of corpora and subcorpora of texts of ...
Added: September 12, 2020
Rybas A., Kostogryzov A., Grigoriev L. et al., , in: Proceedings 2018 Global Smart Industry Conference (GloSIC).: Chelyabinsk: IEEE, 2018. P. 1–7.
In the near future the possibilities of the modern probabilistic models, artificial intelligence and machine learning methods can provide an intelligent support of making decisions by an operator in real time. An agile recovery of intelligent manufacturing integrity can be implemented owing to the development of industrial robotics. For intelligent manufacturing it means the expected ...
Added: June 23, 2020
Асмолов Г. А., Asmolov A., Вопросы психологии 2019 № 4 С. 3–28
В данной статье предпринимается попытка рассмотреть природу Интернета как принципиально незавершаемой генеративной сети, порождающей непредсказуемые эффекты в поведении сложных систем. С опорой на историко-эволюционный подход (А.Г. Асмолов) и концепцию генеративных систем (Дж. Зиттрейн) обосновывается гипотеза, согласно которой Интернет выступает как сетевая технология, обусловливающая «социальный ароморфоз» – скачок к качественно иному образу жизни. В силу своей ...
Added: November 19, 2019
Kharlamov A. A., Информационные технологии 2017 № 1 С. 66–75
Ассоциативная память человека является средой для формирования единого пространства знаний. Рассмотрена обработка текстовой информации как пример процесса обработки человеком информации любой модальности с формированием однородной семантической сети ключевых понятий текста, ранжированных по степени их важности, а также иерархической тематической структуры, характеризующей сложность текста. Результаты текстового анализа наглядно интерпретируются на анализе конкретных текстов с применением аппарата ...
Added: February 20, 2019
Knyazeva H., В кн.: Мир человека: неопределенность как вызов.: М.: ЛЕНАНД, 2019. Гл. 9 С. 111–124.
The article substantiates that uncertainties, instabilities, and fluctuations accompanying the development processes in the modern world not only create difficulties for us, but also form a basis for our individual and collective creativity. The future is open and not given to us in advance, and it is in the power of a man to make ...
Added: November 21, 2018
Demidovskij A., Бахчина А. В., Александров Ю. И., Психологический журнал 2018 Т. 39 № 5 С. 46–58
It is the important issue in system psychophysiology to describe the processes of orchestration and development of functional systems. Within the framework of the issue, heart rate variability dynamics was studied in behaviors formed at different stages of the ontogeny (earlier and later). Participants (n = 35 (5 female), age from 23 to 37 (M ...
Added: November 17, 2018
Knyazeva H., Рыжов В. А., Kharlamov A. A., Сложные системы 2018 Т. 26 № 1 С. 4–36
The problems of constructing a world model of a human and of the reconciliation of meanings among members of a small social group in the process of their communication and joint activity are considered in the article from the system-theoretical, neurophysiological, social-psychological and communicative-activity points of view. The key point is how the coherence of ...
Added: June 2, 2018
Куркина Е. С., Knyazeva H., Философия науки и техники 2017 Т. 22 № 2 С. 120–135
Some non-trivial properties of network structures in social media, which are revealed on the basis of the methodology of network analysis, are considered in the article. It is shown, in particular, that nowadays the emphasis shifts from the study of social complexity to the study of social network structures. The evolutionary trend is the transition ...
Added: January 16, 2018
Куркина Е. С., Knyazeva H., Сложные системы 2017 Т. 25 № 4 С. 4–26
Evolution of society from the standpoint of formation and development of various types of structural relationships (hierarchical, market and network ones) is considered in the article. To describe all the variety of structural is simply not conceivable, but it is very useful to study them using concepts such as equality or inequality, freedom or compulsion, ...
Added: January 16, 2018