Наши проекты:

Про знаменитості

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


Віктор Костянтинович Фінн біографія, фото, розповіді - доктор технічних наук, завідувач відділенням інтелектуальних систем Інституту лінгвістики РДГУ, член вченої ради ВІНІТІ РАН, член спеціалізованої вченої ради із захисту докторських дисертацій ВІНІТІ, член редколегії журналу «Науково-технічна інформація», член Російської асоціації штучного інтелекту, міжнародної асоціації підстав науки
-

доктор технічних наук, завідувач відділенням інтелектуальних систем Інституту лінгвістики РДГУ, член вченої ради ВІНІТІ РАН, член спеціалізованої вченої ради із захисту докторських дисертацій ВІНІТІ, член редколегії журналу «Науково-технічна інформація», член Російської асоціації штучного інтелекту, міжнародної асоціації підстав науки

Біографія

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

Тема кандидатської дисертації (1975) - «Логічні проблеми інформаційного пошуку», докторської дисертації (1990) - «Правдоподібні міркування в експертних системах з неповною інформацією».

З 1989 по 1991 рік був членом ради Клубу виборців АН СРСР.

Одружений, має доньку; захоплення - соціологія.

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

Основні напрямки досліджень

  • У області алгебраїчних властивостей багатозначних логік (зокрема, функціональної повноти);
  • В області числень багатозначних логік;
  • Запропонував новий метод аналізу соціологічних даних в інтелектуальних системах;
  • Логіка і філософські підстави систем штучного інтелекту;
  • У теорії правдоподібних міркувань і автоматичному породженні гіпотез в інтелектуальних системах;
  • У застосуванні тризначних логік до аналізу логічних парадоксів;
  • Запропонував спосіб формалізації багатозначних логік, який використовує два типи пропозиційних змінних (для булевских і небулевскіх значень);
  • Логічні підстави гуманітарних наук.
  • Логіка (зокрема, багатозначні логіки, теорія правдоподібних міркувань) ;

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

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

Основні публікації

  • До формального визначення поняття інформаційно-пошукової системи / / Наук .- техн. інформ. Сер. 2, Інформ. процеси і системи. 1981. № 5. С. 5-15.
  • Алгебри Бочвара і відповідні їм пропозиційної обчислення / / Дослідження з некласичним логікам та теорії множин. М., 1979. С. 345-372.
  • Сост., Заг. ред., вступ. ст., авт. ст.: Єсенін-Вольпін А. С. Філософія. Логіка. Поезія. Захист прав людини: Вибране. М., 1999. 450 з. З утримуючі.: Неологіцізм - філософія обгрунтованого знання. С.15-31.
  • Інформаційні системи та проблеми їх інтелектуалізації / / Наук.-техн. інформ. Сер. 2, Інформ. процеси і системи. 1984. № 1. С. 1-14.
  • Логічні проблеми інформаційного пошуку. М.: Наука, 1976. 152 с.
  • 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.
  • Сост., Заг. ред.: Багатозначні логіки та їх застосування: Логіки в системах штучного інтелекту. Том 2. М.: УРСС, 2008. 240 с.
  • Інтелектуальні системи: проблеми їх розвитку та соціальні наслідки / / Майбутнє штучного інтелекту. М., 1991. С. 157-177.
  • Проблеми історичного пізнання у світлі сучасних міждисциплінарних досліджень. М.: РДГУ, 1997. 255 с. Співавт. Хвостова К. В.
  • Сост., Заг. ред.: Багатозначні логіки та їх застосування: Логіка обчислення, алгебри і функціональні властивості. Том 1. М.: УРСС, 2008. 416 с.

Комментарии

Сайт: Википедия