Suomalainen, Viktor Konstantinovich

Viktor Konstantinovitš suomalainen
Syntymäaika	15. heinäkuuta 1933 (89-vuotias)( 15.7.1933 )
Syntymäpaikka	Moskova , Neuvostoliitto
Maa	Neuvostoliitto  Venäjä
Tieteellinen ala	Tekoäly , moniarvoinen logiikka
Työpaikka	ITMiVT , VINITI , FRC IU RAS ,
Alma mater	Mekhmat MGU
Akateeminen tutkinto	d.t.s.
Opiskelijat	S. O. Kuznetsov
Tunnetaan	Moskovan loogisen ympyrän jäsen
Palkinnot ja palkinnot

Viktor Konstantinovich Finn (s . 15. heinäkuuta 1933 , Moskova ) on neuvosto- ja venäläinen filosofi, tiedemies, teknisten tieteiden tohtori , Venäjän valtion humanitaarisen yliopiston älykkäiden järjestelmien osaston johtaja, väitöskirjaneuvoston jäsen D 002.073.05. väitöskirjojen puolustaminen FRC IU RAS:ssa, " Scientific and Technical information " -lehden toimituskunnan jäsen, Venäjän tekoälyliiton tieteellisen neuvoston jäsen, Kansainvälisen tiedesäätiöiden yhdistyksen jäsen, Venäjän federaation arvostettu tutkija.

Elämäkerta

Kirjailija ja näytelmäkirjailija Konstantin Yakovlevich Finn-Khalfinin poika .

Vuonna 1957 Viktor Konstantinovich valmistui Moskovan valtionyliopiston filosofian tiedekunnasta ja vuonna 1966 Moskovan valtionyliopiston mekaniikka-matematiikan tiedekunnasta . 1950-luvulla hän oli Moskovan logiikkapiirin jäsen , josta hän lähti yhdessä A. A. Zinovjevin ja useiden muiden osallistujien kanssa.

Vuodesta 1957 hän työskenteli Neuvostoliiton tiedeakatemian tarkkuusmekaniikan ja tietokonetekniikan instituutin sähkömallinnuksen laboratorion matemaattisen logiikan osastolla (laboratorion johtaja - L. I. Gutenmakher ); Vuonna 1959 laboratoriosta tuli osa Neuvostoliiton VINITI-tiedeakatemiaa , jossa hän työskenteli päätutkijana, älykkäiden järjestelmien sektorin johtajana (osaston johtaja - Gilyarevsky Ruggero Sergeevich ). V.K. Finnin johtama tutkimusryhmä siirtyi vuonna 2016 töihin Venäjän tiedeakatemian liittovaltion tutkimuskeskukseen "Computer Science and Control " .

Väitöskirjan (1975) aiheena on "Tiedonhaun loogiset ongelmat", väitöskirja (1990) - "Uskottava päättely epätäydellisissä asiantuntijajärjestelmissä".

Vuodesta 1989 vuoteen 1991 hän oli Neuvostoliiton tiedeakatemian äänestäjien klubin hallituksen jäsen.

Naimisissa, hänellä on tytär; harrastus - sosiologia .

Opetus

Venäjän valtion humanitaarisessa yliopistossa (MGIAI) vuodesta 1979 [1] Hän luennoi matemaattisesta logiikasta ja loogisten menetelmien soveltamisesta sosiologiassa ja sosiaalipsykologiassa Venäjän valtion humanitaarisessa yliopistossa ja johtaa myös humanististen tieteiden älykkäiden järjestelmien laitosta. Venäjän valtion humanitaarinen yliopisto .

Tärkeimmät tutkimuslinjat

• Logiikka (erityisesti moniarvoinen logiikka, uskottavan päättelyn teoria);
• Tekoälyjärjestelmien logiikka ja filosofiset perusteet ;
• Humanististen tieteiden loogiset perusteet ja metodologia.
• Moniarvoisen logiikan laskennan alalla ;
• Moniarvoisen argumentointilogiikan alalla;
• Kolmiarvoisen logiikan soveltamisessa loogisten paradoksien analysointiin;
• Moniarvoisen logiikan algebrallisten ominaisuuksien alalla (erityisesti toiminnallinen täydellisyys);
• Uskottavan päättelyn ja hypoteesien automaattisen generoinnin teoriassa älykkäissä järjestelmissä;
• Sosiologisen datan analyysi älykkäissä järjestelmissä samankaltaisuusoperaation perusteella;
• Moniarvologiikkojen formalisointi kahden tyyppisten lausemuuttujien avulla (boolen arvot ja ei-loogiset arvot);
• Säännöllisyyden käsitteen tutkiminen laajenevien faktaperustojen sekvenssien perusteella modaalilogiikan avulla.

