Виктор Константинович Финн | |
---|---|
Дата рождения | 15 июля 1933 (85 лет) |
Место рождения | Москва, СССР |
Страна | |
Учёная степень | доктор технических наук |
Альма-матер | |
Язык(и) произведений | русский |
Школа/традиция | Московский логический кружок |
Ви́ктор Константи́нович Финн (род. 15 июля 1933, Москва) — советский и российский философ, учёный, доктор технических наук, заведующий отделением интеллектуальных систем Института лингвистики РГГУ, член учёного совета ВИНИТИ РАН, член диссертационного совета по защите докторских диссертаций ВИНИТИ, член редколлегии журнала «Научно-техническая информация», член Российской ассоциации искусственного интеллекта, международной ассоциации оснований науки.
Отцом Виктора Константиновича был советский беллетрист и драматург Константин Яковлевич Финн-Хальфин.
В 1957 г. Виктор Константинович окончил философский факультет МГУ, а в 1966 — механико-математический факультет МГУ. В 1950-е годы — член Московского логического кружка, который покинул вместе с А. А. Зиновьевым и рядом других участников.
С 1957 г. работал в Отделе математической логики лаборатории электромоделирования в Институте точной механики и вычислительной техники АН СССР (зав. лаборатории — Л. И. Гутенмахер); в 1959 Лаборатория вошла в состав ВИНИТИ АН СССР, где он работал главным научным сотрудником, заведующим сектором интеллектуальных систем (зав. отделением — Гиляревский Руджеро Сергеевич). В 2016 году исследовательская группа, возглавляемая В. К. Финном, перешла на работу в Институт системного анализа РАН.
Тема кандидатской диссертации (1975) — «Логические проблемы информационного поиска», докторской диссертации (1990) — «Правдоподобные рассуждения в экспертных системах с неполной информацией».
С 1989 по 1991 год был членом совета Клуба избирателей АН СССР.
Женат, имеет дочь; увлечение — социология.
В настоящий момент Виктор Константинович читает курс лекций по математической логике и применению логических методов в социологии и социальной психологии в РГГУ, а также заведует отделением интеллектуальных систем в гуманитарной сфере института лингвистики РГГУ.
Разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, реализующих правдоподобные рассуждения в решателях задач типа «правдоподобный вывод + достоверный вывод». В решателях этого типа используется ДСМ-метод автоматического порождения гипотез, формализующий и расширяющий индуктивные методы Д. С. Милля. ДСМ-метод является вариантом современной теории индуктивного обучения, в которой используются автоматически порождаемые из фактов аргументы «за» и аргументы «против» исследуемого эффекта (плюс-гипотеза и минус-гипотеза);
Сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Показал, что ДСМ-метод автоматического порождения гипотез есть вариант синтеза познавательных процедур: индукции, аналогии, абдукции и дедукции. Установил, что ДСМ-метод автоматического порождения гипотез есть каузальная аргументация и конструктивная абдукция, уточняющая идею абдуктивного вывода в смысле Ч. С. Пирса. Методологии следствия ДСМ-метод автоматического порождения гипотез создали основу для развития точной эпистемологии с познающим субъектом.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .