Биография Финн Виктор Константинович
(р. 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) и др.; женат, имеет дочь; увлечение — социология.
красноскулов владимир феодосиевич
Биография Финн Виктор Константинович
Биография Финн Виктор Константинович