Аншаков Олег Михайлович
Аншаков Олег Михайлович (родился 12 августа 1953 г., Стерлитамак) – доктор физико-математических наук, профессор кафедры математики, логики и интеллектуальных систем в гуманитарной сфере в Российском государственном гуманитарном университете (РГГУ). Автор свыше 70 научных статей, эксперт Российского фонда фундаментальных исследований (РФФИ).
Краткая информация | |||||
---|---|---|---|---|---|
Дата рождения: | 12 августа 1953 г. | ||||
Место рождения: | г. Стерлитамак (Башкирская АССР) | ||||
Страна (рождения-проживания): | СССР - Россия | ||||
Научная сфера: | Физико-математические науки, Изучение искусственного интеллекта | ||||
Место работы: | Российский государственный гуманитарный университет | ||||
Альма-матер: | Стерлитамакский государственный педагогический институт (1975 г.) | ||||
Ученая степень: | Доктор физико-математических наук | ||||
Ученое звание: | Профессор | ||||
Научный руководитель: | Попова Е.К. |
Биография
Родился 12 августа 1953 г. в Стерлитамаке (Башкирская АССР).
Образование
В 1975 г. окончил Стерлитамакский государственный педагогический институт. С 1979 по 1982 гг. учился в аспирантуре на кафедре математического анализа МГПИ им. В.И. Ленина по специальности «Математическая логика, алгебра и теория чисел».
В 1985 г. защитил диссертацию на соискание ученой степени кандидата физико-математических наук. Тема – «Интуиционисткие версии конечнозначных логик» (специальность 01.01.06. Математическая логика, алгебра и теория чисел).
В 2000 г. защитил диссертацию на соискание ученой степени доктора физико-математических наук. Тема – «Логико-математические основания ДСМ-метода автоматического порождения гипотез» (специальность 05.13.17. Теоретические основы информатики).
Трудовая деятельность
С 1982 по 1986 гг. преподавал в Стерлитамакском государственном педагогическом институте.
С 1986 по 1994 г. преподавал в Орехово-Зуевском педагогическом институте.
С 1994 г. по наст. вр. преподает в РГГУ.
За время своей трудовой деятельности участвовал в экспертной группе по грантам РФФИ (Российский фонд фундаментальных исследований), РГНФ (Российский гуманитарный научный фонд), РНФ (Российский научный фонд) и правительственным программам. Участвовал в деятельности Российской ассоциации искусственного интеллекта. Был членом Научного совета Российской ассоциации искусственного интеллекта, был членом диссертационных советов в РГГУ и ВИНИТИ (Всероссийский институт научной и технической информации РАН), был членом Экспертного совета РФФИ. В настоящее время эксперт РФФИ. Принимал участие в национальных и международных конференциях.
Сфера научных интересов
- Неклассические логики и искусственный интеллект
- Логика интеллектуальных систем
Членство в ученых и общественных советах
Эксперт Российского фонда фундаментальных исследований (РФФИ).
Основные печатные труды
- Монографии
- Anshakov О., Gergely Т. Cognitive Reasoning: A Formal Approache. Berlin: Springer, 2019. 437 p.
- Статьи
- Аншаков О.М. Проблема автоматического определения метра и ритма русского стиха: математические модели и алгоритмы // Труды Института русского языка им. В.В. Виноградова. 2017. № 11. С. 178–187.
- Аншаков О.М., Чернышова П.Л. Web-портал по стиховедению: каким он должен быть и что уже есть // Труды Института русского языка им. В.В. Виноградова. 2017. № 11. С. 340–350.
- Аншаков О.М., Гергей Т. Представление структуры событий в системе формализованных когнитивных рассуждений // Репрезентация событий: интегрированный подход с позиции когнитивных наук / Отв. ред. В.И. Заботкина. М.: Издательский дом ЯСК, 2017. С. 79–92.
- Anshakov O., Gergely T. Cognitive Reasoning Framework: Possibilities, Problems, Prospects // Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). May 16–21, 2016, Rostov-on-Don – Sochi, Russia, 2016. Р. 3–13.
- Anshakov O.M. The JSM method: A set-theoretical explanation // Automatic Documentation and Mathematical Linguistics. 2012. No 46 (5). P. 202–220.
- Anshakov O., Gergely T. Constructive Theory of Cognitive Reasoning. Präsens, 2012. Р. 74–91.
- Anshakov O.M. The JSM method and modification calculus // Scientific and Technical Information Processing. 2010. No 37 (5). P. 265–283.
- Anshakov O., Rychkov S. On finite-valued propositional logical calculi // Notre Dame Journal of Formal Logic. 1995. No 36 (4). P. 606–629.
- Anshakov O.M., Finn V.K., Skvortsov D.P. On axiomatization of many-valued logics associated with formalization of plausible reasonings // Studia Logica. 1989. No 48 (4). P. 423–447.
Примечания
- Страница в рубрике «Кто есть кто» на сайте РГГУ (https://www.rsuh.ru/who_is_who/anshakov-oleg-mikhaylovich/)
- Докторская диссертация в электронной библиотеке диссертаций (https://www.dissercat.com/content/logiko-matematicheskie-osnovaniya-dsm-metoda-avtomaticheskogo-porozhdeniya-gipotez)
- Диссертация на ресурсе «Dissercat»
(https://www.dissercat.com/content/intuitsionistskie-versii-konechnoznachnykh-logik)
Ссылки
- Страница в рубрике «Кто есть кто» на сайте РГГУ (https://www.rsuh.ru/who_is_who/anshakov-oleg-mikhaylovich/)
- Докторская диссертация
- Профиль в РИНЦ