|
Об авторе
  Финн Виктор Константинович Известный специалист в области искусственного интеллекта, логики и методологии наук о жизни и социальном поведении. Доктор технических наук (1990; тема диссертации — «Правдоподобные рассуждения в экспертных системах с неполной информацией»), профессор, заслуженный деятель науки Российской Федерации. В настоящее время — главный научный сотрудник Федерального исследовательского центра «Информатика и управление» РАН, а также руководитель Отделения интеллектуальных систем в гуманитарной сфере Российского государственного гуманитарного университета.
Основные научные результаты: формализация n-значных обобщений трехзначной логики Д. А. Бочвара и исследование их алгебраических свойств; установление предполноты множества функций n-значных логик Я. Лукасевича, таких, что n–1 есть простое число; построение логик аргументации с неассоциативными логическими связками; создание ДСМ-метода автоматизированной поддержки исследований (ранее — ДСМ-метод автоматического порождения гипотез), содержащего автоматизированные правдоподобные рассуждения, которые применяются в интеллектуальных системах для фармакологии, медицины, социологии и криминалистики. В своих исследованиях В. К. Финн существенным образом использует идеи выдающихся отечественных логиков Д. А. Бочвара и А. В. Кузнецова. |