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