V rámci pravidelných mesačných katedrových seminárov Katedry informatiky AOS odznela 19. apríla prednáška doc. RNDr. Ferdinanda Chovanca, CSc. na tému „Algebrické štruktúry v kvantových logikách“. Určená bola predovšetkým učiteľom katedry informatiky, ale aj iným záujemcom o túto vednú problematiku.

    Docent Chovanec, matematik a vysokoškolský učiteľ Katedry informatiky AOS, nositeľ Ceny Medzinárodnej asociácie kvantových štruktúr, ocenenia SAV za súbor prác „Fuzzy množiny a ich aplikácie“ a držiteľ prémie za trojročný vedecký ohlas v kategórii technické vedy a geovedy, prítomným v stručnosti a na názorných príkladoch priblížil klasické a neklasické logiky, kvantové logiky a D-posety. V úvode uviedol: „Chcem vás oboznámiť s niektorými matematickými modelmi používanými v kvantových a mnoho-hodnotových logikách, ako aj s príspevkom tzv. mikulášskej školy do tejto vednej oblasti“.

    Vo svojej prednáške urobil historický prierez vývoja logiky, ako vedy o správnom uvažovaní, od čias starogréckej aristotelovskej filozofie až k formálnej a matematickej logike, ktorá tvorí jeden z pilierov moderných metód umelej inteligencie a je teoretickým základom počítačových metód pre spracovanie informácie.

    Predstavením prác významných vedcov (Boola, von Neumana, Lukasiewicza) vysvetlil podstatu kvantovej logiky (logiky kvantovo-mechanického systému) a mnohohodnotových logík, ktoré spolu s fuzzy množinami popisujú neurčitosť fyzikálnych systémov.

    V závere docent Chovanec poukázal na význam matematického modelu, nazývaného D-poset, ktorý spojil dovtedy zdanlivo nesúvisiace oblasti – kvantové a mnohohodnotové logiky. Tento nový prístup bol vedeckou komunitou priaznivo prijatý, o čom svedčia stovky ohlasov a citácií na práce autorov „mikulášskej školy“.