?
Логические методы формирования объяснений в задачах принятия решений при неполной информации о предметной области
Приборы и системы. Управление, контроль, диагностика. 2013. № 3. С. 17–24.
Гришкина М. П., Боголюбов Д. П.
В статье рассматриваются различные формы логических рассуждений: дедукция, индукция и абдукция. Приведены алгоритм абдуктивного вывода и примеры формирования объяснений в задачах принятия решений при неполной информации о проблемной области.
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Подольская Е. С., Геодезия и картография 2024 Т. 85 № 8 С. 51–60
Интеллектуальные информационные системы в геоинформатике – перспективное направление развития науки, производства и образования. В статье представлен анализ публикаций по интеллектуальным геоинформационным системам, сделан краткий обзор российской практики образовательных курсов и учебных пособий с темами интеллектуальных геоинформационных систем. Рассмотрены структура и содержание лекций и практических работ курса по геоинформационным технологиям в интеллектуальных системах, который читается студентам ...
Добавлено: 22 марта 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Бояров Е. Н., Абрамова С. В., Шитов Э. Н. и др., В кн.: Приморские зори - 2024: Международные научные чтения: сборник научных трудов, Владивосток, 18–20 апреля 2024 года.: Владивосток: Дальневосточный федеральный университет, 2024. С. 166–170.
В статье проведен анализ необходимости и эффективности применения современных средств, в частности искусственного интеллекта и больших данных, в процессах моделирования управления производственными и профессиональными рисками. Рассматривается, каким образом интеграция передовых технологических решений способствует повышению точности прогнозирования потенциальных рисков, а также обеспечивает оптимизацию ресурсов и процессов управления рисками в организациях. Освещаются основные этапы построения моделей управления ...
Добавлено: 24 сентября 2025 г.
Боев С. Ф., Ступин Д. Д., Кочкаров А. А., М.: Издательство МГТУ им. Н.Э. Баумана, 2016.
Вводные лекции по курсу "Интеллектуальные информационные радиофизические системы" ...
Добавлено: 7 марта 2025 г.
Курск: Курский государственный университет, 2024.
В сборнике публикуются научные статьи по материалам V Международной научно-технической конференции «Интеллектуальные информационные системы: Теория и практика».
Издание адресовано студентам, аспирантам, преподавателям вузов, кандидатам и докторам наук, практикующим специалистам, всем, кто проявляет интерес к проектированию и разработке интеллектуальных информационных систем, их практическим приложениям, а также методам и алгоритмам интеллектуального анализа и обработки. ...
Добавлено: 17 февраля 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Добавлено: 25 июня 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Боброва А. С., Дискурс 2023 Т. 9 № 1 С. 5–17
В статье показывается, какими средствами в теории аргументации может уточняться абдуктивный шаг диалога. Для этой цели задействуются аргументативные схемы, то есть стереотипные образцы наиболее употребляемых естественных рассуждений. Основная задача работы – предложить уточненную версию аргументативной схемы абдукции и сопроводить ее набором критических вопросов. ...
Добавлено: 31 октября 2022 г.
Семакин И. Г., Залогова Л. А., Русаков С. В. и др., М.: Просвещение, 2022.
Учебник предназначен для изучения в 8 классе общеобразовательной школы. Учебник содержит теоретический материал курса, материалы для закрепления знаний. В конце каждой главы в схематическом виде представлена схема основных понятий. Некоторые главы содержат дополнительный раздел, предназначенный для изучения темы на углубленном уровне.
Учебник допущен к использованию в соответствии с Приказом Министерства просвещения Российской Федерации №254 от 20.05.20 ...
Добавлено: 31 октября 2022 г.
Боброва А. С., Вестник Томского государственного университета. Философия. Социология. Политология 2022 № 67 С. 5–16
Рассматриваются ключевые логико-эпистемологические представления о природе абдукции, которые смогут уточнить принципы ее работы в области теории аргументации. Абдукция понимается как рассуждение, заключение которого порождает гипотезу-догадку. Эта гипотеза требует проверки, призывая тем самым к дальнейшим исследованиям. Особое внимание уделяется недавно открытому решению Пирса. Автор заявляет об отсутствии конфликта интересов. ...
Добавлено: 27 октября 2022 г.
В монографии рассмотрены физические основы теории и практики электротехнических комплексов промышленных предприятий на примере нефтегазодобывающей отрасли.
Проанализированы научно-технические проблемы повышения точности прогнозирования электропотребления. Выполнен анализ работы основных групп электропотребителей для повышения эффективности управления и обоснования режимов экономии электрической энергии предприятий.
Разработаны методики по оценке технического состояния потребителей-регуляторов и обоснованию экономии электрической энергии и заявленной мощности. Рассмотрена научная ...
Добавлено: 6 сентября 2022 г.