Finn, Viktor Konstantinovich
| Viktor Konstantinovich Finn | |
|---|---|
| Fødselsdato | 15. juli 1933 (89 år) |
| Fødselssted | Moskva , USSR |
| Land | |
| Videnskabelig sfære | Kunstig intelligens , logikker med mange værdier |
| Arbejdsplads |
ITMiVT , VINITI , FRC IU RAS , |
| Alma Mater | Mekhmat MGU |
| Akademisk grad | d.t.s. |
| Studerende | S. O. Kuznetsov |
| Kendt som | medlem af den logiske cirkel i Moskva |
| Præmier og præmier |
 |
Viktor Konstantinovich Finn (født 15. juli 1933 , Moskva ) er en sovjetisk og russisk filosof, videnskabsmand, doktor i tekniske videnskaber , leder af afdelingen for intelligente systemer ved det russiske statslige humanitære universitet , medlem af afhandlingsrådet D 002.073.05 for forsvaret af doktorafhandlinger ved FRC IU RAS, medlem af redaktionen for tidsskriftet " Scientific and technical information ", medlem af det videnskabelige råd for den russiske sammenslutning af kunstig intelligens, medlem af International Association for the Foundations of Science, Æret videnskabsmand fra Den Russiske Føderation.
Biografi
Søn af forfatteren og dramatikeren Konstantin Yakovlevich Finn-Khalfin .
I 1957 dimitterede Viktor Konstantinovich fra det filosofiske fakultet ved Moscow State University , og i 1966 fra Fakultetet for Mekanik og Matematik ved Moscow State University . I 1950'erne var han medlem af Moscow Logic Circle , som han forlod sammen med A. A. Zinoviev og en række andre deltagere.
Siden 1957 arbejdede han i Institut for Matematisk Logik i Laboratoriet for Elektrisk Modellering ved Instituttet for Præcisionsmekanik og Computerteknik ved USSR Academy of Sciences (leder af laboratoriet - L. I. Gutenmakher ); i 1959 blev laboratoriet en del af VINITI Academy of Sciences i USSR , hvor han arbejdede som chefforsker, leder af sektoren for intelligente systemer (leder af afdelingen - Gilyarevsky Ruggero Sergeevich ). I 2016 flyttede forskergruppen, ledet af V.K. Finn, til at arbejde på Federal Research Center "Computer Science and Control" af det russiske videnskabsakademi .
Emnet for ph.d.-afhandlingen (1975) er "Logiske problemer med informationssøgning", doktorafhandling (1990) - "Plausible ræsonnementer i ekspertsystemer med ufuldstændig information".
Fra 1989 til 1991 var han medlem af bestyrelsen for Club of Voters fra USSR Academy of Sciences.
Gift, har en datter; hobby- sociologi .
Undervisning
Ved det russiske statslige humanitære universitet (MGIAI) siden 1979 [1] Han forelæser om matematisk logik og anvendelsen af logiske metoder i sociologi og socialpsykologi ved det russiske statslige humanitære universitet og leder også afdelingen for intelligente systemer i humaniora ved Russian State Humanitarian University .
Hovedlinjer for forskning
- Logik (især logikker med mange værdier, teorien om plausibel ræsonnement);
- Logik og filosofisk grundlag for kunstige intelligenssystemer ;
- Humaniora's logiske grundlag og metodik.
- Inden for beregning af mange-værdilogikker ;
- Inden for mange værdsatte argumentationslogikker;
- I anvendelsen af tre-værdilogikker til analyse af logiske paradokser;
- Inden for algebraiske egenskaber ved logikker med mange værdier (især funktionel fuldstændighed);
- I teorien om plausibel ræsonnement og automatisk generering af hypoteser i intelligente systemer;
- Analyse af sociologiske data i intelligente systemer baseret på lighedsoperationen;
- Formalisering af flerværdilogikker ved hjælp af to typer propositionelle variabler (booleske og ikke-booleske værdier);
- Undersøgelse af begrebet regularitet på grundlag af sekvenser af ekspanderende faktagrundlag ved hjælp af modale logikker.
Han udviklede konceptet med at repræsentere intellektuel aktivitet gennem kvasi-aksiomatiske (åbne) teorier, der implementerer plausible ræsonnementer hos problemløsere af typen "plausibel konklusion + pålidelig konklusion". Løsere af denne type bruger JSM-metoden til automatisk generering af hypoteser, som formaliserer og udvider D. S. Mills induktive metoder . JSM-metoden er en variant af den moderne teori om induktiv læring, som bruger argumenter "for" og "mod" den undersøgte effekt, der automatisk genereres ud fra fakta (plus-hypotese og minus-hypotese);
Han formulerede en ny klasse af mange værdsatte logikker, som er formaliseringer af argumentationsprocedurer. Han viste, at JSM-metoden til automatisk generering af hypoteser er en variant af syntesen af kognitive procedurer: induktion , analogi , abduktion og deduktion . Etableret, at JSM-metoden til automatisk generering af hypoteser er kausal argumentation og konstruktiv abduktion, som forfiner ideen om abduktiv slutning i betydningen af Ch. S. Pierce. JSM-metoden til automatisk at generere hypoteser gav grundlaget for udviklingen af en nøjagtig epistemologi med et vidende emne.
Større publikationer
- Logiske problemer med informationssøgning. M.: Nauka , 1976. 152 s.
- Bochvar algebraer og deres tilsvarende propositionelle beregninger // Studier i ikke-klassisk logik og mængdelære. M., 1979. S. 345-372.
- Om den formelle definition af begrebet et informationssøgningssystem // Nauch.-tekhn. meddele. Ser. 2, Informer. processer og systemer. 1981. nr. 5. S. 5-15.
- Informationssystemer og problemer med deres intellektualisering // Nauch.-tekhn. meddele. Ser. 2, Informer. processer og systemer. 1984. nr. 1. S. 1-14.
- Om aksiomatisering af mange værdsatte logikker forbundet med formalisering af plausible ræsonnementer // Studia Logica. 1989 bind. 48, nr. 4. S. 23-47. I coop.: Anshakov OM, Skvortsov DR
- Intelligente systemer: problemer med deres udvikling og sociale konsekvenser // Fremtiden for kunstig intelligens. M., 1991. S. 157-177.
- Gnoseologiske og logiske problemer i historisk videnskab. M.: Nauka, 1995. 176 s. (samforfattet med K. V. Khvostova )
- Problemer med historisk viden i lyset af moderne tværfaglig forskning. M.: RGGU, 1997. 255 s. (samforfattet med K. V. Khvostova)
- Komp., i alt. red., indgang. Art., udg. Art.: Yesenin-Volpin A. S. Filosofi. Logikker. Poesi. Beskyttelse af menneskerettigheder: Udvalgt. M., 1999. 450 s. Indhold: Neologicisme er sund videns filosofi. s. 15-31.
- Komp., i alt. Red.: Flerværdilogikker og deres anvendelser: Logisk beregning, algebraer og funktionelle egenskaber. Bind 1. M.: URSS, 2008. 416 s.
- Komp., i alt. red.: Multi-valued logics and their applications: Logic in artificial intelligence systems . Bind 2. M.: URSS, 2008. 240 s.
Noter
- ↑ Om ham Arkiveksemplar af 8. marts 2022 på Wayback Machine // RGGU
Links
 Tematiske steder | |
|---|---|
| I bibliografiske kataloger |