Finn, Viktor Konstantinovič
| Viktor Konstantinovič Finn | |
|---|---|
| Datum narození | 15. července 1933 (89 let) |
| Místo narození | Moskva , SSSR |
| Země | |
| Vědecká sféra | Umělá inteligence , vícehodnotová logika |
| Místo výkonu práce |
ITMiVT , VINITI , FRC IU RAS , |
| Alma mater | Mekhmat MGU |
| Akademický titul | d.t.s. |
| Studenti | S. O. Kuzněcov |
| Známý jako | člen moskevského logického kruhu |
| Ocenění a ceny |
 |
Viktor Konstantinovič Finn (narozený 15. července 1933 , Moskva ) je sovětský a ruský filozof, vědec, doktor technických věd , vedoucí katedry inteligentních systémů Ruské státní humanitární univerzity , člen Rady pro disertační práci D 002.073.05 pro obhajoby doktorských disertačních prací na FRC IU RAS, člen redakční rady časopisu " Scientific and technical information ", člen vědecké rady Ruské asociace umělé inteligence, člen Mezinárodní asociace pro základy vědy, Ctěný vědec Ruské federace.
Životopis
Syn spisovatele a dramatika Konstantina Jakovleviče Finna-Khalfina .
V roce 1957 Viktor Konstantinovič promoval na Filosofické fakultě Moskevské státní univerzity a v roce 1966 na Fakultě mechaniky a matematiky Moskevské státní univerzity . V 50. letech byl členem Moskevského logického kruhu , který opustil spolu s A. A. Zinovjevem a řadou dalších účastníků.
Od roku 1957 pracoval v oddělení matematické logiky Laboratoře elektrického modelování v Ústavu přesné mechaniky a výpočetní techniky Akademie věd SSSR (vedoucí laboratoře - L. I. Gutenmakher ); v roce 1959 se laboratoř stala součástí Akademie věd VINITI SSSR , kde působil jako hlavní výzkumný pracovník, vedoucí sektoru inteligentních systémů (vedoucí oddělení - Gilyarevsky Ruggero Sergeevich ). V roce 2016 se výzkumná skupina v čele s V. K. Finnem přestěhovala do Federálního výzkumného centra „Počítačová věda a řízení“ Ruské akademie věd .
Téma disertační práce (1975) je "Logické problémy vyhledávání informací", doktorská disertační práce (1990) - "Věrohodné usuzování v expertních systémech s neúplnými informacemi".
V letech 1989 až 1991 byl členem předsednictva Klubu voličů Akademie věd SSSR.
Ženatý, má dceru; hobby - sociologie .
Výuka
Na Ruské státní humanitní univerzitě (MGIAI) od roku 1979 [1] Přednáší matematickou logiku a aplikaci logických metod v sociologii a sociální psychologii na Ruské státní humanitní univerzitě a také vede katedru inteligentních systémů v humanitních vědách na Ruské státní humanitní univerzitě. Ruská státní humanitní univerzita .
Hlavní směry výzkumu
- Logika (zejména mnohohodnotové logiky, teorie věrohodného uvažování);
- Logické a filozofické základy systémů umělé inteligence ;
- Logické základy a metodologie humanitních věd.
- V oboru kalkulu mnohohodnotových logik ;
- V oblasti mnohohodnotové logiky argumentace;
- V aplikaci tříhodnotových logik k analýze logických paradoxů;
- V oblasti algebraických vlastností mnohohodnotových logik (zejména funkční úplnost);
- V teorii věrohodného usuzování a automatického generování hypotéz v inteligentních systémech;
- Analýza sociologických dat v inteligentních systémech na základě podobnostní operace;
- Formalizace vícehodnotových logik pomocí dvou typů výrokových proměnných (booleovské a nebooleovské hodnoty);
- Studium konceptu regularity na základě posloupností rozšiřujících se bází faktů pomocí modální logiky.
Rozvinul koncept reprezentace intelektuální činnosti prostřednictvím kvazi-axiomatických (otevřených) teorií, které implementují věrohodné uvažování u řešitelů problémů typu „věrohodný závěr + spolehlivý závěr“. Řešitelé tohoto typu využívají metodu JSM automatického generování hypotéz, která formalizuje a rozšiřuje induktivní metody D. S. Milla . Metoda JSM je variantou moderní teorie induktivního učení, která využívá argumenty „pro“ a „proti“ studovanému efektu automaticky generovanému z faktů (plus-hypotéza a mínus-hypotéza);
Zformuloval novou třídu mnohohodnotových logik, které jsou formalizací argumentačních postupů. Ukázal, že metoda JSM automatického generování hypotéz je variantou syntézy kognitivních procedur: indukce , analogie , abdukce a dedukce . Bylo zjištěno , že JSM-metodou automatického generování hypotéz je kauzální argumentace a konstruktivní únos, což zpřesňuje myšlenku abduktivního vyvozování ve smyslu Ch. S. Pierce. Metoda JSM automatického generování hypotéz poskytla základ pro vývoj přesné epistemologie se znalým subjektem.
Hlavní publikace
- Logické problémy vyhledávání informací. M.: Nauka , 1976. 152 s.
- Bochvarovy algebry a jim odpovídající výrokové kalkuly // Studium neklasické logiky a teorie množin. M., 1979. S. 345-372.
- K formální definici konceptu systému vyhledávání informací // Nauch.-tekhn. informovat. Ser. 2, Informovat. procesy a systémy. 1981. č. 5. S. 5-15.
- Informační systémy a problémy jejich intelektualizace // Nauch.-tekhn. informovat. Ser. 2, Informovat. procesy a systémy. 1984. č. 1. S. 1-14.
- O axiomatizaci mnohohodnotných logik spojených s formalizací věrohodného uvažování // Studia Logica. 1989 sv. 48, č. 4. S. 23-47. V koop.: Anshakov OM, Skvortsov DR
- Inteligentní systémy: problémy jejich vývoje a sociální důsledky // Budoucnost umělé inteligence. M., 1991. S. 157-177.
- Gnoseologické a logické problémy historické vědy. M.: Nauka, 1995. 176 s. (spoluautor s K. V. Khvostovou )
- Problémy historického poznání ve světle moderního interdisciplinárního výzkumu. M.: RGGU, 1997. 255 s. (spoluautor s K. V. Khvostovou)
- Komp., celkem. red., vstup. Art., ed. Umění: Yesenin-Volpin A. S. Filosofie. Logika. Poezie. Ochrana lidských práv: Vybráno. M., 1999. 450 s. Obsah: Neologismus je filozofie zdravého poznání. str.15-31.
- Komp., celkem. Ed.: Vícehodnotové logiky a jejich aplikace: Logický počet, algebry a funkční vlastnosti. Svazek 1. M.: URSS, 2008. 416 s.
- Komp., celkem. red.: Vícehodnotové logiky a jejich aplikace: Logika v systémech umělé inteligence . Svazek 2. M.: URSS, 2008. 240 s.
Poznámky
- ↑ O něm Archivní kopie z 8. března 2022 na Wayback Machine // RGGU
Odkazy
 Tematické stránky | |
|---|---|
| V bibliografických katalozích |