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:
*Šefránek, J., Škvarenina, M., A software tool for data analysis, MIPOL 85, Wroclaw, 1985, 314-317
*Šefránek, J., Škvarenina, M., Minor medicine-oriented database system, Proceedings of 10th International Conference on Database Management Systems,  Cedzyna (Poland), 1987, 271-280
*Šefránek, J., Temporálna databázová logika, SOFSEM´88 , 57-60
*Škvarenina, M., Šefránek, J., Malý databázový systém MAMED, Informačné systémy, 1. 1989. 37-47
*Šefránek, J., Nenormalizované relácie, Informačné systémy, 4, 1989, 395-405

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:

*J. Šefránek, Inconsistenies handling: nonmonotonic and paraconsiszent reasoning. Fundamentals of Artificial Intelligence Research, Springer, 1991,  214-219 
*J. Šefránek, Dynamic Kripke Strucrures. CAEPIA87, 1987, 271-283
*J. Šefránek, Belief, Knowledge, Revisions and a Semantics of Non-Monotobic Reasoning. Logic Programming and Nonmonotonic Reasoning, 1999, Springer, 63-77
*J. Šefránek, A Kripkean semantics for dynamic logic programming. LPAR, Logic for Programming and Automated Reasoning, 7th International Conference, Springer.
*J. Šefránek, Irrelevant updates and nonmonotobic assumptions. Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Springer, 426-438
*J. Šefránek, Preferred answer sets supported by arguments, Proceedings of 12th International Workshop on Non-Monotonic Reasoning (NMR 2008), 232-240 
*J. Šefránek, Updates of Argumentation Frameworks.Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, 2012
a knihu J. Šefránek, Inteligencia ako výpočet. IRIS, Bratislava, 2000, 427 s.

Bol členom programových výborov
*JELIA 2010 (12th European Conference  on Logics in Artificial Intelligence)
*WLP 2011, WLP 2012 (Workshop on Logic Programming)
*ArgLP 2015 (Workshop on Argumentation and Logic Programming)
*Arg-LPNMR 2016 (The first international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning)

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í:

*J. Šefránek, Kognícia bez mentálnych procesov. Kognitívne vedy, Bratislava: Kaligram, 2002, 200.256
*M.Takáč, J.Šefránek, Semantics of Distinguishing Criteria: From Subjective to Intersubjective.  INDECS Interdisciplinary Description of Complex Systems, 2012, vol. 10, issue 3, 248-269

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.

## Referencie

## Externé odkazy
* Ján Šefránek na webe Katedry aplikovanej informatiky FMFI UK
* https://alis.uniba.sk:8444/search/query?match_1=MUST&field_1&term_1=%22%C5%A0efr%C3%A1nek+J%C3%A1n%22&sort=dateOldest&theme=EPC  Publikácie Jána Šefránka v Evidencii publikačnej činnosti na UK
* https://scholar.google.com/citations?user=FtuWmoEAAAAJ&hl=en  Google Scholar: Ján Šefránek
* Diela Jána Šefránka v súbornom katalógu Slovenskej národnej knižnice

Kategória:Slovenskí filozofi
Kategória:Slovenskí logici
Kategória:Slovenskí informatici
Kategória:Kognitívni vedci
Kategória:Absolventi Filozofickej fakulty Univerzity Komenského v Bratislave
Kategória:Vyučujúci na Prírodovedeckej fakulte Univerzity Komenského v Bratislave
Kategória:Vyučujúci na Fakulte matematiky, fyziky a informatiky Univerzity Komenského v Bratislave
Kategória:Osobnosti z Martina