Финн Виктор Константинович

Виктор Константинович Финн
Дата рождения:	9 сентября 1933 года
Место рождения:	Москва
Научная сфера:	Искусственный интеллект, многозначные логики
Место работы:	ВИНИТИ РАН
Альма-матер:	механико-математический факультет МГУ

Финн Виктор Константинович (родился 9 сентября 1933 г в Москве) — доктор технических наук, заведующий отделением интеллектуальных систем Института лингвистики РГГУ, член ученого совета ВИНИТИ РАН, член диссертационного совета по защите докторских диссертаций ВИНИТИ, член редколлегии журнала «Научно-техническая информация», член Российской ассоциации искусственного интеллекта, международной ассоциации оснований науки.

Биография

Родился 9 сентября 1933 г в Москве. Окончил философский факультет МГУ в 1957 г, механико-математический факультет МГУ в 1966 г. С 1957 г.работал в Отделе математической логики лаборатории электромоделирования в Институте точной механики и вычислительной техники АН СССР (зав. лаборатории — Л. И. Гутенмахер); в 1959 Лаборатория вошла в состав ВИНИТИ АН СССР, где он работал главным научным сотрудником, заведующим сектором интеллектуальных систем. Одновременно — заведующим отделением интеллектуальных систем РГГУ. Тема кандидатской диссертации (1975) — «Логические проблемы информационного поиска», докторской диссертации (1990) — «Правдоподобные рассуждения в экспертных системах с неполной информацией». Был членом Совета Клуба избирателей АН СССР (1989—1991); женат, имеет дочь; увлечение — социология. Читает курс лекций по математической логике и применению логических методов в социологии и социальной психологии в РГГУ. Заведующий отделением Интеллектуальных систем в гуманитарной сфере ИЛ РГГУ.

Основные направления исследований

• Логика (в частности, многозначные логики, теория правдоподобных рассуждений);
• Логика и философские основания систем искусственного интеллекта;
• Логические основания гуманитарных наук.
• В области исчислений многозначных логик;
• В применении трехзначных логик к анализу логических парадоксов;
• В области алгебраических свойств многозначных логик (в частности, функциональной полноты);
• В теории правдоподобных рассуждений и автоматическом порождении гипотез в интеллектуальных системах;
• Предложил новый метод анализа социологических данных в интеллектуальных системах;
• Предложил способ формализации многозначных логик, использующий два типа пропозициональных переменных (для булевских и небулевских значений);

Разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, реализующих правдоподобные рассуждения в решателях задач типа «правдоподобный вывод + достоверный вывод». В решателях этого типа используется ДСМ-метод автоматического порождения гипотез, формализующий и расширяющий индуктивные методы Д. С. Милля. ДСМ-метод является вариантом современной теории индуктивного обучения, в которой используются автоматически порождаемые из фактов аргументы «за» и аргументы «против» исследуемого эффекта (плюс-гипотеза и минус-гипотеза);

Сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Показал, что ДСМ-метод автоматического порождения гипотез есть вариант синтеза познавательных процедур: индукции, аналогии, абдукции и дедукции. Установил, что ДСМ-метод автоматического порождения гипотез есть каузальная аргументация и конструктивная абдукция, уточняющая идею абдуктивного вывода в смысле Ч. С. Пирса. Методологии следствия ДСМ-метод автоматического порождения гипотез создали основу для развития точной эпистемологии с познающим субьектом.

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

• Логические проблемы информационного поиска. М.: Наука, 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 с.

Ссылки

• Финн Виктор Константинович на сайте РГГУ