?
О вычислительных аспектах максимальной специфичности в вероятностном объяснении
Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. 2011. Т. 11. № 4. С. 78–93.
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких естественных ограничениях; исследован вопрос о возможности равномерного нахождения разрешающих процедур в случае упомянутых ограничений; оценена сложность введённых подклассов мер в арифметической иерархии.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Добавлено: 9 апреля 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 1 С. 99–115
Обсуждается проблема статистической двусмысленности (SAP), поставленная Карлом Гемпелем в отношении объяснений, базирующихся на индуктивно-статистической аргументации. С целью устранения SAP вводится формализованное (в терминах логики и вероятности) требование максимальной специфичности (RMS), а также соответствующая ему схема осуществления предсказания. Отметим, определенная в итоге совокупность закономерностей, удовлетворяющих RMS, тесно связана с конструкцией семантического вероятностного предсказания, представленной в работах ...
Добавлено: 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 г.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Добавлено: 26 декабря 2025 г.
Семенов А. Л., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 527 № S С. 7–12
В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости. ...
Добавлено: 6 декабря 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 г.
Дудаков С. М., Авхимович Н. В., Вестник Тверского государственного университета. Серия: Прикладная математика 2023 № 1 С. 24–35
В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория ...
Добавлено: 12 ноября 2023 г.
Семенов А. Л., Сопрунов С. Ф., Чебышевский сборник 2021 Т. 22 № 1(77) С. 304–327
В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов ...
Добавлено: 11 марта 2023 г.
Распространенность хронической болезни почек ежегодно растет и уже сопоставима с такими социально значимыми заболеваниями, как гипертоническая болезнь и сахарный диабет, а также с ожирением и метаболическим синдромом [1,2]. Стандартным решением для гемодиализных пациентов является создание постоянного сосудистого доступа а виде артерио-венозной фистулы. Однако, ее использование ограничивается частыми тромбозами, что влечет за собой риски для жизни ...
Добавлено: 14 ноября 2022 г.
INDAUTOR, 2021.
Юридическая наука, трансдисциплинарность и сложность. Тенденции к инновациям в юридическом обучении, ориентированные на обучение на протяжении всей жизни для всех, предлагают беспрецедентные инвестиции в совместную работу для достижения наибольшей эффективности авангардной модели сосуществования, которую представляют права, основные обязанности и свободы, направленные на устойчивое развитие и наблюдаемые социальные правосудие изо дня в день. Это текст, направленный ...
Добавлено: 10 февраля 2022 г.
Коломбо Э., Социологические исследования 2019 № 9 С. 3–18
Преобразования, вызванные процессами глобализации, влияют на состояние социальных наук. Многие голоса, исходящие прежде всего из так называемого «Юга», требуют радикального пересмотра западных общественных наук – если не полного отказа от них. Стало очевидным, что инструментарий, понятия и методы, унаследованные от модернити, неспособны уловить сложность и изменчивость современного социального опыта, характеризующегося множеством мнений, интересов, исторических традиций. ...
Добавлено: 19 декабря 2020 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Иомдин Б. Л., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной международной конференции «Диалог» (Москва, 17–20 июня 2020 г.)Т. 2: дополнительный том. Вып. 19.: Издательский центр «Российский государственный гуманитарный университет», 2020. С. 1011–1024.
Учебные тексты для детей призваны решать противонаправленные задачи: дети должны хорошо понимать их, но в то же время такие тексты должны учить читателей новым словам. Кажется важным иметь возможность автоматически обнаруживать слова, которые могут быть незнакомы детям разных возрастов. Сложной задачей является определение слов, которые читатели воспринимают как знакомые и понятные, но на самом деле ...
Добавлено: 12 сентября 2020 г.
Иомдин Б. Л., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (2019)Т. 2: дополнительный том. Вып. 18.: Издательский центр «Российский государственный гуманитарный университет», 2019. С. 119–131.
Вычисление семантической сложности слова — задача, которая давно ставится в лингвистике применительно к самым разным областям: теоретическая семантика, лексикография, преподавание, корпусная лингвистика и компьютерная лингвистика (в частности, автоматическая разметка текстов по сложности и создание подкорпусов текстов разной степени сложности). В работе предлагается уточнение понятия семантической сложности слова, анализируются данные нескольких опросов носителей русского языка, рассматривается ...
Добавлено: 12 сентября 2020 г.
Shkatov D., Рыбаков М. Н., , in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20).: ACM, 2020. P. 58–65.
Доказаны аналоги теоремы Чёрча и теоремы Трахтенброта для логики квазиарных предикатов. ...
Добавлено: 20 июля 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 г.
Захаров В. А., Винарский Е. М., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. С. 257–260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.