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


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


Доктор физико-математических наук (2001), доцент (1992) кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ. Член диссертационного совета РГГУ по техническим наукам - Д 212.198.13.


Область научных интересов и сфера научной деятельности:


Специалист в области неклассических логик и логических основ искусственного интеллекта, математической логики. Занимается проблемами аксиоматизации многозначных логик и формализации правдоподобных рассуждений.


Участие в научных советах, комиссиях, редколлегиях:


  • Член Российской ассоциации искусственного интеллекта.


Научно-педагогическая деятельность:


В РГГУ с 1994 года. Читает курсы лекций «Программирование», «Интеллектуальные системы», «Аксиоматические системы и элементы теории моделей», «Нечеткие множества», «Аксиоматические системы и элементы теории моделей».


Автор более 60 работ.


Основные публикации:


  • О некоторой конструктивизации пропозициональной логики Д. А. Бочвара // Семиотика и информатика. 1980. Вып. 15. С. 61-73.
  • Логика ВЗ и булевы алгебры // Там же. 1981. Вып. 16. С. 74-79.
  • О многозначных логических исчислениях // Докл. АН СССР. 1982. Т. 264, № 2. С. 267-270.
  • О некоторых конструктивизациях пропозициональных логик Д. А. Бочвара и С. Холдена // Исследования по неклассическим логикам и формальным системам. М., 1983. С. 335-359.
  • Об аксиоматизации конечнозначных логических исчислений // Мат. сб. 1984. С. 71-89. Соавт. Рычков С. В.
  • On axiomatization of many-valued logics assotiated with formalization of Plausible reasoning // Studia Logica. 1989. Vol. 48, № 4. P. 23-47. In coop.: Finn V. K., Skvortsov D. R.
  • О повышении эффективности труда при разработке педагогических программных средств непрофессиональными программистами // Содержание, методы и формы развивающего обучения математике в школе и вузе: Тез. докл. межрегион. науч.-практ. конф. . Орехово-Зуево, 1995. С. 92-97. Соавт. Ерастова Н. Б.
  • On finite-valued propositional logical calculi // Notre Dame Journal of Formal Logic. 1995. Vol. 36, № 4. P. 606-628. In coop. Rychkov S.
  • J-логики и соответствующие им классы алгебр // Логические исследования. М., 1998. Вып. 5. С. 25-52.
  • Каузальные модели предметных областей // Науч.-техн. информация. Сер. 2, Информ. процессы и системы. 2000. № 3. С.3-17.




Назад в раздел