Финн Виктор Константинович [15.07.1933]

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

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
Оглавление | Все источники



Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Wednesday, 23-Oct-2013 08:52:36 UTC