|  | 

Ф

Биография Финн Виктор Константинович

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



красноскулов владимир феодосиевич

Биография Финн Виктор Константинович