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