Hän kehitti käsitteen älyllisen toiminnan esittämisestä kvasi-aksiomaattisten (avoimien) teorioiden kautta, jotka toteuttavat uskottavia päättelyjä "luotettava johtopäätös + luotettava johtopäätös" -tyyppisissä ongelmanratkaisijoissa. Tämän tyyppiset ratkaisijat käyttävät hypoteesien automaattisen generoinnin JSM-menetelmää , joka formalisoi ja laajentaa D. S. Millin induktiivisia menetelmiä . JSM-menetelmä on muunnelma modernista induktiivisen oppimisen teoriasta, jossa käytetään faktoista automaattisesti generoituja argumentteja "puoleen" ja "vastaan" tutkitun vaikutuksen perusteella (plus-hypoteesi ja miinus-hypoteesi);

Hän muotoili uuden luokan moniarvoisia logiikkaa, jotka ovat argumentointimenettelyjen formalisaatioita. Hän osoitti, että JSM-menetelmä hypoteesien automaattiseen luomiseen on muunnelma kognitiivisten menetelmien synteesin: induktio , analogia , abduktio ja deduktio . Todettiin, että JSM-menetelmä hypoteesien automaattiseen luomiseen on kausaalista argumentaatiota ja konstruktiivista abduktiota, mikä jalostaa ajatusta abduktiivisesta päätelmästä Ch. S. Piercen merkityksessä. JSM-menetelmä hypoteesien automaattiselle generoimiseksi tarjosi perustan tarkan epistemologian kehittämiseen tietävän kohteen kanssa.

Tärkeimmät julkaisut

• Tiedonhaun loogiset ongelmat. M.: Nauka , 1976. 152 s.
• Bochvar-algebrat ja niitä vastaavat lauselaskutoimitukset // Ei-klassisen logiikan ja joukkoteorian tutkimuksia. M., 1979. S. 345-372.
• Tiedonhakujärjestelmän käsitteen muodollisesta määrittelystä // Nauch.-tekhn. ilmoittaa. Ser. 2, Inform. prosesseja ja järjestelmiä. 1981. Nro 5. S. 5-15.
• Tietojärjestelmät ja niiden älyllistymisen ongelmat // Nauch.-tekhn. ilmoittaa. Ser. 2, Inform. prosesseja ja järjestelmiä. 1984. Nro 1. S. 1-14.
• Moniarvoisen logiikan aksiomatisoinnista, joka liittyy uskottavan päättelyn formalisointiin // Studia Logica. 1989 Voi. 48, nro 4. S. 23-47. Yhteistyössä: Anshakov OM, Skvortsov DR
• Älykkäät järjestelmät: niiden kehityksen ongelmat ja sosiaaliset seuraukset // Tekoälyn tulevaisuus. M., 1991. S. 157-177.
• Historiatieteen gnoseologiset ja loogiset ongelmat. M.: Nauka, 1995. 176 s. (kirjoittanut yhdessä K. V. Khvostovan kanssa )
• Historiallisen tiedon ongelmat modernin tieteidenvälisen tutkimuksen valossa. M.: RGGU, 1997. 255 s. (kirjoittanut yhdessä K. V. Khvostovan kanssa)
• Comp., yht. toim., merkintä. Art., toim. Art.: Yesenin-Volpin A.S. Filosofia. Logiikka. Runous. Ihmisoikeuksien suojelu: valittu. M., 1999. 450 s. Sisältö: Neologismi on terveen tiedon filosofiaa. s. 15-31.
• Comp., yhteensä Toim.: Moniarvologiikka ja niiden sovellukset: Looginen laskenta, algebrat ja funktionaaliset ominaisuudet. Osa 1. M.: URSS, 2008. 416 s.
• Comp., yht. toim.: Moniarvoiset logiikat ja niiden sovellukset: Logiikka tekoälyjärjestelmissä . Osa 2. M.: URSS, 2008. 240 s.

Muistiinpanot

1. ↑ Hänestä Arkistokopio 8. maaliskuuta 2022 Wayback Machinessa // RGGU

Linkit

• Suomalainen Viktor Konstantinovich RSUH:n verkkosivuilla

Temaattiset sivustot	Scopus
Bibliografisissa luetteloissa	ISNI : 0000 0003 8581 8487 NTA : 204048699 NUKAT : n00037383 VIAF : 244544525 WorldCat VIAF : 244544525