Finn Viktor Konstantinovics
| Viktor Konstantinovics finn | |
|---|---|
| Születési dátum | 1933. július 15. (89 évesen) |
| Születési hely | Moszkva , Szovjetunió |
| Ország | |
| Tudományos szféra | Mesterséges intelligencia , többértékű logika |
| Munkavégzés helye |
ITMiVT , VINITI , FRC IU RAS , |
| alma Mater | Mekhmat MGU |
| Akadémiai fokozat | d.t.s. |
| Diákok | S. O. Kuznyecov |
| Ismert, mint | a moszkvai logikai kör tagja |
| Díjak és díjak |
 |
Viktor Konstantinovich Finn (született : 1933. július 15., Moszkva ) szovjet és orosz filozófus, tudós, a műszaki tudományok doktora , az Orosz Állami Humanitárius Egyetem Intelligens Rendszerek Tanszékének vezetője, a Disszertációs Tanács D 002.073.05 tagja. doktori disszertáció megvédése az FRC IU RAS-ban, a " Tudományos és műszaki információk " című folyóirat szerkesztőbizottságának tagja, az Orosz Mesterséges Intelligencia Szövetség Tudományos Tanácsának tagja, a Tudományos Alapok Nemzetközi Szövetségének tagja, Az Orosz Föderáció tiszteletbeli tudósa.
Életrajz
Konsztantyin Jakovlevics Finn-Khalfin író és drámaíró fia .
Viktor Konstantinovics 1957-ben a Moszkvai Állami Egyetem Filozófiai Karán , 1966-ban pedig a Moszkvai Állami Egyetem Mechanikai és Matematikai Karán szerzett diplomát . Az 1950-es években tagja volt a Moszkvai Logikai Körnek , amelyből A. A. Zinovjevvel és számos más résztvevővel együtt kilépett .
1957 óta a Szovjetunió Tudományos Akadémia Precíziós Mechanikai és Számítástechnikai Intézetének Elektromos Modellezési Laboratóriumának Matematikai Logikai Osztályán dolgozott (a laboratórium vezetője - L. I. Gutenmakher ); 1959-ben a Laboratórium a Szovjetunió VINITI Tudományos Akadémiájának részévé vált , ahol főkutatóként, az intelligens rendszerek ágazatának vezetőjeként dolgozott (osztályvezető - Giljarevszkij Ruggero Szergejevics ). 2016-ban a V. K. Finn vezette kutatócsoport az Orosz Tudományos Akadémia „Számítástechnikai és Irányítási” Szövetségi Kutatóközpontjába költözött .
A Ph.D. értekezés (1975) témája "Az információkeresés logikai problémái", a doktori disszertáció (1990) - "Valószínű érvelés hiányos információkkal rendelkező szakértői rendszerekben".
1989-től 1991-ig a Szovjetunió Tudományos Akadémia Választói Klubja elnökségi tagja volt.
Nős, van egy lánya; hobbi - szociológia .
Tanítás
1979 óta az Orosz Állami Humanitárius Egyetemen (MGIAI) [1] Az Orosz Állami Humanitárius Egyetemen a matematikai logikáról és a logikai módszerek szociológiában és szociálpszichológiában történő alkalmazásáról tart előadásokat , valamint az intelligens rendszerek bölcsészettudományi tanszékének vezetője. Orosz Állami Humanitárius Egyetem .
A kutatás fő irányai
- Logika (különösen a sokértékű logika, a plauzibilis érvelés elmélete);
- A mesterséges intelligencia rendszerek logikai és filozófiai alapjai ;
- A bölcsészettudomány logikai alapjai és módszertana.
- A sokértékű logikák számításának területén ;
- A sokértékű érvelési logika terén;
- A háromértékű logikák alkalmazásában a logikai paradoxonok elemzésére;
- A sokértékű logikák algebrai tulajdonságai (különösen a funkcionális teljesség) területén;
- A plauzibilis érvelés és az automatikus hipotézisgenerálás elméletében intelligens rendszerekben;
- Szociológiai adatok elemzése intelligens rendszerekben a hasonlósági művelet alapján;
- Többértékű logikák formalizálása kétféle propozíciós változó használatával (logikai és nem logikai értékek);
- A szabályszerűség fogalmának vizsgálata bővülő tényalapok sorozatai alapján modális logikák segítségével.
Kidolgozta az intellektuális tevékenység ábrázolásának koncepcióját kvázi-axiomatikus (nyílt) elméleteken keresztül, amelyek a plauzibilis érvelést valósítják meg a „valószínű következtetés + megbízható következtetés” típusú problémamegoldókban. Az ilyen típusú megoldók a hipotézisek automatikus generálására szolgáló JSM módszert használják , amely formalizálja és kiterjeszti D. S. Mill induktív módszereit . A JSM módszer az induktív tanulás modern elméletének egy változata, amely a tényekből automatikusan generált „mellett” és „ellen” érveket használja fel (plusz-hipotézis és mínusz-hipotézis);
Megfogalmazta a sokértékű logikák új osztályát, amelyek az érvelési eljárások formalizálásai. Megmutatta, hogy a hipotézisek automatikus generálására szolgáló JSM módszer a kognitív eljárások szintézisének egy változata: indukció , analógia , abdukció és dedukció . Megállapították, hogy a hipotézisek automatikus generálására szolgáló JSM-módszer az ok-okozati érvelés és a konstruktív abdukció, amely finomítja az abduktív következtetés gondolatát Ch. S. Pierce értelmében. A hipotézisek automatikus generálására szolgáló JSM módszer adta az alapot a pontos ismeretelmélet kidolgozásához egy ismerő alany mellett.
Főbb publikációk
- Az információkeresés logikai problémái. M.: Nauka , 1976. 152 p.
- Bochvar-algebrák és megfelelő propozíciós számításaik // Tanulmányok a nem klasszikus logikáról és halmazelméletről. M., 1979. S. 345-372.
- Az információkereső rendszer fogalmának formális meghatározásáról // Nauch.-tekhn. tájékoztatni. Ser. 2, Inform. folyamatok és rendszerek. 1981. No. 5. S. 5-15.
- Információs rendszerek és intellektualizálásuk problémái // Nauch.-tekhn. tájékoztatni. Ser. 2, Inform. folyamatok és rendszerek. 1984. 1. sz. S. 1-14.
- A sokértékű logikák axiomatizálásáról, amelyek a hihető érvelés formalizálásához kapcsolódnak // Studia Logica. 1989. évf. 48, 4. sz. P. 23-47. Együttműködésben: Anshakov OM, Skvorcov DR
- Intelligens rendszerek: fejlődésük problémái és társadalmi következményei // A mesterséges intelligencia jövője. M., 1991. S. 157-177.
- A történettudomány gnoszológiai és logikai problémái. M.: Nauka, 1995. 176 p. (társszerző: K. V. Khvostova )
- A történeti tudás problémái a modern interdiszciplináris kutatás tükrében. M.: RGGU, 1997. 255 p. (társszerző: K. V. Khvostova)
- Összeg., össz. szerk., bejegyzés. Art., szerk. Art.: Yesenin-Volpin A. S. Filozófia. Logikák. Költészet. Az emberi jogok védelme: Válogatott. M., 1999. 450 p. Tartalom: A neologizmus a józan tudás filozófiája. pp.15-31.
- Összeg., össz. Szerk.: Többértékű logikák és alkalmazásaik: Logikai számítások, algebrák és funkcionális tulajdonságok. 1. kötet M.: URSS, 2008. 416 p.
- Összeg., össz. szerk.: Többértékű logikák és alkalmazásaik: Logika mesterséges intelligencia rendszerekben . 2. kötet M.: URSS, 2008. 240 p.
Jegyzetek
- ↑ Róla 2022. március 8-i archív példány a Wayback Machine -en // RGGU
Linkek
 Tematikus oldalak | |
|---|---|
| Bibliográfiai katalógusokban |