Доктор физико-математических наук (2001).
Доцент (1992) кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ.
Член диссертационного совета РГГУ по техническим наукам - Д 212.198.13.
Член совета Научно-образовательного центра когнитивных программ и технологий РГГУ
Биографические сведения:
СГПА (г. Стерлитамак), физико-математический факультет, 1970-1975.
МГПУ (г. Москва), математический факультет, 1979 — 1982. Аспирантура (кафедра математического анализа). Научные руководители: Ф.А.Кабаков и Д.А.Бочвар.
Область научных интересов и сфера научной деятельности:
Специалист в области неклассических логик и логических основ искусственного интеллекта, математической логики. Занимается проблемами аксиоматизации многозначных логик и формализации правдоподобных рассуждений.
Участие в научных советах, комиссиях, редколлегиях:
Член Российской ассоциации искусственного интеллекта.
Научно-педагогическая деятельность:
В РГГУ с 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.