РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Государственные награды, почетные звания, благодарности

Заслуженный деятель науки Российской Федерации

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

Читает курсы лекций - "Математическая логика", "ДСМ-метод автоматизированной поддержки научных исследований и интеллектуальный анализ данных".

Сфера научных интересов

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

Публикации

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

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

• Логические проблемы информационного поиска. М.: Наука, 1976. 152с.
• Алгебры Бочвара и соответствующие им пропозиционные исчисления // Исследования по неклассическим логикам и теории множеств. М., 1979. С. 345-372.
• К формальному определению понятия информационно-поисковой системы // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1981. № 5. С. 5-15.
• Информационные системы и проблемы их интеллектуализации // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1984. № 1. С. 1-14.
• On Axiomatization of Many-valued Logics Assotiated with Formalization of Plausible Reasoning // Studia Logica. 1989. Vol. 48, № 4. P. 23-47. In coop.: Anshakov O.M., Skvortsov D.R.
• Интеллектуальные системы: проблемы их развития и социальные последствия // Будущее искусственного интеллекта. М., 1991. С. 157-177.
• Проблемы исторического познания в свете современных междисциплинарных исследований. М.: РГГУ, 1997. 255 с. Соавт. Хвостова К.В.
• Сост., общ. ред., вступ. ст., авт. ст.: Есенин-Вольпин А.С. Философия. Логика. Поэзия. Зашита прав человека: Избранное. М., 1999. 450 с. Из содерж.: Неологицизм - философия обоснованного знания. С. 15-31.
• Сост., общ. ред.: Многозначные логики и их применения: Логические исчисления, алгебры и функциональные свойства. Том 1. М.: УРСС, 2008. 416 с.
• Сост., общ. ред.: Многозначные логики и их применения: Логики в системах искусственного интеллекта. Том 2. М.: УРСС, 2008. 240 с.
• Финн В.К. Индуктивные методы Д.С. Милля в системах искусственного интеллекта. Часть I // Искусственный интеллект и принятие решений. – 2010. – №3. – С. 3-21; Часть II // Там же. – № 10. – С. 14-48.
• Финн В.К. Искусственный интеллект: методология, применения, философия. М.: КРАСАНД, 2011.
• Финн В.К. Искусственный интеллект. Гл. 3. Стандартные и нестандартные логики аргументации. – М.: КРАСАНД, 2011. – С. 312-338.
• Финн В.К. Эпистемологические основания ДСМ-метода автоматического порождения гипотез. Часть I // Научно-техническая информация. Сер. 2. – 2013. – №9. – С. 1-29; Часть II // Там же. – № 12. – С. 1-26.
• Финн В.К. О классе ДСМ-рассуждений, использующих изоморфизм правил индуктивного вывода // Искусственный интеллект и принятие решений. – 2016. – №3. – С. 48-61.
• Финн В.К., О.П. Шестерникова Эвристика обнаружения эмпирических закономерностей посредством ДСМ-рассуждений // Научно-техническая информация. Сер. 2. – 2018. - №9. – С. 7-42.

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

• Член диссертационного совета по защите докторских диссертаций ФИЦ «Информатика и управление» РАН,
• Член редколлегии журнала "Искусственный интеллект и принятие решений",
• Член Совета Российской ассоциации искусственного интеллекта.