Человеческое рассуждение обычно представляют как логическую цепочку
Таким его представляют при рассуждении в форме логической цепочки стандартных логических моделей.
- В логике высказываний (простой логике) стандартная модель — это набор truth-значений (истинно/ложно), где правила работы с операциями (конъюнкция, дизъюнкция) совпадают с нашими повседневными рассуждениями.
- В теории чисел стандартной моделью для арифметики (натуральные числа) будет сама привычная структура: сложение и умно, ноль, единицы. Все аксиомы теории выполняются именно так, как мы привыкли.
- В базах данных стандартная логическая модель — это ER-диаграмма (Entity-Relationship), где чётко видны сущности (таблицы) и связи между ними.
- Нестандартный анализ. В этой области строят модели, куда добавляют «идеальные» элементы — например, бесконечно большие или бесконечно малые числа (при этом все «стандартные» свойства вещественных чисел сохраняются). Это позволяет строго обосновать методы математического анализа XVII–XVIII веков, где активно использовались бесконечно малые. ru.wikipedia.org*vk.ru
- Неклассические логики. Сюда относятся, например, интуиционистская логика (где не действует закон исключённого третьего), модальные логики (с операторами возможности и необходимости), паранепротиворечивые логики. Для них тоже строят свои модели — скажем, шкалы Крипке, где истинность формулы зависит от возможного мира. mathnet.rumathnet.rustudfile.net
- Модели для работы с неопределённостью или неполнотой. В некоторых прикладных областях (искусственный интеллект, обработка естественного языка) классическая логика с двумя значениями (истина/ложь) оказывается недостаточной. Нестандартные модели позволяют ввести третье значение (например, «неизвестно») или работать с вероятностными рассуждениями. studfile.net
- cyberleninka.ru
- mathnet.ru
- hse.ru
- habr.com
- old.mccme.ru
- mathnet.ru
- ru.wikipedia.org*
- logicalinvestigations.ru
- hse.ru
- portal.tpu.ru
- vec.etu.ru
- book.etudes.ru
- kpfu.ru
- iphras.ru
- dic.academic.ru
- studfile.net
- vk.ru
- vk.com
- Какие преимущества дают нестандартные логические модели?
- Как нестандартные логические модели применяются в математике?
- Какие недостатки есть у стандартных логических моделей?
Сейчас прибежит специалист по искусственному интеллекту и объяснит Вам, что Россия безнадёжно отстала в развитии.
Как- то мимо н2 прошло: Россия, Китай и еще 27 стран 16 июля 2026 года подписали соглашение об учреждении Всемирной организации по сотрудничеству в области искусственного интеллекта.
Что же Алиса нам ответит на вопрос о развитии ИИ в России
«В России действительно есть ряд прорывных разработок в сфере ИИ — я подобрала те, что заметно продвинули отрасль или решили сложные прикладные задачи. Их можно разделить на несколько направлений.
Большие языковые модели и мультимодальность- GigaChat (Сбер). Мультимодальная модель, созданная специально для русскоязычных пользователей. Она умеет не только вести диалог и генерировать тексты, но и работать с кодом, а в связке с Kandinsky — создавать изображения и даже музыку. В 2024 году вышла обновлённая версия GigaChat MAX. 186
- YandexGPT (Яндекс). Языковая модель, хорошо справляющаяся с задачами на русском языке: от написания статей и деловых писем до анализа данных. На её базе строят медицинских чат-ботов и виртуальных ассистентов. 815
- Алиса AI (Яндекс). Это не просто голосовой помощник, а целое семейство моделей (языковая, визуально-текстовая, графическая), объединённых для решения комплексных задач: она может не только отвечать на вопросы, но и выполнять действия. 6
- «Инновит» (Университет «Иннополис»). В марте 2026 года представили прототип системы, которая умеет одновременно анализировать разные виды медицинских изображений (КТ, МРТ, рентген, УЗИ, маммографию): находить патологии, выделять их на снимке и автоматически формировать текстовое заключение, похожее на врачебное. Модель построена на архитектуре Florence-2, а для повышения точности при обучении использовали специальный математический механизм («функцию потерь»). В планах — интеграция с большими языковыми моделями, чтобы учитывать данные медкарт. 11
- Botkin.AI. Специализируется на автоматической обработке рентгенограмм и КТ лёгких: выявляет скрытые патологии (новообразования, отклонения), которые врач может упустить. Система зарегистрирована как медицинское изделие класса 2б. 15
- Webiomed. Платформа для предиктивной аналитики: анализирует электронные медкарты, прогнозирует риски развития хронических заболеваний и вероятность осложнений. Также зарегистрирована как медицинское изделие. 1315
- Система ИИ-агентов от AIRI, Университета Иннополис и ИТМО. Это прорыв в автоматизации науки: системе ставят задачу, а она сама проводит исследование — анализирует литературу, запускает эксперименты на облачных серверах и формирует научную публикацию в нужном формате. Одна из таких работ прошла международное слепое рецензирование и была принята на конференцию уровня A*. 10
- ИИ-агенты для бизнеса. Появляется всё больше платформ (например, Nurax.ai), где агенты могут планировать действия, выполнять последовательности операций и взаимодействовать с внешними системами для автоматизации сложных бизнес-процессов. 14
- No-code/low-code платформы. Они делают разработку ИИ-решений доступнее: компании могут создавать приложения и автоматизировать процессы без глубокого погружения в программирование. 34
- Применение в госуправлении. Например, GigaChat использовали для обработки обращений граждан на «Прямую линию» с Президентом — это позволило в разы ускорить анализ больших массивов сообщений. 1
Что отличает многие российские разработки? Часто фокус смещён не на создание «универсального» ИИ, а на решение конкретных, часто узкопрофильных задач — в медицине, промышленности, науке или бизнесе. Это позволяет добиваться высокой точности и практической пользы.»
«В России действительно есть заметные открытия и достижения в сфере искусственного интеллекта — от создания собственных моделей до внедрения технологий в реальные отрасли. Я подобрала несколько ярких примеров, чтобы показать масштаб. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```5```](//iz.ru/1860267/vaceslav-doronin/gonka-intellektov-kak-razvivaetsa-ii-v-rossii)
## Разработка моделей и инструментов
* **GigaChat (Сбер).** Мультимодальная генеративная модель, созданная специально для русскоязычных пользователей. Она умеет вести диалог, генерировать тексты и изображения (в связке с Kandinsky), писать код. В 2024 году вышла обновлённая версия GigaChat MAX. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```2```](https://spb.plus.rbc.ru/news/67bc967e7a8aa9d2899f72ec)
* **YandexGPT (Яндекс).** Языковая модель, которая хорошо справляется с задачами на русском языке: от генерации статей и деловых писем до анализа данных и создания саммари документов. В 2025 году появилась пятая версия, а затем и YandexGPT 5.1. [```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```10```](https://companies.rbc.ru/news/9HVniRPVc6/krupnejshie-v-rossii-kto-bolshe-vseh-zarabatyivaet-na-nejrosetyah/)
* **OmniFusion (AIRI).** Научно-исследовательский институт искусственного интеллекта AIRI выпустил одну из первых в России мультимодальных языковых моделей — OmniFusion 1.1. Она способна поддерживать визуальный диалог: отвечать на вопросы пользователя по картинкам. [```2```](https://spb.plus.rbc.ru/news/67bc967e7a8aa9d2899f72ec)
* **DeepPavlov.** Бесплатный инструмент с открытым исходным кодом, созданный на базе МФТИ и Neural Networks and Deep Learning Lab. Он предоставляет предобученные модели и инструменты для задач обработки естественного языка (NLP): классификации текстов, извлечения информации, построения диалоговых систем. [```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)
* **SymFormer.** Специализированная нейросеть от Сбера для решения математических задач и работы с формулами. [```9```](https://www.sostav.ru/blogs/288561/89252)
## Применение в конкретных сферах
* **Медицина.** В России активно развиваются ИИ-решения для диагностики. Например:
* **Webiomed** (компания «К-Скай») анализирует электронные медкарты и предсказывает онкозаболевания на 1,5 года вперёд с точностью 92–95%. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Celsus.ai** автоматически выявляет патологии на рентгеновских снимках и КТ, а также помогает врачу заполнять отчёты голосом. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Botkin.AI** показывает высокую точность (96%) при скрининге рака лёгких по КТ и рентгену, снижает число ложноположительных результатов и ускоряет первичный анализ. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Retina.AI** специализируется на офтальмологии: анализирует снимки глазного дна и ОКТ для выявления диабетической ретинопатии, макулярных отёков и других патологий с точностью 95–97%. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Промышленность.** ИИ внедряют для контроля качества (компьютерное зрение выявляет дефекты на металле, в фармацевтике проверяет целостность ампул), предиктивного обслуживания оборудования, оптимизации цепочек поставок и создания «цифровых двойников» сложных систем. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```19```](https://sber.pro/publication/vnedrenie-ai-v-promishlennoe-proizvodstvo-ot-prediktivnogo-obsluzhivaniya-do-kontrolya-kachestva/)
* **Сельское хозяйство.** Компания Cognitive Pilot (совместное предприятие Сбера и Cognitive Technologies) разработала первый в России полностью автономный мини-трактор с ИИ. Он способен круглосуточно выполнять сельхозработы: от сева и культивации до анализа состояния растений и почвы, избегая препятствий. Также существует система автономного управления сельхозтехникой Cognitive Agro Pilot. [```24```](https://cognitivepilot.com/about-company/)[```27```](https://tass.ru/ekonomika/20943493)
* **Транспорт.** Стартап Navio создал фотореалистичный симулятор NavioSim для обучения нейросетевых моделей автономных машин. Это позволяет отрабатывать сложные сценарии (экстренное торможение, взаимодействие со спецтранспортом) в виртуальной среде перед реальными тестами. [```26```](https://auto.ru/mag/article/ii-simulyator-kak-v-rossii-obuchayut-bespilotni/)
* **Государственное управление.** В 2024 году большую языковую модель GigaChat впервые использовали для обработки обращений граждан на «Прямую линию» с Президентом — это позволило в короткие сроки проанализировать большой объём сообщений. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)
* **Речевой ИИ.** В 2025 году Яндекс представил технологию, которая распознаёт голос даже в условиях сильного шума (например, при звуке воды, пылесоса или музыки). [```3```](https://neiro.unisender.com/razvitie-ii-v-rossii/)
## Системные и инфраструктурные достижения
* В рамках федерального проекта «Искусственный интеллект» (2021–2024) создали 12 исследовательских центров (например, в Университете Иннополис, НИУ ВШЭ), опубликовали более 590 статей российских специалистов, обучили компетенциям в сфере ИИ более 100 тысяч школьников и помогли 15 тысячам студентов получить профильное образование. [```3```](https://neiro.unisender.com/razvitie-ii-v-rossii/)
* Сформирован Альянс в сфере искусственного интеллекта, объединивший более 800 российских компаний. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)
* Развивается сегмент AIaaS (Artificial Intelligence as a Service): провайдеры предлагают доступ к инструментам и моделям через облачные платформы, что упрощает внедрение ИИ в бизнес. [```12```](https://www.computerra.ru/349776/rossijskij-rynok-aiaas-2026-podborka-osnovnyh-igrokov/)
МОСКВА, 20 июля. /ТАСС/. Российские исследователи создали нейросеть, которая способна анализировать трехмерные модели молекул и определять химические формулы представленных на них веществ. Эта разработка позволит связать друг с другом программы физического 3D-моделирования и системы ИИ, прогнозирующие свойства веществ, сообщила пресс-служба Института искусственного интеллекта AIRI.
»Классические программы определяют связи, просто измеряя расстояния между атомами и сравнивая их с табличными значениями. Из-за этого малейшая погрешность замеров приводит к ошибкам. Новый алгоритм анализирует геометрию нужной молекулы целиком и строит граф связей атомов прямо по трехмерным координатам. Благодаря новому подходу к решению этой задачи точность алгоритма достигла 99,53%, снизив частоту ошибок в 20 раз", — говорится в сообщении.
Как отмечается в сообщении, данная система была разработана группой исследователей из AIRI, НИУ ВШЭ, Московского центра перспективных исследований МГУ имени Ломоносова, ТГУ и УрФУ для решения одной из самых важных задач на стыке химии и искусственного интеллекта. Она связана с тем, что существующие подходы для моделирования и прогнозирования свойств химических соединений используют в своей работе очень разные форматы входных данных.
Первые алгоритмы работают с трехмерными моделями, состоящими из наборов атомов, расположенных на определенных расстояниях друг от друга, тогда как большинство существующих методов предугадывания свойств соединений опираются на структурные формулы или молекулярные графы, где важно не точное расположение атомов в пространстве, а то, какие из атомов соединены и какими химическими связями.
Российские исследователи сделали большой шаг к объединению этих систем, разработав ИИ-алгоритм, который способен «переводить» трехмерные модели молекул в химические формулы. Для этого система анализирует расположение атомов и распознает пять возможных вариантов их взаимодействий, в том числе отсутствие связи, одинарную, двойную, тройную и ароматическую связь, подобную тем, которые есть в ароматических углеводородах.
Благодаря тому, что нейросеть анализирует всю молекулу целиком, в ее работе возникает относительно мало ошибок и «фантомных» связей между атомами по сравнению с уже существующими решениями. В частности, разработка российских ученых способна корректно моделировать соединения с большим числом встроенных в них молекул воды, а также решать другие трудные задачи. Это в несколько десятков раз снизило частоту появления ошибок, что позволит значительным образом улучшить работу систем моделирования и прогнозирования свойств молекул.
2025 году DeepSeek сохранил формальное лидерство с 13,3 миллиона загрузок, но во втором полугодии Алиса AI стала главным двигателем роста в индустрии. Благодаря значительному увеличению числа установок в четвёртом квартале, российская нейросеть опередила DeepSeek по темпам прироста аудитории и фактически перехватила лидерство.
Анализ показывает, что динамика двух ведущих игроков на рынке кардинально различается:
DeepSeek: несмотря на высокие общие показатели за год, интерес к приложению снижается. Количество загрузок уменьшилось на 9,8% по сравнению с предыдущим годом, а в четвёртом квартале падение составило 56,8%.
Алиса AI: за год сервис был скачан 10,7 миллиона раз. Годовой прирост составил 11,7%, а в четвёртом квартале количество установок увеличилось в 3,6 раза.
Время взаимодействия (Time Spent): наибольший рост показала Алиса AI — время, проведённое пользователями с сервисом, увеличилось на 156,7%. DeepSeek также показал рост, но более скромный — на 120%.
Некогда было тогда комментировать, но относительно закона, Верховный суд РФ ещё раньше реагировал. Постановление Пленума ВС РФ «О подготовке гражданских дел к судебному разбирательству» «Участвующие в деле лица, представившие в суд сведения о фактах, полученных с использованием технологий искусственного интеллекта, должны сообщать об этом суду» (могу ошибиться, но на вскидку — п. 42 постановления в последней редакции)
Неизбежно встает вопрос об относимости или допустимости доказательств, полученных с помощью AI.
Следующий шаг — признание правосубъектности искусственного интеллекта, а также его правоспособности и дееспособности.
В Австралии уже есть прецеденты признания за искусственным интеллектом авторских прав на изобретение.
«Участвующие в деле лица, представившие в суд сведения о фактах, полученных с использованием технологий искусственного интеллекта, должны сообщать об этом суду»
В Австралии уже есть прецеденты признания за искусственным интеллектом авторских прав на изобретение.
Австралийский суд признал авторские права за искусственным интеллектом после того, как Dabus изобрела аварийную световую сигнализацию и новый тип контейнера для пищевых продуктов Добавил suare 31 Июля 2021
на вскидку — п. 42 постановления в последней редакции
1. Про использование ИИ надо сообщать (п. 42).
Теперь прямо закреплено: если вы представляете доказательства, полученные с использованием ИИ-технологий, вы обязаны сообщить об этом суду.
Для сравнения: в арбитражном процессе такого требования нет. Но это не значит, что суд не будет оценивать источник данных.
Пока неясно, какая будет ответственность за невыполнение. Штрафы суд пока назначал только за ложные сведения от ИИ, но не за сам факт использования (определение Западно-Сибирского округа от 14.05.2026 по делу № А27-7831/2025).
Теперь прямо закреплено: если вы представляете доказательства, полученные с использованием ИИ-технологий, вы обязаны сообщить об этом суду.
определение, что такое «ИИ» дайте пожалуйста 😅
Базовым законом закрепляются основные термины, в том числе понятия искусственного интеллекта и большой фундаментальной модели искусственного интеллекта.
Что в нём ключевого
- Определения. В законе впервые на законодательном уровне закреплено понятие «искусственный интеллект» — это комплекс технологических решений, который имитирует когнитивные функции человека (включая самообучение и поиск решений без заранее заданного алгоритма), чтобы решать задачи на уровне, сопоставимом с человеческим или превосходящем его.
- Также введены термины «большая фундаментальная модель ИИ» (программа с не менее чем 1 млрд параметров, способная выполнять интеллектуальные задачи на сопоставимом с человеком уровне). Отдельно прописаны категории: суверенная модель (разрабатывается полностью российскими компаниями на всех стадиях) и национальная модель (может использовать открытые зарубежные компоненты и открытые решения).
- docs.cntd.ru
- audit-it.ru
- tass.rurbc.ru
- rg.ru

- Многозначная логика. Добавляет к «истине» и «лжи» промежуточные значения. Яркий пример — трёхзначная логика Я. Лукасевича. Есть и бесконечнозначные варианты. cyberleninka.ruru.wikipedia.org*
- Нечёткая логика (Fuzzy Logic). Позволяет значению истинности принимать любое действительное число в интервале от 0 до 1. Идеальна для задач, где границы размыты — например, в системах управления или искусственном интеллекте. ru.wikipedia.org*
- Интуиционистская логика. Отказывается от закона исключённого третьего и закона двойного отрицания. Акцент делается на constructive proof — доказательстве, которое даёт конкретный пример. ru.wikipedia.org*
- Модальная логика. Расширяет классическую логику, добавляя модальности (операторы вроде «необходимо» или «возможно»). Используется, чтобы рассуждать о времени, знаниях, нормах. ru.wikipedia.org*
- Паранепротиворечивая логика. Отвергает закон противоречия (из противоречия следует что угодно). полезна в ситуациях, когда в системе могут быть противоречия, но они не должны «разваливать» всё рассуждение. ru.wikipedia.org*
- Релевантная логика. Фокусируется на понятии релевантности, пытаясь избежать некоторых парадоксов, связанных с импликацией. ru.wikipedia.org*
- Темпоральная (временная) логика. Позволяет формализовать рассуждения о времени — прошлом, будущем, временных последовательностях. cyberleninka.ru
- Эпистемическая логика. Занимается понятиями знания, убеждения, возможности познания — применяется в философии науки, лингвистике. nbpublish.com
- Деонтическая логика. Изучает логические связи нормативных высказываний (что такое «обязательно», «разрешено», «запрещено») — находит применение в юриспруденке и этике. nbpublish.com
- Информатика и ИИ: нечёткая логика — для систем с неопределённостью, модальные и темпоральные логики — для верификации программ, паранепротиворечивые — для работы с противоречивыми базами знаний.
- Физика: квантовые логики помогают описывать квантовые явления.
- Лингвистика и гуманитарные науки: логики знаний, оценок, норм позволяют формализовать анализ естественного языка.
- cyberleninka.ru
- new-disser.ru
- llfp.hse.ru
- math.nsc.ru
- openrepository.ru
- epistemology_of_science.academic.ru
- elib.sfu-kras.ru
- studme.org
- scholar.sfu.ru
- ru.wikipedia.org*
- math.fandom.com
- iphras.ru
- homepage.mi-ras.ru
- research.sfu-kras.ru
- elib.utmn.ru
- dspace.bsuedu.ru
- infourok.ru
- dissercat.com
- nbpublish.com
- iphlib.ru
- b17.ru
- elib.kspu.ru
- cyberleninka.ru
- nsportal.ru
- dspace.bsuedu.ru
- Какие преимущества имеют нестандартные логики?
- Как применяются нестандартные логики в науке?
- Какие недостатки есть у нестандартных логик?
Ошибки в логике рассуждений человека это одно из главных условий творчества.
Или и то есть человек в результате проб и ошибок подходит к решению задачи разными способами, попутно открывая дополнительные закономерности.
Или скажем ещё точнее — не будет в мире нерешаемых задач, которые поставит человек перед ИИ.
Но ИИ не сможет сам себе поставить эти задачи.
ИИ не может творить, учитывая что зачатком процесса творчества является созерцание.

![[Без рассуждения] Золото математической олимпиады взято нейросетью. Как ей получены правильные ответы (возможно, по совершенно нестандартной или неизвестной логике) объяснить не может никто](/story_images/732000/1785844665_25_9qqrttr549bzysaf8u49yuod5f1w3ysx.jpg)



