koob.ru

Вагин В.Н.. Книги онлайн

Вагин В.Н.

Вагин Вадим Николаевич (12.01.1940 — 12.08.2019) — ведущий российский специалист по прикладной логике и логическим моделям интеллектуальных систем, доктор технических наук, профессор, лауреат премии Президента РФ в области образования, действительный член Российской академии естественных наук, член научного совета Российской ассоциации искусственного интеллекта (РАИИ), профессор кафедры прикладной математики Национального исследовательского университета «МЭИ».

Вадим Николаевич Вагин родился 12 января 1940 г. в г. Раменское Московской области. В 1957 г. поступил в Московский энергетический институт на новую в то время специальность «Математические и счетно-решающие приборы и устройства». В 1963 г. после окончания кафедры вычислительной техники (ВТ) МЭИ был направлен на знаменитую «королёвскую фирму» — предприятие п/я 989 в г. Калининград МО (ныне г. Королёв), где проработал около 2 лет. Затем его жизнь и научно-педагогическая деятельность в течение почти 55 лет были связаны с Московским энергетическим институтом. В 1965-1968 г. он учился в аспирантуре МЭИ (под руководством основоположника искусственного интеллекта в СССР Д.А. Поспелова). В 1968 г. защитил кандидатскую диссертацию на тему «Игровые методы управления сложными системами». С 1968 по 1976 г. ассистент, а затем, доцент кафедры ВТ МЭИ.

В 1976г. на базе кафедры ВТ и спецкурсов высшей математики была создана кафедра прикладной математики (ПМ) МЭИ. С1976 г. по 2019 г. Вадим Николаевич бессменно на ней работал: сначала до 1991 г. в должности доцента, а в 1991 г. он стал профессором. Его докторская диссертация, блестяще защищённая в 1990 г., была посвящена проблемам дедукции и обобщения в интеллектуальных системах.

Будучи учеником и соратником Д.А. Поспелова, участником Учредительного съезда РАИИ (Коломна, май 1989г.), много лет проработавшим в научном совете РАИИ, он принадлежал к плеяде первопроходцев исследований по искусственному интеллекту в нашей стране и внёс большой вклад в их развитие. Профессор В.Н. Вагин основал известную научную школу кафедры ПМ МЭИ по искусственному интеллекту и логическому выводу. Под его научным руководством подготовлено свыше 30 кандидатов и докторов технических наук из России, стран СНГ, Германии, Болгарии, Кубы, Индии, Египта, Мьянмы. Им опубликовано свыше 300 научных работ, включая фундаментальные монографии «Дедукция и обобщение в системах принятия решений» (М.: Наука, Физматлит, 1988. 373 с.) и «Достоверный и правдоподобный вывод в интеллектуальных системах» совместно с учениками (М.: Физматлит, 2004. 712 с.). Вторая выдержала два издания и получила первую премию РАИИ за лучшую фундаментальную работу.

Вадим Николаевич активно работал в составе редколлегии журнала «Известия РАН: Теория и системы управления». Он также входил в редколлегию «Вестника МЭИ» был членом международных редколлегий журналов «Программные продукты и системы» и «Искусственный интеллект и принятие решений».

В 2000 г. в составе межуниверситетского творческого коллектива, сформированного по инициативе РАИИ, профессор В.Н. Вагин был удостоен Премии Президента России в области образования 1999 г. за создание и внедрение учебно-методического комплекса «Модели, методы и программные средства конструирования интеллектуальных систем принятия решений и управления для высших учебных заведений». Затем в 2006 г. его избрали почётным профессором Таганрогского радиотехнического университета (ныне Южный федеральный университет), а в 2018 г. он стал победителем конкурса «Золотые имена Высшей Школы—2018» в номинации «За вклад в науку и высшее образование».

На протяжении долгих лет В.Н. Вагин читал фундаментальные курсы по математической логике, дискретной математике, искусственному интеллекту, прикладной семиотике как в России (МЭИ, Московском горном институте, Университете г.Переславль-Залесский), так и за рубежом, в том числе, в Египте и Турции. Хорошо владея английским языком, Вадим Николаевич неоднократно выступал с докладами на представительных международных конференциях и симпозиумах в США, Франции, Австрии, Испании, Италии, Болгарии, Словакии, Мексике, Швеции, Австралии, Японии, ЮАР и других странах.

Книги (1)

Достоверный и правдоподобный вывод в интеллектуальных системах
Раздел библиотеки: Математика

Соавторы: Головина Е.Ю.

Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах.

Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «с учителем» и «без учителя». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств.

Для студентов, аспирантов, обучающихся по направлениям «Прикладная математика и информатика», «Информатика и вычислительная техника» и специальностям «Прикладная математика» (по областям), «Прикладная математика и информатика», а также для специалистов в области искусственного интеллекта, интеллектуальных систем управления и принятия решений.

Добавить отзыв
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться