?
Algorithms and Discrete Applied Mathematics 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings
Vol. 12016.
Springer, 2020.
Под общей редакцией: M. Changat, S. Das
Главы книги
Боду Л., Foucaud F., Naserasr R., , in: Algorithms and Discrete Applied Mathematics 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, ProceedingsVol. 12016.: Springer, 2020. P. 184–196.
Добавлено: 18 февраля 2020 г.
Кирсанова Е. Е., Пакшин П. К., Право и экономика 2026 № 3 (456) С. 26–34
В статье рассматривается вопрос правового режима интеллектуальной собственности, созданной искусственным интеллектом. Изменения существующей правовой базы в сторону признания искусственного интеллекта субъектом права нарушат обоснование и фундаментальные принципы системы интеллектуальных прав. В статье представлен обзор разных взглядов на обоснование предоставления авторских прав на созданные искусственным интеллектом произведения. Автор отмечает, что в некоторых юрисдикциях авторские права таким ...
Добавлено: 28 апреля 2026 г.
Karpov A., Двойникова А. А., Ryumina E., , in: Lecture Notes in Networks and SystemsVol. 776.: Springer, 2023. P. 3–13.
Добавлено: 25 апреля 2026 г.
Пакшин П. К., Legal Issues in the Digital Age 2026 Vol. 7 No. 1 P. 32–48
Искусственный интеллект выполняет значимую функцию в процессе автоматизации, минимизируя операционное участие человека в таких сферах, как медицина, искусство и юриспруденция. Несмотря на исторически тесную взаимосвязь искусства и технологий, именно генеративный искусственный интеллект расширил потенциал для творческой деятельности. Существенным катализатором этого процесса стало распространение предобученных систем искусственного интеллекта, интенсифицировавших развитие технологий в области обработки естественного языка ...
Добавлено: 31 марта 2026 г.
Добавлено: 16 февраля 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 2 Article jzae042
This paper is concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from [Fagin et al. 1990, Section 6]. ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.
Стырин Е. М., Вопросы государственного и муниципального управления 2025 № 4 С. 35–60
В статье рассматривается проблема недостаточной диагностической
глубины существующих подходов к оценке цифровой зрелости органов государственного управления в субъектах Российской Федерации. На текущий момент методологическая и эмпирическая база для оценки уровня цифровой зрелости в региональном
разрезе остается ограниченной и фрагментарной – отсутствует единый подход к операционализации понятия «цифровая зрелость». Требуется общая методология, позволяющая проводить корректный межрегиональный анализ; формировать ...
Добавлено: 23 декабря 2025 г.
Снетков И. Г., Философия. Журнал Высшей школы экономики 2025 Т. 9 № 3 С. 277–302
В статье исследуется проблема выравнивания (alignment problem) — необходимость интеграции моральных ценностей в архитектуру систем ИИ для минимизации экзистенциальных рисков. Рассматриваются концептуальные решения проблемы выравнивания, такие как утилитарные принципы С. Рассела и концепция «когерентной расширенной воли» Э. Юдковского. Вводится понятие «метапроблемы выравнивания». В ходе анализа концептуального различия между «сильным» и «слабым» ИИ автор приходит к ...
Добавлено: 21 декабря 2025 г.
Association for Computing Machinery (ACM), 2026.
Добавлено: 19 декабря 2025 г.
Cham: Springer, 2026.
Добавлено: 25 ноября 2025 г.
Huang L., Chin T., Papa A. и др., Technological Forecasting and Social Change 2025 Vol. 213 P. 1–14
Добавлено: 11 ноября 2025 г.
Добавлено: 1 ноября 2025 г.
Дугарцыренова В. А., Вестник Российского университета дружбы народов. Серия: Психология и педагогика 2025 Т. 22 № 1 С. 144–174
В эпоху стремительного развития технологий искусственного интеллекта (ИИ) остро встает проблема недобросовестного использования студентами средств ИИ для генерации англоязычных научных работ или их фрагментов с последующим представлением их как авторский продукт. Эта проблема усугубляется отсутствием надежного инструментария для установления признаков машинного происхождения таких текстов. В настоящем исследовании на основе результатов предварительного качественного и количественного анализа ...
Добавлено: 10 октября 2025 г.
Integrating an Ontology-Driven Approach to Data Visualization and AI Based Visualization with Plotly
A.D. Dzheiranian, L.N. Lyadova, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4 P. 191–206
В данном исследовании представлен прототип ассистента, управляемого искусственным интеллектом, который автоматизирует генерацию скриптов визуализации данных на основе запросов на естественном языке, устраняя необходимость пользователей владеть навыками программирования. В статье рассматриваются исследования, направленные на разработку средств для эффективной визуализации данных, проводится сравнение систем визуализации данных, основанных на использовании искусственного интеллекта, показаны ограничения существующих средств. Предлагаемый подход ...
Добавлено: 25 сентября 2025 г.
Yury Semenov, Oleg Sukhoroslov, , in: Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, ProceedingsVol. 15681.: Switzerland: Springer, 2025. P. 317–331.
Добавлено: 17 сентября 2025 г.
Байша О. А., Медиалингвистика 2025 Т. 12 № Спецвыпуск С. 826–829
Цифровые технологии и искусственный интеллект создают сложные гибриды реального и виртуального, в которых продуцируются общественные смыслы. Анализ интегральных дискурсивных полей требует аналитических инструментов, отвечающих новым вызовам. ...
Добавлено: 5 сентября 2025 г.
Сериков В. В., Буримская Д. В., Отечественная и зарубежная педагогика 2025 Т. 1 № 4 С. 17–27
В статье представлено понимание специфики профессиональной деятельности в усло- виях цифровой экономики, приоритетным предме- том труда в которой выступает анализ и переработка информации, что требует от специалистов владения компетенциями, общими (универсальными) для боль- шинства профессиональных сфер. Соответственно, ме- няются содержание и технологии профессиональной подготовки специалиста, которому предстоит работать в условиях интенсивного изменения профессиональ- ных функций, ...
Добавлено: 25 августа 2025 г.
Skrynnikova I.V., Вестник Волгоградского государственного университета. Серия 2: Языкознание 2025 Vol. 23 No. 5 P. 99–107
Добавлено: 1 августа 2025 г.