Аншаков Олег Михайлович

Материал из Сто страниц РГГУ
Версия от 13:07, 2 августа 2023; Cutieannie (обсуждение | вклад) (Новая страница: «350px|thumb '''Аншаков Олег Михайлович''' (родился 12 августа 1953 г., Стерлитамак) – доктор физико-математических наук, профессор кафедры математики, логики и интеллектуальных систем в гуманитарной сфере в Российском государственном гуманитарн...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Аншаков Олег Михайлович (родился 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.dissercat.com/content/intuitsionistskie-versii-konechnoznachnykh-logik)

Ссылки

(https://www.dissercat.com/content/logiko-matematicheskie-osnovaniya-dsm-metoda-avtomaticheskogo-porozhdeniya-gipotez)

  • Профиль в РИНЦ

(https://elibrary.ru/item.asp?id=32593801)