Вагин, В. Н. Исследования и разработки кафедры прикладной математики по конструированию интеллектуальных систем поддержки принятия решений на основе нетрадиционных логик [Текст] / В. Н. Вагин, А. П. Еремеев // Вестник Московского энергетического института. - 2008. - N 5. - С. 16-27. . - Библиогр.: с. 26 (34 назв. )
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): прикладная математика -- информатика -- нетрадиционная логика -- системы поддержки принятия решений -- искусственный интеллект -- мониторинг -- программные средства -- кафедры Аннотация: Описываются основные направления и результаты исследований по разработке базовых методов конструирования интеллектуальных систем поддержки принятия решений. Доп.точки доступа: Еремеев, А. П. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |
Вагин, В. Н. Методы абдуктивного вывода в задачах планирования работы в сложных объектах [Текст] / В. Н. Вагин, К. Ю. Хотимчук // Известия РАН. Теория и системы управления. - 2010. - N 5. - С. 95-113. . - Библиогр.: c. 112-113 (30 назв. )
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): планирование работы в сложных объектах -- интеллектуальные системы -- методы абдуктивного вывода -- системы поддержки истинности -- алгоритмы абдуктивного вывода -- Assumption-based Truth Maintenance System-based Abduction Algorithm -- Implicate Abductive Algorithm -- энергохранилища -- задачи составления расписаний Аннотация: Рассматриваются методы абдуктивного вывода в интеллектуальных системах. Приводится описание систем поддержки истинности, основанных на предположениях, и базовых понятий для работы с системами поддержки истинности, основанными на предположениях. Разработаны алгоритмы абдуктивного вывода: Assumption-based Truth Maintenance System-based Abduction Algorithm и алгоритм Implicate Abductive Algorithm с использованием первичных импликат. Дается их сравнительная характеристика. Результаты экспериментов, проведенных на примере задачи составления расписаний для энергохранилищ, подтвердили эффективность алгоритма Assumption-based Truth Maintenance System-based Abduction Algorithm. Доп.точки доступа: Хотимчук, К. Ю. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Вагин, В. Н. Параллельный логический вывод на многоядерном компьютере [Текст] / В. Н. Вагин, В. П. Кутепов, К. Ю. Хотимчук // Вестник Московского энергетического института. - 2011. - N 3. - С. 82-87.
Рубрики: Вычислительная техника Архитектура вычислительных машин в целом Кл.слова (ненормированные): предикаты -- дизъюнкт -- кластеры Аннотация: Рассматривается задача распараллеливания резолюционного вывода в логике предикатов первого порядка. Доп.точки доступа: Кутепов, В. П.; Хотимчук, К. Ю. Имеются экземпляры в отделах: всего 1 : эн.ф. (1) Свободны: эн.ф. (1) |
Вагин, В. Н. Использование логики предикатов первого порядка в системах поддержки истинности на основе предположений [Текст] / В. Н. Вагин, Д. С. Зарецкий // Программные продукты и системы. - 2013. - № 4. - С. 127-133. - Библиогр.: с. 132-133 (8 назв.) . - ISSN 0236-235X
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): ATMS -- логика предикатов -- логические выводы -- системы поддержки истинности -- учет предположений Аннотация: Система поддержки истинности, основанная на предположениях (ATMS), является мощным инструментом поддержки логического вывода и наряду с достоверными фактами использует в своей работе факты, истинность которых неопределенна или на данном этапе неочевидна (множество предположений). За счет сохранения информации о происхождении сделанных выводов и анализа возникающих противоречий ATMS удается отсекать те подмножества предположений, которые были сделаны неверно. Доп.точки доступа: Зарецкий, Д. С. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Вагин, В. Н. Программная реализация системы аргументации со степенями обоснования [Текст] = Software implementation of an argumentation system withjustification degrees / В. Н. Вагин, О. Л. Моросин // Программные продукты и системы. - 2015. - № 1. - С. 21-27 : ил.: 5 рис. - Библиогр.: с. 27 (11 назв.) . - ISSN 0236-235X
Рубрики: Информатика Информационные системы с базами знаний Кл.слова (ненормированные): аргументация -- немонотонные выводы -- пересматриваемые рассуждения -- принятие решений -- степени обоснования Аннотация: Были рассмотрены теоретические основы пересматриваемых рассуждений и дан обзор системы, разработанной на данной теории. Разработанная программная система справилась со многими задачами, не решаемыми с точки зрения классической логики. Она была протестирована и отлажена на многих тестовых задачах. Доп.точки доступа: Моросин, О. И. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Вагин, В. Н. Кластеризация пользователей по голосу с помощью улучшенных самоорганизующихся растущих нейронных сетей [Текст] = Speaker clustering using enhanced self-organizing incremental neural networks / В. Н. Вагин, В. А. Ганишев // Программные продукты и системы. - 2015. - № 3. - С. 136-142 : ил.: 3 рис. - Библиогр.: с. 142 (18 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Вычислительные сети Образование. Педагогика Применение вычислительной техники в педагогике Кл.слова (ненормированные): голосовые технологии -- искусственный интеллект -- кластеризация -- обучение без учителя -- растущие нейронные сети Аннотация: В данной работе рассматривается применение метода обучения без учителя на основе самоорганизующихся растущих нейронных сетей для задачи кластеризации пользователей по голосу. Доп.точки доступа: Ганишев, В. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Вагин, В. Н. Методы индуктивного вывода и аргументации в современных интеллектуальных системах поддержки принятия решений [Текст] / В. Н. Вагин, О. Л. Моросин, М. В. Фомина // Известия РАН. Теория и системы управления. - 2016. - № 1. - С. 86-103. - Библиогр.: с. 102-103 (29 назв. ) . - ISSN 0002-3388
Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): ИСППР -- алгоритмы обобщения -- генетические алгоритмы -- интеллектуальные системы поддержки принятия решений -- машинное обучение -- методы аргументации -- методы индуктивного вывода -- эволюционное программирование Аннотация: Рассматривается возможность улучшения точности классификации для задачи обобщения. Предлагается использовать методы аргументации, основанной на пересматриваемых рассуждениях со степенями обоснования для улучшения классификационных моделей, получаемых алгоритмами обобщения. В работе приводятся предложенные методы и алгоритмы, описываются результаты экспериментов на различных тестовых наборах данных, в том числе содержащих шум в исходных данных. Доп.точки доступа: Моросин, О. Л.; Фомина, М. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Памяти Вадима Николаевича Вагина [Текст] // Известия РАН. Теория и системы управления. - 2020. - № 1. - С. 3 : 1 фот. . - ISSN 0002-3388
Рубрики: Наука. Науковедение История науки--Россия Кл.слова (ненормированные): биографии ученых -- интеллектуальные системы -- искусственный интеллект -- памяти ученых -- российские ученые -- ученые Аннотация: Памяти известного российского ученого в области искусственного интеллекта Вадима Николаевича Вагина. Доп.точки доступа: Вагин, В. Н. (доктор технических наук ; 1940-2019) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |