Ján Šefránek

Doc. PhDr. Ján Šefránek, CSc. (* 25. apríl 1942, Martin) je slovenský logik, filozof, informatik a vysokoškolský pedagóg.
Vzdelanie a pôsobenie pred rokom 1970.
V rokoch 19591964 absolvoval štúdium filozofie na Filozofickej fakulte Univerzity Komenského v Bratislave. Na tej istej fakulte získal v roku 1968 aj titul PhDr. vo vednom odbore logika. Svoju profesionálnu kariéru začal ako vysokoškolský pedagóg na Katedre filozofie a metodológie na Prírodovedeckej fakulte UK.
Venoval sa logickej teórii vedy a analytickej teórii poznania. Vychádzal z pozícií logického empirizmu. Do roku 1970 publikoval viacero článkov. V tomto období predložil aj dizertačnú prácu. K jej obhajobe sa však dostal až po roku 1990. V roku 1970, po štyroch rokoch profesionálnej kariéry, počas začínajúcej normalizácie, bol prepustený z univerzity. Autor eseje Duch totality (Reflex, časopis slovenských vysokoškolákov, č.03, 6.V.1969) nemohol pôsobiť na univerzite v normalizovanom Československu.
Sedemdesiate roky.
Od apríla 1970 do roku 1979 pracoval na Osvetovom ústave v Bratislave. Diaľkovo vyštudoval matematiku na Prírodovedeckej fakulte UK. Na Výskumnom ústave lekárskej bioniky v Bratislave sa zúčastňoval činnosti rozbiehajúceho sa seminára z umelej inteligencie. Počas vedľajšieho úväzku na tomto ústave napísal internú publikáciu Reprezentácia poznatkov (Niektoré aspekty vzťahu logiky a umelej inteligencie), 1978, 137 s.
Osemdesiate roky.
V rokoch 1979 - 1981 pôsobil na Ústave pre informácie a riadenie kultúry. Bol členom tímu pracujúceho do roku 1980 na projekte Reprezentácia vedomostí vzájomne komunikujúcich systémov.
V rokoch 1982 – 1987 pracoval na Výskumnom ústave lekárskej bioniky v tíme. ktorý vyvinul oceňovaný informačný systém nemocničného oddelenia MEDAS. Podieľal sa na návrhu a implementácii dotazovacieho systému, ktorý umožňoval lekárom a iným užívateľom vytvárať súbory, vyberať z nich údaje, vyhovujúce sformulovaným dotazom a štatisticky ich spracovať. Hlavnou myšlienkou bolo vytvorenie relačného interfejsu nad hierarchicky organizovanou systémovou databázou a implementácia logického dotazovacieho jazyka, inšpirovaného jazykom Query by Example.
V roku 1987 prešiel na Ústav výpočtovej techniky vysokých škôl, po reorganizácii a rozdelení strediska bol od roku 1988 pracovníkom Laboratória informatiky Matematicko-fyzikálnej fakulty (dnes Fakulta matematiky, fyziky a informatiky) UK. Venoval sa hlavne temporálnym databázam, logickému programovaniu, jazyku PROLOG a reprezentácii poznatkov.
Niektoré publikácie z obdobia 1982-1988:
V čiastočne uvoľnenom prostredí konca osemdesiatych rokov sa vrátil aj k publicistike a v roku 1989 uverejnil niekoľko glos v novom Literárnom týždenníku.
Pôsobenie na FMFI UK.
V roku 1990 sa stal prvým ponovembrovým riaditeľom Laboratória informatiky (neskôr premenovaného na Ústav informatiky). Hlavný výskumný záujem opäť orientoval na reprezentáciu poznatkov, špeciálne na logiky, vhodné na reprezentáciu neúplných, nekonzistentných a vyvíjajúcich sa poznatkov a nemonotónneho usudzovania s využitím jazykov logického programovania alebo abstraktného argimentačného frameworku. Z takto zameraných publikácií možno vybrať články:
a knihu J. Šefránek, Inteligencia ako výpočet. IRIS, Bratislava, 2000, 427 s.
Bol členom programových výborov
Venoval sa aj kognitívnej sémantike. Patril k zakladateľom výskumu v oblasti kognitívnej vedy na Slovensku. Navrhol teóriu významov, založenú na pojme rozlišovacieho kritéria. V porovnaní s tradičnými koncepciami, ktoré priraďujú významy k jazykovým výrazom, v navrhnutom poňatí má zmysel hovoriť aj o predjazykových alebo mimojazykových významoch. Z publikácií:
Intenzívne sa venoval pedagogickej práci. Bol garantom bloku umelá inteligencia v rámci študijných programov informatika a aplikovaná informatika na FMFI UK. Viedol viacerých diplomantov a doktorandov. Aj po jeho odchode do dôchodku funguje KR Group (Knowledge Representation Group), ktorú založil.
Z publicistiky možno zmieniť články v Slovenských pohľadoch v rokoch 1990 až 1993 a v SME v druhej polovici deväťdesiatych rokov a niekoľko blogov.