Финн
Финн, Виктор Константинович
(р. 15.07.1933) - спец. в обл. логики, искусственного интеллекта; д-р техн. наук, проф. Род. в Москве. Окончил филос. (1957) и механико-матем. (1966) ф-ты МГУ. С 1957 работал в Отделе матем. логики Лаборатории электромоделирования АН СССР; в 1959 Лаборатория вошла в состав ВИНИТИ АН СССР, где Ф. работал гл. н.с, зав. сектором интеллект, систем. Одновременно - зав. отделением интеллект, систем РГГУ. Тема канд. дисс. (1975) - "Логические проблемы информационного поиска". Докт. дисс. (1990) - "Правдоподобные рассуждения в экспертных системах с неполной информацией". Акад. РАЕН. Осн. направления иссл.: логика (в частности, многозначные логики, теория правдоподобных рассуждений); логика и филос. основания систем искусственного интеллекта; логич. основания гуманит. наук. Ф. имеет науч. результаты в обл. исчислений многозначных логик, в применении трехзначных логик к анализу логич. парадоксов, в обл. алгебраических свойств многозначных логик (в частности, функциональной полноты), в теории правдоподобных рассуждений и автоматическом порождении гипотез в интеллектуальных системах; предложил новый метод анализа социол. данных в интеллектуальных системах. Предложил способ формализации многозначных логик, использующий два типа пропозициональных переменных (для булевских и небулевских значений), разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, реализующих правдоподобные рассуждения в решателях задач типа "правдоподобный вывод + достоверный вывод". В решателях этого типа используется ДСМ-метод автоматического порождения гипотез, формализующий и расширяющий индуктивные методы Д.С.Милля. ДСМ-метод является вариантом совр. теории индуктивного обучения, в к-рой используются автоматически порождаемые из фактов аргументы "за" и аргументы "против" исследуемого эффекта (плюс-гипотеза и минус-гипотеза). Сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Показал, что ДСМ-метод автоматического порождения гипотез есть вариант синтеза познават. процедур: индукции, аналогии, абдукции и дедукции. Установил, что ДСМ-метод автоматического порождения гипотез есть каузальная аргументация и конструктивная абдукция, уточняющая идею абдуктивного вывода в смысле Ч.С.Пирса. Методол. следствия ДСМ-метод автоматического порождения гипотез создали основу для развития точной эпистемологии с познающим субьектом.
Соч.: Логические проблемы информационного поиска. М., 1976; Алгебры Бочвара и соответствующие им пропозициональные исчисления. [В соавт.] // Исследования по неклассическим логикам и теории множеств. М., 1979; Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. "Теория вероятностей". Математическая статистика. Теоретическая кибернетика. Т.28. М., 1988; Правдоподобные рассуждения в интеллектуальных системах типа ДСМ // Итоги науки и техники. Сер. "Информатика". Т.15. М., 1991; Интеллектуальные системы: проблемы их развития и социальные последствия // Будущее искусственного интеллекта. М., 1991; Неологизм - философия обоснованного знания // ВФ. 1996. № 8; Об одном варианте логики аргументации // Научно-техническая информация. Сер.2. 1996. № 5-6; Проблемы исторического познания в свете современных междисциплинарных исследований. [В соавт.]. М., 1997.