Популярные

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

доктор технических наук, заведующий отделением интеллектуальных систем Института лингвистики РГГУ, член ученого совета ВИНИТИ РАН, член диссертационного совета по защите докторских диссертаций ВИНИТИ, член редколлегии журнала «Научно-техническая информация», член Российской ассоциации искусственного интеллекта, международной ассоциации оснований науки
Дата рождения:
1933-07-15
Биография

Биография

Родился 15 июля 1933 г в Москве. Отцом Виктора Константиновича был советский беллетрист и драматург Константин Яковлевич Финн-Хальфин. В 1957 г. Виктор Константинович окончил философский факультет МГУ, а в 1966 - механико-математический факультет МГУ. С 1957 г.работал в Отделе математической логики лаборатории электромоделирования в Институте точной механики и вычислительной техники АН СССР (зав. лаборатории — Л. И. Гутенмахер); в 1959 Лаборатория вошла в состав ВИНИТИ АН СССР, где он работал главным научным сотрудником, заведующим сектором интеллектуальных систем (зав. отделением - Гиляревский Руджеро Сергеевич)

Тема кандидатской диссертации (1975) — «Логические проблемы информационного поиска», докторской диссертации (1990) — «Правдоподобные рассуждения в экспертных системах с неполной информацией».

С 1989 по 1991 год был членом совета Клуба избирателей АН СССР.

Женат, имеет дочь; увлечение — социология.

В настоящий момент Виктор Константинович читает курс лекций по математической логике и применению логических методов в социологии и социальной психологии в РГГУ, а также заведует отделением интеллектуальных систем в гуманитарной сфере института лингвистики РГГУ.

Основные направления исследований

  • Логика (в частности, многозначные логики, теория правдоподобных рассуждений);
  • Логика и философские основания систем искусственного интеллекта;
  • Логические основания гуманитарных наук.
  • В области исчислений многозначных логик;
  • В применении трехзначных логик к анализу логических парадоксов;
  • В области алгебраических свойств многозначных логик (в частности, функциональной полноты);
  • В теории правдоподобных рассуждений и автоматическом порождении гипотез в интеллектуальных системах;
  • Предложил новый метод анализа социологических данных в интеллектуальных системах;
  • Предложил способ формализации многозначных логик, использующий два типа пропозициональных переменных (для булевских и небулевских значений);

Разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, реализующих правдоподобные рассуждения в решателях задач типа «правдоподобный вывод + достоверный вывод». В решателях этого типа используется ДСМ-метод автоматического порождения гипотез, формализующий и расширяющий индуктивные методы Д. С. Милля. ДСМ-метод является вариантом современной теории индуктивного обучения, в которой используются автоматически порождаемые из фактов аргументы «за» и аргументы «против» исследуемого эффекта (плюс-гипотеза и минус-гипотеза);

Сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Показал, что ДСМ-метод автоматического порождения гипотез есть вариант синтеза познавательных процедур: индукции, аналогии, абдукции и дедукции. Установил, что ДСМ-метод автоматического порождения гипотез есть каузальная аргументация и конструктивная абдукция, уточняющая идею абдуктивного вывода в смысле Ч. С. Пирса. Методологии следствия ДСМ-метод автоматического порождения гипотез создали основу для развития точной эпистемологии с познающим субъектом.

Основные публикации

  • Логические проблемы информационного поиска. М.: Наука, 1976. 152 с.
  • Алгебры Бочвара и соответствующие им пропозиционные исчисления // Исследования по неклассическим логикам и теории множеств. М., 1979. С. 345—372.
  • К формальному определению понятия информационно-поисковой системы // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1981. № 5. С. 5-15.
  • Информационные системы и проблемы их интеллектуализации // Науч.-техн. информ. Сер. 2, Информ. процессы и системы. 1984. № 1. С. 1-14.
  • On Axiomatization of Many-valued Logics Assotiated with Formalization of Plausible Reasoning // Studia Logica. 1989. Vol. 48, № 4. P. 23-47. In coop.: Anshakov O.M., Skvortsov D.R.
  • Интеллектуальные системы: проблемы их развития и социальные последствия // Будущее искусственного интеллекта. М., 1991. С. 157—177.
  • Проблемы исторического познания в свете современных междисциплинарных исследований. М.: РГГУ, 1997. 255 с. Соавт. Хвостова К. В.
  • Сост., общ. ред., вступ. ст., авт. ст.: Есенин-Вольпин А. С. Философия. Логика. Поэзия. Защита прав человека: Избранное. М., 1999. 450 с. Из содерж.: Неологицизм — философия обоснованного знания. С.15-31.
  • Сост., общ. ред.: Многозначные логики и их применения: Логические исчисления, алгебры и функциональные свойства. Том 1. М.: УРСС, 2008. 416 с.
  • Сост., общ. ред.: Многозначные логики и их применения: Логики в системах искусственного интеллекта. Том 2. М.: УРСС, 2008. 240 с.
Поделиться: