Большая биографическая энциклопедия - финн виктор константинович

(р. 15.07.1933) — спец. в обл. логики, искусственного интеллекта; д-р техн. наук, проф. Род. в Москве. Окончил филос. (1957) и механико-матем. (1966) ф-ты МГУ. С 1957 работал в Отделе матем. логики Лаборатории электромоделирования АН СССР; в 1959 Лаборатория вошла в состав ВИНИТИ АН СССР, где Ф. работал гл. н.с, зав. сектором интеллект, систем. Одновременно — зав. отделением интеллект, систем РГГУ. Тема канд. дисс. (1975) — "Логические проблемы информационного поиска". Докт. дисс. (1990) — "Правдоподобные рассуждения в экспертных системах с неполной информацией". Акад. РАЕН. Осн. направления иссл.: логика (в частности, многозначные логики, теория правдоподобных рассуждений); логика и филос. основания систем искусственного интеллекта; логич. основания гуманит. наук. Ф. имеет науч. результаты в обл. исчислений многозначных логик, в применении трехзначных логик к анализу логич. парадоксов, в обл. алгебраических свойств многозначных логик (в частности, функциональной полноты), в теории правдоподобных рассуждений и автоматическом порождении гипотез в интеллектуальных системах; предложил новый метод анализа социол. данных в интеллектуальных системах. Предложил способ формализации многозначных логик, использующий два типа пропозициональных переменных (для булевских и небулевских значений), разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, реализующих правдоподобные рассуждения в решателях задач типа "правдоподобный вывод + достоверный вывод". В решателях этого типа используется ДСМ-метод автоматического порождения гипотез, формализующий и расширяющий индуктивные методы Д.С.Милля. ДСМ-метод является вариантом совр. теории индуктивного обучения, в к-рой используются автоматически порождаемые из фактов аргументы "за" и аргументы "против" исследуемого эффекта (плюс-гипотеза и минус-гипотеза). Сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Показал, что ДСМ-метод автоматического порождения гипотез есть вариант синтеза познават. процедур: индукции, аналогии, абдукции и дедукции. Установил, что ДСМ-метод автоматического порождения гипотез есть каузальная аргументация и конструктивная абдукция, уточняющая идею абдуктивного вывода в смысле Ч.С.Пирса. Методол. следствия ДСМ-метод автоматического порождения гипотез создали основу для развития точной эпистемологии с познающим субьектом.

Соч.: Логические проблемы информационного поиска. М., 1976; Алгебры Бочвара и соответствующие им пропозициональные исчисления. [В соавт.] // Исследования по неклассическим логикам и теории множеств. М., 1979; Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. "Теория вероятностей". Математическая статистика. Теоретическая кибернетика. Т.28. М., 1988; Правдоподобные рассуждения в интеллектуальных системах типа ДСМ // Итоги науки и техники. Сер. "Информатика". Т.15. М., 1991; Интеллектуальные системы: проблемы их развития и социальные последствия // Будущее искусственного интеллекта. М., 1991; Неологизм — философия обоснованного знания // ВФ. 1996. № 8; Об одном варианте логики аргументации // Научно-техническая информация. Сер.2. 1996. № 5—6; Проблемы исторического познания в свете современных междисциплинарных исследований. [В соавт.]. М., 1997.

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

Заведующий сектором интеллектуальных систем, главный научный сотрудник Всероссийского института научной и технической информации (ВИНИТИ) РАН, заведующий отделением интеллектуальных систем (в гуманитарной сфере) факультета теоретической и прикладной лингвистики Российского государственного гуманитарного университета; родился 9 сентября 1933 г. в г. Москве; окончил философский факультет МГУ в 1957 г., механико-математический факультет МГУ в 1966 г., доктор технических наук, профессор; академик РАЕН (1994); с 1980 г. — старший, с 1984 г. — ведущий, с 1992 г. — главный научный сотрудник, с 1993 г. — заведующий сектором ВИНИТИ; был членом Совета Клуба избирателей АН СССР (1989—1991); автор научных трудов "Логические проблемы информационного поиска" (1976), "Проблемы исторического познания в свете междисциплинарных исследований" (1997) и др.; женат, имеет дочь; увлечение — социология.

Большая биографическая энциклопедия

2009